纽约大学数学教授 Tristan Buckmaster 与 Anthropic 数学家 Levent Alpöge 合作,宣布了三项与理论数学中一个主要未解问题相关的证明。他们的工作利用了 Codex 和 Claude 等 AI 模型。此次宣布不仅因数学发现而引人注目,还因据称涉及 OpenAI 试图解决同一问题的争议。 AI
影响 AI 模型正被用于解决复杂的理论问题,有可能加速数学等领域的突破。
排序理由 该集群描述了数学证明的宣布,属于研究范畴。[lever_c_demoted from research: ic=1 ai=0.7]
在 Mastodon — mastodon.social 阅读 →
AI 生成摘要 · Google Gemini · 来自 1 个来源。 我们如何撰写摘要 →