陶哲轩等数学家呼吁抵制OpenAI暴力解题

发生了什么

据虎嗅报道，数学家陶哲轩等人对OpenAI将数学难题作为性能基准测试的行为表示不满，呼吁抵制其“暴力解题”方式。文章指出，OpenAI在9月8日宣布解决三维纳维-斯托克斯方程，引发数学家担忧。危害包括证明过大导致人类“消化不良”。建议改革评价体系，要求作者完成专家级清晰报告，强制标注AI使用，并转向阐释与验证，而非单纯追求首个证明。