Hyra 2.0

AI 快讯

腾讯混元 Hyra 2.0：让 AI 不只解题，还自己训出蛋白质模型、改进香山处理器

腾讯混元 11 月 1 日发布 Hyra 2.0 自动化科研系统，称由智能体从头训练了蛋白质设计和分子模拟模型，并给开源处理器香山找出 10 个缺陷。数据均为官方自述，系统未开源。

zzovo2026-11-04–

OpenAI
三项科学结果

AI 快讯

OpenAI 称模型证伪了指数时间假设，并给出 Kakeya 猜想和 QCD 存在性证明，外部专家将负责核查

OpenAI 10 月 26 日公布数学、计算机和物理三项结果：ETH 的反驳与 Lean 形式化已公开，物理成果暂不公开材料，均待外部小组核查。

zzovo2026-10-27–