数学家 Elliot Glazer 花 2000 美元用 o1 验证条件解，遭「软数学黑帮」围攻

数学家 Elliot Glazer 称，他在一个订阅额度内用 o1 验证某重要问题的条件性解法，验证开销为 2000 美元。公布前，他遭同行连番攻击，转发者将围攻者戏称为「软数学黑帮」，事件引发传统数学家与 AI 辅助数学方式之间的争议。