OpenAI通过Astra模型攻克多项长期数学难题，标志着AI科研能力从辅助向自主演进，这将重构科学探索的边际成本与范式，并带来深远的行业竞争与伦理挑战。

Axiom Math通过将AI推理与Lean形式化语言验证闭环，成功解决了大模型幻觉问题，不仅在数学研究领域取得突破，更预示了AI在软件工程、芯片设计等高安全要求领域的新范式。这一进程不仅是技术的进化，更是在重塑人类科学发现与真理验证的逻辑地基。

GPT-5 正在从“聊天搭子”转型为“科研霸主”，试图在数学和生物界大显身手。虽然它能否真正产生“原创想法”还吵得不可开交，但 AI 驱动的科研加速时代已经正式开启。

Anthropic最近动作频频，不仅推出了网页和移动版的Claude Code，让写代码变得像“刷网页”一样简单，还发布了“科研版”Claude，让AI直接下场搞生命科学研究，表现甚至“碾压人类”。尽管经历了产品提前泄露的小插曲，但Claude Code已成为Anthropic的“摇钱树”，每年贡献超5亿美元，让这家公司赚得盆满钵满。