OpenAI发布了350多项人工智能生成的数学发现，包括对拟黎曼假设的证明，这引发了数学家们的震惑和兴奥。专家如Alex Kontorovich和Martin Bridson称这是“令人惊叹”和“ devastating”，并指出如果由人类完成，这可能立即获得菲尔兹奖。虽然这些证明并未完全解决五个千禧数学奖问题，但它们在数论和拓扑等子领域取得了显著进展。Ken Ono形容这种情绪冲击就像“被打了一拳”，但强调了合作的机会。OpenAI承认一些论文中存在错误，并表示将更正或撤回有缺陷的结果。这次发布标志着一个转折点，敦促数学家们适应并将人工智能作为工具来提高目标。
来源: New York Times Top Stories · 由HeadlinesBriefing整理摘要