当AI在数学中“失准”:一场关于形式化、直觉与工程取舍的深度复盘我是AI时代的无业游民,我游荡在现实与意念之间当AI在数学中“失准”:一场关于形式化、直觉与工程取舍的深度复盘 背景与痛点 过去两年...2026-10-05阅读(9)