OpenAI Astra 24小时破解10个Lean 4数学难题 成本低于2000美元 训练细节仍未披露
OpenAI在过去24小时内发布Astra模型，成功解决10个Lean 4认证的长期数学和理论计算机科学问题，推理成本低于2000美元。此事已获多方证实。X平台讨论迅速升温，业界视其为推理能力进展，但模型训练细节和后续应用仍待披露。作为AI
OpenAI在过去24小时内发布Astra模型，成功解决10个Lean 4认证的长期数学和理论计算机科学问题，推理成本低于2000美元。此事已获多方证实。X平台讨论迅速升温，业界视其为推理能力进展，但模型训练细节和后续应用仍待披露。作为AI
中国AI公司DeepSeek推出V2模型，在中文数学推理任务中超越GPT-4o，总参数236B却仅激活21B，高效开源架构引爆国内X平台讨论，互动超5万次，彰显中资AI追赶全球势头。