最新AI模型对科学的贡献

AI-News.ru上的一篇文章讨论了近期AI模型对科学的贡献，特别是在数学领域。文章引用了Terry Tao（2026年7月21日）关于雅可比猜想反例的帖子，其中Claude Fable 5和ChatGPT等AI模型发挥了作用。另一篇预印本（arXiv:2607.18186）提出了一个适用于维度n≥3的证明，该证明得到了ChatGPT和Claude的协助。一篇由微软研究员撰写的论文（arXiv:2607.18619）描述了使用GPT-5.6 Sol证明四色定理的另一种方法。此外，arXiv:2607.18655与Claude Fable 5相关，而arXiv:2607.19675则描述了一个使用OpenAI Codex的证明，该证明引用了一个1964年的问题。其他工作包括对De Giorgi猜想的AI推导界限（arXiv:2607.18174），其误差项为O(T^-1)，一篇使用GPT-5.6的SYK模型论文（arXiv:2607.18998），以及Giovanni Forni关于多边形台球周期轨道存在性的证明（arXiv:2606.10102）。作者还提到了自己涉及GPT的工作。