@LiorOnAI：这比听起来要重要得多。一位数学家给了Grok 4.5一个开放研究问题，但它的回答不仅仅是解释已知数学，而是发现了一个全新的反例。
摘要
一位数学家报告称，Grok 4.5在四维球面上发现了一个全新的超压缩性反例，这可能标志着AI首次完成了原创数学研究，但有待同行评审。
这比听起来要重要得多。
一位数学家给了Grok 4.5一个开放研究问题，但它的回答不仅仅是解释已知数学，而是发现了一个全新的反例。
如果它在同行评审中成立，那这就是原创数学研究。
查看缓存全文
缓存时间: 2026/07/10 14:15
这比听起来要重要得多。
一位数学家向 Grok 4.5 提出了一个开放研究问题，但它没有仅仅解释已知的数学，而是找到了一个全新的反例。
如果它能经得起同行评审，那就是原创数学研究。
Paata Ivanisvili (@PI010101)： Grok 4.5 刚刚构造了一个关于 4-球面上泊松半群（拉普拉斯–贝尔特拉米算子的平方根）超收缩性的显式反例。
早在 2021 年，与 Rupert Frank https://t.co/qULwxmpQee 合作时，我们证明了超收缩性在维度中成立
相似文章
OpenAI 声称解决了80年前的数学难题——这次是真的
OpenAI 声称其新推理模型自主生成了一个原创数学证明，推翻了保罗·埃尔德什（Paul Erdős）一个80年未解的几何猜想。这标志着人工智能首次解决了一个数学领域核心的著名开放问题。
@OpenAI: 当我们的一个模型发现了一个有80年历史的Erdős猜想的反例时，发生了什么？研究人员@alexwei_……
一个OpenAI模型发现了一个有80年历史的Erdős猜想的反例，研究人员在OpenAI Podcast上分享了这一故事，讲述了人工智能和数学家如何合作进行数学发现。
@rohanpaul_ai: 一位数学家使用GPT-5.6解决曾经被认为无法企及的数学问题。“我只需运行CodeX来完成所有这些探索……”
一位数学家使用GPT-5.6和CodeX解决以前棘手的数学问题，显著加快了探索和技术工作的速度。
OAI研究员谈Erdos问题：“这是迄今为止AI史上最大的成就。到年底时，它看起来会像个小成就。”（系好安全带）
一位OpenAI研究员声称，其模型对离散几何中一个Erdős问题的解决是迄今为止AI领域最大的成就，但预测到年底时这一成就将被超越。
@LiorOnAI: GPT-5.6 Sol 可能通过并行使用64个子代理解决了一个50年未解的数学难题。该系统并未依赖单一的…
据报道，GPT-5.6 Sol 通过并行使用64个子代理解决了一个50年未解的数学难题，若经证实，可能改变研发经济学。