到处流传着谣言,称OpenAI即将验证霍奇猜想的证明,而OpenAI或Anthropic可能接近解决Birch–Swinnerton-Dyer猜想。物理学问题是否已被解决?
摘要
谣言暗示OpenAI和Anthropic可能接近解决主要数学猜想,如霍奇猜想和Birch–Swinnerton-Dyer猜想,突显了AI在科学发现中的潜力。
谣言:今天又有一个千禧年大奖难题被AI破解。目前正在进行秘密审查……我不能说是哪一个,因为我不想让任何团队抢先。我自己没有证明,但如果我拿到,会在这里发布并注明作者。来源:https://x.com/bubbleboi/status/2097880935383564496
天啊,到处流传着谣言,称OpenAI即将验证霍奇猜想的证明,而OpenAI或Anthropic可能接近解决Birch–Swinnerton-Dyer猜想。这两个都是千禧年大奖难题,抵抗了数十年的数学研究。如果AI生成的证明被验证,将是数学界的历史性成就,也是AI产生新科学知识的显著展示。事实上,这表明AI能够找到新颖且创造性的解决方案。来源:https://x.com/kimmonismus/status/2097990443690496402
相似文章
OpenAI 接近解决另一个千禧年大奖难题,Hodge 猜想
据报道,OpenAI 正在利用人工智能接近突破,以解决 Hodge 猜想——千禧年大奖难题之一。
Scott Aaronson 今晚在博客上写道,他听说人工智能公司已经解决了理论计算机科学中一些非常长期的开放问题,并且由于 Navier-Stokes 风波,现在搁置了多项重大公告。
Scott Aaronson 报道称,有传言说人工智能公司,可能是 OpenAI,在解决理论计算机科学中长期存在的开放问题上取得了重大进展,但由于最近的争议,正在推迟宣布。
围绕OpenAI传奇数学里程碑的争议
OpenAI声称使用先进的AI模型解决了Navier-Stokes千禧年问题,这引发了关于与NYU和Anthropic的独立研究人员之间潜在数据访问问题的争议。
顶尖数学家日益信服OpenAI的类黎曼猜想证明
顶尖数论学家对OpenAI人工智能生成的类黎曼猜想证明越来越有信心,Terence Tao还发表了对Ben Green相关简化工作的阐述,这标志着数学界开始独立评估AI生成的前沿数学成果,是一个显著的转变。
OpenAI 声称解决了80年前的数学难题——这次是真的
OpenAI 声称其新推理模型自主生成了一个原创数学证明,推翻了保罗·埃尔德什(Paul Erdős)一个80年未解的几何猜想。这标志着人工智能首次解决了一个数学领域核心的著名开放问题。