🚨 AI可能正在进入一个全新的阶段。

Reddit r/ArtificialInteligence 新闻
ai mathematics breakthrough openai model-training open-problems advisory-group

摘要

据报道，OpenAI训练了一个新的AI模型，该模型已解决了超过100个长期存在的开放数学问题，导致成立了一个咨询小组来评估和协调这些结果的发布。

OpenAI表示，它在8月28日开始训练一个新的内部模型。那只是24天前。据报道，自那以后，该模型在多个领域解决了100多个长期存在的开放数学问题，这是在其最近宣布的Navier–Stokes千禧年大奖问题工作之上。而且显然，连OpenAI自己的数学家都对这一速度感到惊讶。但真正引起我注意的部分是：问题可能不再是“AI能解决困难的数学吗？”而是：“当AI开始产生太多新数学以至于人类无法评估时，我们该怎么办？”据报道，一个独立的咨询小组已经成立，其中包括Edward Witten、Timothy Gowers和Martin Hairer等数学家，以帮助评估这些结果的重要性，并协调它们向数学界的发布。该小组面临的直接挑战？据报道，该模型正在产生“大量重要结果”。当然，这些说法仍需要严格的、独立的验证。数学不接受令人印象深刻的演示；证明必须经得起专家审查。但即使这些结果中有很大一部分成立...
查看原文

相似文章

AI 对数学的接管已经开始

The Verge

The Verge 报道了 OpenAI 的 Astra 模型解决了十个长期存在的数学问题，引发了数学家们对该领域未来的兴奋与担忧。