🤖 数学中的 AI：进展与局限

在最近的实验中，数学家陶哲轩评估了一个新的 AI 模型解决复杂分析问题的能力。虽然该模型比之前的版本有所改进——表现水平相当于“平庸的研究生”——但它仍然需要大量的指导，并且犯了一些明显的错误。研究结果表明，随着进一步的迭代以及与计算机代数系统等工具的集成，它可以达到“有能力的研究生”的水平。

陶哲轩指出，目前提示这些模型的努力需要比预期输出多 2 到 5 倍的努力，但他预计这个比例在几年内可能会降至 1 倍以下，这可能会导致在数学研究中更广泛的采用。他还强调了与用于形式证明的特定编程语言的过时训练数据相关的挑战。

总的来说，虽然 AI 在数学中的作用取得了可喜的进展，但在它能够有效地完全协助研究人员之前，还有大量的工作要做。

(HackerNews)

via 老裕泰 - Telegram Channel