新浪AI热点报道，牛津数学家Ben Green发布一份排除Siegel零点的证明，将张益唐长期攻坚的数论难题相关证明压缩至5页。该证明出自Green与ChatGPT 6 Astra的vibe mathing协作，即通过与AI边讨论边推进证明，随后由人类重写论证。论文首页写明不主张任何人类原创性，引发数学界和AI界对大模型参与基础科研的讨论。事件显示前沿大模型正从辅助写作、代码生成走向参与高难度数学推理与证明构造。 关键要点证明压缩至5页人机协作完成数学证明引发AI参与基础科研讨论 返回列表 上一篇 下一篇
