RookieMaster

Student, Programmer, Computer Science, 碎碎念

[RookieMaster @RookieMast9656]

今天没怎么玩x，但是都一个个回关过去了😸

[RookieMaster @RookieMast9656]

最近一直在公司附近玩猫，今天被隔着裤子小挠了一下，没啥痕迹不知道有没有事

[RookieMaster @RookieMast9656]

@smudge_smg xmoney是啥

[RookieMaster @RookieMast9656]

@kenken123v c++都看不懂

[RookieMaster @RookieMast9656]

上班太累了，今天都没怎么玩x，唉，讨厌c++，还是喜欢做前端

[RookieMaster @RookieMast9656]

@izhouhongan 还有这个说法

[RookieMaster @RookieMast9656]

@ZengLiangGe 借你吉言了😸

[RookieMaster @RookieMast9656]

还差一个关注就100了，嘿嘿嘿

[RookieMaster @RookieMast9656]

@gshota666 加油加油👏

[RookieMaster @RookieMast9656]

@vinie4587 我来咯

[RookieMaster @RookieMast9656]

@SDW73061693 来了来咯

[RookieMaster @RookieMast9656]

早安，开始把昨晚的关注都回关一下

#浇个朋友 #浇蓝朋友

[RookieMaster @RookieMast9656]

@vitowang94 来了来了

[RookieMaster @RookieMast9656]

一次性关注太多，client error了，朋友们等等我

[RookieMaster @RookieMast9656]

AI 刚刚推翻了一个被相信了 30 年的猜想。

刚刚OpenAI 宣布 3 个 AI 做出的成果:数学、计算机、物理各一个。

最炸的是这条:

指数时间假设(ETH)被 AI 证伪了。

几百篇论文里"这个问题不可能更快"的结论,都建立在它之上。

证明已用 Lean 形式化验证并公开。

数学那条同样离谱:

AI 证明了局部光滑猜想在所有维度成立,顺带解决了 Kakeya 猜想和 Stein 限制猜想。

物理那条最大胆:

AI 给出了 QCD 的数学严格存在性证明,包含杨-米尔斯存在性,这是千禧年大奖难题的一部分。

诺奖得主 David Gross 带队去检验。

但真正有意思的是 OpenAI 的态度:

- 不要学术功劳
- 不签保密协议
- 把 AI 的论文当"原始数据",交给外部专家解读

等于在说:AI 能出结果,"理解"还得靠人。

我的看法:

AI 做科研已经不是能不能的问题,而是怎么验证、怎么署名、谁来负责。

这次的做法能不能成为范式,比这三个结论本身更值得盯。

提醒一下,以上都是 OpenAI 自己的说法,独立验证还在进行中。

原文:
https://t.co/pl9TjzAzG3

[RookieMaster @RookieMast9656]

@0xBrotherWang 早上好～

[RookieMaster @RookieMast9656]

睡觉了，晚安各位💤

[RookieMaster @RookieMast9656]

@ziyoulaoge 回关了朋友

[RookieMaster @RookieMast9656]

@jianjun_shi 欢迎欢迎

[RookieMaster @RookieMast9656]

@Dujack007 我给你点咯～

[RookieMaster @RookieMast9656]

@Angeladoun 来互关吧😸