Ai数学研究
科技人工智能
OpenAI声称求解千禧年大奖难题 引发学术诚信争议
OpenAI宣布其AI模型找到了千禧年大奖问题之一的纳维-斯托克斯方程的解。该公司使用10,000个AI代理和一个新实验模型，在88小时内完成了计算，随后又耗时17小时进行验证。
科技人工智能
加州理工学院举办首届研究级数学竞赛 AI计算资源超200万美元
加州理工学院将于10月30日至11月1日举办首届Mathathon竞赛，这是有史以来第一个专门针对研究级数学的竞赛。该竞赛为期40小时，共有100支团队参赛。参赛团队将获得超过200万美元的AI计算资源额度，用于攻克数学领域的开放问题。
科技人工智能
计算物理学家让GPT-5.6 Sol连跑33小时攻关费马大定理遭系统强制终止
计算物理学专家Michael P. Frank指挥GPT-5.6 Sol模型连续运行约33小时，试图探索费马大定理是否存在比怀尔兹-泰勒证明更简洁的途径。该研究聚焦于Frey曲线模性、一致无限下降法、算术abc型不等式以及一致低亏格商等关键数学领域。然而这一尝试最终被OpenAI系统强制中止。