搜索
在探索「数学之美」的路上，人工智能到底走到哪一步了？说到这个话题，可能没人比数学家陶哲轩更懂。他几乎是最常用 AI 辅助证明的数学家之一，还在今年的 AI 数学奥林匹克竞赛（AIMO 进步奖）担任了顾问委员。
陶哲轩最新演讲公开，AI含量爆表。
只要不到10行代码，就能让大模型数学能力（GSM8k）提升20%！
人工智能是一个快速发展的领域，每个人都在以自己的方式体验它，每个人都有不同的感受和对未来的预见。
现在，最强数学大模型，人人都可上手玩了！
AI掌握自我设计的权力，将会怎样？最近，来自UBC等机构研究人员提出了「智能体自动化设计」系统，让元智能体使用搜索算法，自动构建强大的同类。
合成数据2.0秘诀曝光了！来自微软的研究人员们提出了智能体框架AgentInstruct，能够自动创建大量、多样化的合成数据。经过合成数据微调后的模型Orca-3，在多项基准上刷新了SOTA。
AI 不是一种“魔法”，有时有点被夸大了。
LLM数学水平不及小学生怎么办？CMU清华团队提出了Lean-STaR训练框架，在语言模型进行推理的每一步中都植入CoT，提升了模型的定理证明能力，成为miniF2F上的新SOTA。
最强数学大模型，现在易主！