上海
分享至
品玩10月12日讯，据 officechai 报道，菲尔兹奖得主Terence Tao在题为“Math 2.0”的演示文稿中提出，AI正在终结数学证明稀缺的时代，数学界需重新思考学科定位。
传统“Math 1.0”依赖人类专家攻克难题，但数学证明客观可验证、完全数字化且文献已在线，使其成为AI优先突破领域。Tao指出AI能力“参差不齐”，能解决诸多开放问题，却在主观判断和真实世界交互上仍显薄弱。他以“幸存者偏差”警示，失败案例多未公开，真正前沿问题依然悬而未决。
Tao认为，开放问题本质是探索数学景观的“灯塔”，过早用AI抵达会破坏探索过程。盲目追求解题将打破纯数学到应用数学的理解传递链条，损害学科长远健康。
他建议转向大规模实验数学、开放阐释问题、形式化库建设和可解释模型，以拓展研究前沿并弱化单纯解题导向。该文稿发布之际，人类数学协会刚就OpenAI批量发布AI生成数学证明发表抵制声明。
特别声明：以上内容(如有图片或视频亦包括在内)为自媒体平台“网易号”用户上传并发布，本平台仅提供信息存储服务。
Notice: The content above (including the pictures and videos if any) is uploaded and posted by a user of NetEase Hao, which is a social media platform and only provides information storage services.
