GPT-5.6 Pro 推翻数学猜想，加速科学复兴

导读：GPT-5.6 Pro被用于推翻一个关于CP^n上复拓扑向量丛的数学猜想，展示了AI在纯数学研究中的突破性作用。

• 具体而言，GPT-5.6 Pro在CP^5上找到了一个反例，证明该猜想不成立，同时推翻Asok-Fasel-Hopkin的较新猜想。
• 这一发现来自用户@pz_chojecki，他描述了AI如何协助他找到不可代数化且无动机提升的例子。
• OpenAI的Greg Brockman转发并评论称，我们正看到科学、医学和数学发现复兴的前沿，AI正在加速人类提高生活水平的持久力量。
• 这并非GPT首次用于数学证明，但推翻具体猜想且涉及前沿代数几何，标志AI在形式推理中的实用性提升。
• 影响/看点：AI介入数学研究的速度超乎预期，GPT-5.6 Pro可能成为数学家探索猜想的新工具，开创“AI辅助数学发现”新时代。

本内容由 AI 生成，仅供参考，请注意甄别