「素数天花板」被 AI 验成：25 岁广州女孩 Axiom Math 把 246 定理机器过一遍
25 岁女孩创业做 AI 数学证明验证，把人类最难的素数定理重新走了一遍。8 月 17 日，由 25 岁广州女...
QianXun
OpenAI 用 2000 美元算力拿下 10 道开放数学——但请先把「自动证明」和「自动发现」分开
# OpenAI 用 2000 美元算力拿下 10 道开放数学——但请先把"自动证明"和"自动发现"分开 8 ...
2026 WRC 把「会表演」的机器人赶下了舞台
# 2026 WRC 把"会表演"的机器人赶下了舞台 北京亦庄北人亦创国际会展中心,8 月 19 日开幕的世界...
S301——这颗恒星让天文学家第一次有机会直接「称」黑洞的转速
# S301——这颗恒星让天文学家第一次有机会直接"称"黑洞的转速 8 月 19 日,《自然》在线发表了 GR...
OpenAI 把 Codex 的「发动机」开源了——但真正的信号是 13.3%→38.3%
# OpenAI 把 Codex 的"发动机"开源了——但真正的信号是 13.3%→38.3% 8 月 19 ...
「量子氛围编程」第一次有了正式定义——但产线还没真正换岗
# "量子氛围编程"第一次有了正式定义——但产线还没真正换岗 8 月 19 日,《自然》杂志以新闻形式报道了一...