Marin 项目启动 535B 参数 MoE 模型训练，配置、损失曲线与数据构成全程实时公开，把大模型黑箱变成可观察的透明实验。

OpenAI即将发布的推理模型Astra以约2000美元算力成本，成功破解10个数学与理论计算机科学领域长期悬而未决的难题，包括首个非SoFIC群的显式构造及对Connes刚性猜想的否定。所有证明均通过Lean 4...

Axiom Math团队用AI系统AxiomProver首次自动验证素数相关定理「246定理」，标志AI辅助数学形式化验证取得重要里程碑。

AI in Science：人工智能加速科研范式变革 摘要：AI正在深刻改变科学研究范式。从AlphaFold预测蛋白质结构，到AI设计新材料、发现新药物，AI for Science已成为全球科技竞争的新高地。本文深度...