数学研究者探讨AI模型科研应用

发生了什么

据Proofs and Prompts报道，研究者Chenmin Sun指出，随着GPT-5.5、GPT-5.6、Fable 5及Astra等模型的发展，AI在数学定理证明中的应用日益广泛。OpenAI于2026年10月6日发布了包含372个结果族的数学研究手稿，涵盖多个领域的高难度问题候选解。针对AI在科研中的角色，研究者探讨了“工具化”应用模式，并对自动证明过程中的署名伦理及科研范式变革提出了个人反思。