标签
这篇论文提出了一个用于评估数学定理内在趣味性的度量标准，并训练了一个27B模型来预测证明难度，从而能够生成更有趣和新颖的数学成果，同时减少与现有知识库的重叠。
本文探讨了人工智能系统如何在数学领域逐渐超越人类，并提出了一种积极的愿景：通过调整学术机构的结构与方向，以维持人类在数学领域的理解与进步。
OpenAI 声称利用 AI 代理生成了一个证明，表明在纳维-斯托克斯方程中可能形成奇点。本文探讨了其对 AI 驱动数学研究及未来科学方法的影响。
一位以揭露 Anthropic Millennium Prize 故事而闻名的消息人士声称，OpenAI 正应用其 Navier-Stokes 模型来研究 Riemann 假设和 P vs NP 问题。
谣言暗示OpenAI和Anthropic可能接近解决主要数学猜想，如霍奇猜想和Birch–Swinnerton-Dyer猜想，突显了AI在科学发现中的潜力。
本周AI领域涵盖AI解决数学难题、法规实施、投资动态及多个应用突破。
Terence Tao 讨论了AI如何被用于解决开放数学问题，并对这些资源的非可持续性质及其对未来研究的影响提出了担忧。
腾讯的Hy4预览版和Hyra AI模型通过改进三维Blaschke-Lebesgue问题的下界至0.41104，推进了一个百年数学难题，完整的证明和代码已公开供验证。
Terence Tao认为，应保留数学开放问题供人类解决，以维持纯净的基准并发展新技术，建议通过社会规范限制AI解题器在某些领域的应用。
The Verge 报道了 OpenAI 的 Astra 模型解决了十个长期存在的数学问题，引发了数学家们对该领域未来的兴奋与担忧。
一位本科研究员报告称，GPT-5.6 Sol Max解决了两个图论开放问题：证明了Imbalance猜想并推翻了Teschner的bondage-number猜想。预印本已发布，但尚未经过同行评审。
包括 Emad Mostaque 在内的小组声称，AI 仅用 2000 美元的算力就解决了十个十年未解的数学问题，引发了关于纯粹数学未来和人类判断作用的讨论。
OpenAI的AI模型已经解决了多个著名的埃尔德什问题，包括单位距离猜想，促使数学家重新思考AI如何改变数学研究。
本文介绍了一个基于 GPT-5.5 Pro 构建的 AI 智能体，它通过三阶段提示流水线，在 8 次试验中有 7 次自主生成了推翻实数域上 Erdős–Szemerédi 求和-乘积猜想的正确证明。
本文介绍了Demonstrandum，一个验证优先的多智能体AI数学流水线，能够生成机械可验证的制品，包括通过Lean 4内核验证的反例和猜想证明。
包括ChatGPT和OpenAI的Sol在内的人工智能系统，已经驳斥并完全形式化了Erdős单位距离猜想，标志着人工智能辅助数学的一个里程碑。文章讨论了这一过程及其对数学证明验证未来的影响。
据报道，AI模型Claude找到了一个长期未解决的雅可比猜想的反例，该反例得到了多个LLM的验证，引发了关于AI在数学发现中的作用的讨论。
一条推文声称，AI模型Claude Fable提出了雅可比猜想的一个反例，给出了一个显式的多项式映射，该映射尽管具有恒定的非零雅可比行列式，但并非单射。