Workflow
AI辅助数学证明
icon
Search documents
陶哲轩亲测:我用Gemini十分钟搞定了困扰学界多年的难题
量子位· 2025-11-24 07:30
鹭羽 发自 凹非寺 量子位 | 公众号 QbitAI 陶哲轩携手Gemini, 十分钟 破解数学难题! 还是他本人擅长的连续整数结构的乘法数论问题。 该问题建立在前人并不完整的反证基础上,陶哲轩借助 Gemini Deep Think 进行证明补全。 全程只用了十分钟,Gemini就从论证分析打通了结论确认。 下面来看详细验证过程: 而这也并非孤例,陶哲轩发现,在Erdős问题网站上,类似的情况时有发生,最近陆陆续续有6个困扰数学界多年的Erdős难题通过AI辅助方 法,得以解决。 还有许多研究者正在系统性地使用AI工具进行相关文献资料的查询,并作为解题思路留在评论区。 而这次陶哲轩使用的模型Gemini 2.5 Deep Think,想必大家也并不陌生。 正是此前的IMO金牌得主,在最新的FrontierMath测试中,其数学能力也远超 GPT-5(high) 等模型。 Gemini用十分钟完成验证 首先回到问题本身,这是由Paul Erdős提出的 # 367号 问题: 该问题设定 为整数n的2-full部分,即 ,其中 为 中幂为1的素因子之积。 简单来说,就是 会把 中所有只出现一次的素因子去掉,只保 ...