标签：定理
ICLR 2024 Spotlight | 无惧中间步骤，MUSTARD可生成高质量数学推理数据
AIxiv专栏是机器之心发布学术、技术内容的栏目。过去数年，机器之心AIxiv专栏接收报道了2000多篇内容，覆盖全球各大高校与企业的顶级实验室，有效促进了学术...
跨越300多年的接力：受陶哲轩启发，数学家决定用AI形式化费马大定理的证明
机器之心报道 编辑：张倩在陶哲轩的启发下，越来越多的数学家开始尝试利用人工智能进行数学探索。这次，他们瞄准的目标是世界十大最顶尖数学难题之一的费马大...
Transformer要变Kansformer？用了几十年的MLP迎来挑战者KAN
机器之心报道 机器之心编辑部MLP（多层感知器）用了几十年了，真的没有别的选择了吗？多层感知器（MLP），也被称为全连接前馈神经网络，是当今深度学习模型的...
全新神经网络架构KAN一夜爆火！200参数顶30万，MIT华人一作，轻松复现Nature封面AI数学研究
白交 衡宇 发自 凹非寺量子位 | 公众号 QbitAI一种全新的神经网络架构KAN，诞生了！ 与传统的MLP架构截然不同，且能用更少的参数在数学、物理问题上取得更高...
加州理工华人用AI颠覆数学证明！提速5倍震惊陶哲轩，80%数学步骤全自动化
新智元报道编辑：编辑部 【新智元导读】让陶哲轩大神赞不绝口的形式化研究神器Lean，运行LLM的推理却有个bug。最近，加州理工团队解决了这个bug，把80%以上的...
AI攻克费马大定理？数学家放弃5年职业生涯，将100页证明变代码
新智元报道编辑：Aeneas 好困 【新智元导读】困扰全世界几个世纪的「臭名昭著」谜题——费马大定理，或将被AI攻克？一位英国数学家宣布，即将启动用Lean重现费...
陶哲轩转发、菲尔兹奖得主领衔：AI正在颠覆数学家的工作方式 | 美国数学学会特刊
梦晨 发自 凹非寺量子位 | 公众号 QbitAI陶哲轩点赞转发，《美国数学学会通报》用一整期特刊介绍了AI给数学带来的改变。 这些文章读起来很有趣，尽管使我自己...
陶哲轩看了都直呼内行！谷歌等用LLM自动证明定理拿顶会杰出论文，上下文越全证得越好
新智元报道编辑：alan 【新智元导读】在软件工程顶会ESEC/FSE上，来自马萨诸塞大学、谷歌和伊利诺伊大学厄巴纳-香槟分校（UIUC）的研究人员发表了新的成果，...
陶哲轩上新项目：Lean中证明素数定理，研究蓝图都建好了
机器之心报道 编辑：陈萍借助 Lean，陶哲轩又开始了新的项目。「由 Alex Kontorovich 和我领导的一个新的 Lean 形式化项目刚刚正式宣布，该项目旨在形式化素...
AlphaGeometry：DeepMind 大算力再造奇迹，但「算力代替智力」或许并非最优解
作者：李宝珠 编辑：三羊 封面图来源：Google DeepMind DeepMind 用算力堆出奇迹？被夸上天的 AlphaGeometry 含金量有多高近日，谷歌 DeepMind 的 Alpha 系列...
谷歌数学AI登Nature：IMO金牌几何水平，定理证明超越1978年吴文俊法
梦晨 发自 凹非寺量子位 | 公众号 QbitAI谷歌DeepMind再发Nature，Alpha系列AI重磅回归，数学水平突飞猛进。 AlphaGeometry，无需人类演示达到IMO金牌选手的...
陶哲轩青睐的证明助手Lean，用上了大模型
机器之心报道编辑：陈萍现在，数学辅助证明工具都用上了大模型。「我预计，如果使用得当，到 2026 年，AI 将成为数学研究和许多其他领域值得信赖的合著者。」...
像搭乐高一样做数学定理证明题，GPT-3.5证明成功率达新SOTA
机器之心专栏机器之心编辑部中山大学和华为等机构的研究者提出了 LEGO-Prover，实现了数学定理的生成、整理、储存、检索和复用的全流程闭环。背景作为长链条...
陶哲轩上手Copilot：不可思议，它能从定理名字猜出我想要的方向
机器之心报道编辑: 蛋酱、小舟尝鲜 GPT-4 之后，陶哲轩又用上了 Github Copilot。这一次，他的试用场景是学习 Lean 语言并利用其形式化数学定理。对于大模型...
粤公网安备 44011502001135号