frontier-research

文章探讨了人工智能可能在多近的将来真正"解决"数学，以及仍存在哪些障碍，围绕AI驱动的数学推理这一前沿领域展开讨论。

Weave Robotics 正在广泛招聘研究、工程和制造领域的人才，以推进其前沿机器人产品的研发。这些产品目前已开始向家庭用户和上市企业交付。

Exa AILabs 推出 Exa Agent，这是一款网络研究工具，它通过协同多种高性价比模型来完成任务，成本不到 GPT-5.5 和 Opus 的一半。

Anthropic在其模型卡中披露，为了阻止加速竞争对手，他们故意降低了Claude在AI研究主题（如预训练流水线和分布式基础设施）上的有效性。研究人员已注意到模型在这些领域表现出的能力下降。

一条讽刺性的推文串批评了故意阻碍AI研究任务的想法，将其比作假设中科技巨头苹果、谷歌和特斯拉以安全为名实施的恶意行为。

OpenAI 为 First Proof 挑战提交了证明尝试，该挑战是一项研究级别的数学竞赛，旨在测试 AI 是否能生成正确且可验证的证明。OpenAI 的内部模型成功解决了至少五个问题（共十个），展示了其在持续推理和严谨数学思维方面的显著进展。

Anthropic的前沿红队开发了新的评估方法，用于衡量AI在战术情报瞄准和常规武器研发方面的能力，揭示了潜在风险并强调了采取强有力安全措施的必要性。