不想传播焦虑，但这次我无话可说。 今年科学界最大的新闻，没有之一。OpenAI 的内部 AI 模型自己做出了三个科学难题的成果。我用我自己的理解说一下。 第一，Kakeya 猜想。这个问题研究波聚焦时会怎样。原来的猜想我记得是说最极端的聚焦只会持续很短时间。人类以前只在低维度证明过，OpenAI 说它的模型证明了所有维度的情况，因此顺带解决了 Kakeya 猜想和 Stein 限制猜想。纯逆天。 第二，指数时间假说 ETH 被推翻。这个太难以置信了。ETH 好像是说有一类逻辑难题不可能被比暴力穷举快很多地解决。而之前学界普遍相信它成立，几百篇论文都以它为前提，现在 AI 却证明它是错的。 这个太他喵逆天了，因为我之前是研究过一段时间理论计算机的。这几十年ETH几乎被当成公理在用。很多论文的结论都写成假设 ETH 成立，那么某某问题不可能在多少时间内解决。现在地基没了，这些不可能，全都要打问号。 最让我感觉匪夷所思的是 AI 证明的方式。据 Lean 证明的说明文档，它给出的是一个确定性算法，应该是对固定宽度的 k-CNF 公式，它能在亚指数时间、多项式空间内精确数出所有满足的赋值。但是，懂行的人应该都知道“数出有多少个解”通常比“判断有没有解”难得多，它连更难的那个都做到了，所以 ETH 只是顺带被推翻。 第三，杨-米尔斯、量子色动力学。AI 应该是给出了一套严格的数学证明，证明描述强核力的理论在数学上确实成立，其中包括纯杨-米尔斯理论的存在性，这是千禧年七大难题之一的一部分。我不太了解，但是只是知道一些浅层的理论，就不评论了。 最让我恐惧和惊骇的是第二个。今天晚上我看了又看，感觉这是地震级别。如果最终确认无误，这会是 AI 第一次独立推翻一个被广泛相信的核心猜想。说它是一个时代的分界点，也毫不夸张。 如果这三个都核查通过，这代表 AI 第一次在多个顶尖领域独立解决了几十年没人能解决的难题，影响史无前例。

Unitree Introducing: H2-X Kung Fu Legend Guardian🤖 Powerful performance to serve and guard you, with a maximum endurance of approximately 8 hours. Please use the robot safely and in a friendly manner.

FUCK EVERY IDEOLOGY THAT REQUIRES YOU TO STOP SEEING OTHER PEOPLE AS HUMAN BEINGS

Vibe-coding, but make it social. Starting today you can use Attie to make sites: Games, quizzes, guestbooks, your top 8, or whatever you dream up. Go try it!

You have a child's naive understanding of how the world works and a toddler's emotional driven response to problems. Please try growing up and gaining some real world knowledge before trying to solve the world's problems

やっとみんなが驚き屋やってるGPT-6 Astraテストした 画像渡してBlenderで背景の街並みを自動でモデリングし ブレイクダウンも自動で編集 完成度はまだまだ駄目だけど今までとは違い3DCGを人の手で作らない時代の始まりは感じた

God of War Ragnarok DLSS 5 OFF vs. ON

A lot of respect for speaking the truth regardless of the backlash.

Can’t say there weren’t signs:

待って死ぬwwwww これやるだけで二重顎消えるよって中国人の友達に教えてもらったんだけど、本当に消える😭 疑ってごめんwwww(土下座)

If you get any of this wrong your 3D character looks cursed. You're up against the human brain at the thing it does best: detect subtle face cues as hints of threat or safety, health or sickness, and nuanced emotions, honed by roughly 200,000 years of nonverbal communication