标签:定理
陶哲轩:AI时代,数学研究将进入前所未有的规模
来源:量子位编辑:西风 陶哲轩最新演讲公开,AI含量爆表。 在IMO 2024现场,“陶神”带来了洋洋洒洒1个小时的精彩分享,主题就叫:AI与数学。他怎么看AI和数学...
陶哲轩IMO演讲全文:一次性解决一千个问题,AI让数学摆脱蛮力计算
机器之心报道 机器之心编辑部在探索「数学之美」的路上,人工智能到底走到哪一步了?说到这个话题,可能没人比数学家陶哲轩更懂。他几乎是最常用 AI 辅助证明...
DeepSeek开源数学大模型,高中、大学定理证明新SOTA
机器之心报道 机器之心编辑部DeepSeek-Prover-V1.5 通过结合强化学习和蒙特卡洛树搜索,显著提升了证明生成的效率和准确性。AI 技术与数学发现的进展,正前所...
CMU清华教LLM练成数学高手,LeanSTaR训练模型边思考边证明,登顶新SOTA
新智元报道编辑:乔杨 耳朵 【新智元导读】LLM数学水平不及小学生怎么办?CMU清华团队提出了Lean-STaR训练框架,在语言模型进行推理的每一步中都植入CoT,提...
陶哲轩赵宇飞学生联手攻下组合数学难题,23年来首次突破
克雷西 鱼羊 发自 凹非寺量子位 | 公众号 QbitAI陶哲轩和赵宇飞的学生联手,给数学界整了个新惊喜: 让组合数学领域最大难题之一——从无序中证明有序,取得了2...
AI顶会ICML收了一篇论文:没算法没实验
蔡永强 投稿量子位 | 公众号 QbitAI没有算法没有实验,从2610篇收录论文中脱颖而出,成为唯一一篇纯理论入选2024 ICML Spotlight的论文。 “Vocabulary for Un...
AI将是数学家的得力助手,陶哲轩谈AI在证明过程中的潜力
机器之心报道 编辑:大盘鸡AI 将大大提高数学研究的效率。陶哲轩是公认的数学天才,被誉为「数学神童」。他从小便展现出惊人的数学天赋,9 岁时就参加了美国...
CVPR‘24全程满分+最佳论文候选!上交大港中文等提出神经场网格模型三大定理
纯真学者出神入化投稿量子位 | 公众号 QbitAI在CV、ML等领域经常用到的神经场网格模型,如今有了理论框架描述其训练动力学和泛化性能。 来自上交大,港中文和...
MLP一夜被干掉,全新神经网络架构KAN破纪录!MIT华人一作,轻松复现Nature封面AI数学研究
夕小瑶科技说 分享来源 | 量子位一种全新的神经网络架构KAN,诞生了! 与传统的MLP架构截然不同,且能用更少的参数在数学、物理问题上取得更高精度。 比如,2...
MLP 的时代结束了?全新神经网络架构 KAN 横空出世,MIT华人一作!
文章转载自公众号:AI科技大本营,本文只做学术/技术分享,如有侵权,联系删文。 多层感知器(MLP, Multilayer Perceptron)作为人工神经网络的一个基本架构...
数学遇上人工智能,深度学习架构迎来最强挑战者 KAN,MLP 的时代结束了
来源:《新程序员》编辑部 文:王启隆 多层感知器(MLP, Multilayer Perceptron)作为人工神经网络的一个基本架构,一直在历史上扮演着至关重要的角色。MLP ...
ICLR 2024 Spotlight | 无惧中间步骤,MUSTARD可生成高质量数学推理数据
AIxiv专栏是机器之心发布学术、技术内容的栏目。过去数年,机器之心AIxiv专栏接收报道了2000多篇内容,覆盖全球各大高校与企业的顶级实验室,有效促进了学术...
跨越300多年的接力:受陶哲轩启发,数学家决定用AI形式化费马大定理的证明
机器之心报道 编辑:张倩在陶哲轩的启发下,越来越多的数学家开始尝试利用人工智能进行数学探索。这次,他们瞄准的目标是世界十大最顶尖数学难题之一的费马大...
Transformer要变Kansformer?用了几十年的MLP迎来挑战者KAN
机器之心报道 机器之心编辑部MLP(多层感知器)用了几十年了,真的没有别的选择了吗?多层感知器(MLP),也被称为全连接前馈神经网络,是当今深度学习模型的...
全新神经网络架构KAN一夜爆火!200参数顶30万,MIT华人一作,轻松复现Nature封面AI数学研究
白交 衡宇 发自 凹非寺量子位 | 公众号 QbitAI一种全新的神经网络架构KAN,诞生了! 与传统的MLP架构截然不同,且能用更少的参数在数学、物理问题上取得更高...