Kasra Rafi

AI模型取得博士级别数学成果，但缺乏新的理论发展

领先的AI模型在数学方面展现出令人印象深刻的能力，能够证伪猜想并得出可与博士级别研究相媲美的新颖结果。OpenAI的模型已经证伪了单位距离猜想，并提供了新的数学结果，而Anthropic的模型则在密码分析领域发表了AI衍生的结果，并尝试证明黎曼猜想。这些成就虽然意义重大，但目前仅限于寻找反例或以新的方式应用已知技术，而不是开发全新的概念框架，这种局限性可能不会持久。