近日，AI公司Anthropic旗下一款尚未对外发布的大语言模型，在由数学家黎曼提出、已有150余年历史的数学界顶级未解难题黎曼猜想的研究中取得超出行业预期的重要进展。尽管尚未完全证明该猜想，但此次突破进一步验证了大模型在基础科学研究领域的应用潜力，也为AI辅助前沿理论研究提供了新的可行路径。
作为1859年由德国数学家波恩哈德·黎曼提出的数论核心猜想，黎曼猜想自诞生以来的160余年间，一直被视为纯数学领域最难攻克的谜题之一，也是美国克雷数学研究所悬赏百万美元的千禧年七大数学难题之一。此前全球范围内已有数十位顶尖数学家尝试给出完整证明，均未得到学界公认。
登录后解锁全文，体验收藏、点赞、评论等完整功能
立即登录
滇公网安备 53252802528133号