GPT证明千禧年难题成果反转

该动态围绕OpenAI此前宣称的数学突破展开，核心争议是模型输出与人类验证脱节。若AI仅给出形式化证明但未提供可核验推理路径，其科学贡献可能难以进入正式学术体系。事件与722份证明争议共同指向大模型科研的可解释性和可验证性短板，也推动行业建立AI数学成果分级披露机制。