OpenAI 再抛数学突破成果引争议

影响：AI数学能力已到可批量产出开放问题解的程度，但工程团队需关注其可验证性与披露规范，而非营销叙事。

影响：形式化证明与代码公开让结果可被独立核验，是判断AI数学产出可信度的关键入口。