Anthropic 停止传统编程面试：“饥饿胜过资历”

Anthropic 招聘经理 Felix Reiseberg 宣布停止以传统编程面试招聘候选人，并为初级工程师提出聚焦业务影响、敢于提出大胆想法和快速构建原型的建议。AI 数学研究方面，Axiom 用智能体 swarm 在 24 天内生成约 50M 行 Lean，完成有限简单群分类的自动形式化；OpenAI 与 Anthropic 则分别宣称对 ETH 提出反驳。