一位业余数学家利用GPT-5.4 Pro解决了一个由Paul Erdős提出的长期存在的数学问题，该问题困扰了人类数学家60年之久。该AI的方法与人类方法截然不同，它通过重新构建问题而非使用传统技术找到了新的证明。这一成就引发了关于数学未来以及AI在科学发现中作用的辩论。 AI
影响 展示了AI发现新数学证明的潜力，挑战了传统人类方法，并引发了对科学发现未来的疑问。
排序理由 AI模型被用于解决长期存在的数学问题，引发了关于AI在研究中作用的辩论。[lever_c_demoted from research: ic=1 ai=1.0]
在 Mastodon — fosstodon.org 阅读 →
AI 生成摘要 · Google Gemini · 来自 1 个来源。 我们如何撰写摘要 →