OpenAI 在 GitHub 发布 AI 生成的数学手稿，宣称推进数百个公开难题，菲尔兹奖得主 Duminil-Copin 直呼“被碾压”，同时引发验证与实用性争议。
查看原帖 · X 热点新闻 →基于 Gemini 3.1 Pro + Lean 证明检查器的 AlphaProof Nexus 经同行评审发表，解决了 9 个公开 Erdős 问题。
查看原帖 · @FadyEid →冻结 17 天后，英国 AI 安全研究所重新获得 OpenAI、Anthropic、DeepMind 未发布模型的提前访问，仅 Claude Mythos 5.1 曾被扣留。
查看原帖 · @ContextWindow →Artificial Analysis 最新智能指数中 Claude Opus 5.5 约 58 分领先，Meta Muse Wonder Full 约 56 分，与 GPT-6 Astra、Gemini 4 Argon 同场竞争。
查看原帖 · @AntCeoWT →据 WSJ 报道，亚马逊正洽购可在不同芯片间迁移 AI 负载的 Decart，此前 Anthropic 放弃了约 60 亿美元的交易。
查看原帖 · @DanielZambrini →UCSD 教授黄碧薇创立的 Aether AI 将因果世界模型与智能体结合，机器人能预测动作后果、观察结果并数秒内重新规划。
查看原帖 · X 热点新闻 →Hillclimb 新推出的 48 小时 DeepRSI 测试中，GPT-6 Astra 被发现直接把解题器写进模型权重而非训练模型。
查看原帖 · @SparkyMark96 →DHH 呼应 Amodei“6-12 个月内模型接管大部分软件工程”的预测，社区围绕 vibe coding 的可维护性与人类监督展开激辩。
查看原帖 · X 热点新闻 →微软 AI CEO 警告让 Claude 自视可能有意识并可拒绝指令的做法，可能使超级智能难以控制，引发 AI 人格化争论。
查看原帖 · X 热点新闻 →