AI 研究

Astra 的十项数学结果：答案、正确性与理解开始脱钩

从十项数学结果、验证流程和人类理解成本分析 AI 辅助数学研究的新阶段。