注册并分享邀请链接,可获得视频播放与邀请奖励。

⧫ Alan Chen ⧫(alanchentsla.eth)
@alanchen
Ex-Amazon | Leader of 7,000+ Investors. 📊 Built a 400k+ audience. Now showing you how. SPCX| BTC | AI Tools & Wealth Skills. 🤖💰 I share what Wall St won't👇
加入 September 2011
650 正在关注    50.7K 粉丝
来吃大瓜了,山姆奥特曼被骂到扑街: 千年数学题被AI“破解”了。然后数学圈先打起来了。 9月8日,OpenAI发帖:内部超级模型 + 1万个AI特工,88小时解决纳维-斯托克斯方程。90年没人拿下的千禧年难题,百万美金那档。配图一团螺旋涡,看得很科幻。 很多人第一反应:AGI来了。 细看才发现:他们证的是——给流体再加一个光滑外力,涡会被拧到炸掉。
不是流体自己在那儿流着流着崩了,是外面有人伸手搅了一下。条款上能对上号,观感上像开了外挂。 更刺激的是时间。 发稿前几小时,纽约大学教授Buckmaster 和 Anthropic研究员Alpöge 先挂出论文:同一条“加外力打爆”的路,他们抠了快一年,Lean也验证了。陶哲轩都看过他们的进展。 然后开始撕。 教授这边说:OpenAI听说路线后加塞冲刺;通话里提出让他单独署名、把Anthropic那位同事名字拿掉;还问过“你要不要毁了自己的职业生涯”。 
OpenAI这边说:没翻用户数据,没偷他们的提示词;欧拉方程我们证的是不加外力的,更难;纳维-斯托克斯才带力。同时补了一句:脱敏产品数据有没有帮过模型,“无法完全排除”。 翻译成人话: 
学术圈走了一年的羊肠小道,大厂用算力推土机连夜铺成高速,再办发布会。 账单更离谱。公开口径几百万到一千五百万美金算力,换一个一百万的奖。OpenAI说不领奖。Clay研究所到现在还把题目标成未解,审查会慢慢来。 于是法语区账号BetterCallMedhi直接引用原文开骂:一万智能体围着人类画好的地图转88小时,核完Lean就叫解决世纪难题,是科学庸俗;再指控大厂吸走学者私有会话和预印本线索,把学术劳动收成新闻稿。15000赞,160万浏览,战火从数学圈烧到整条时间线。 所以现在桌上三盘瓜: 1AI到底有没有“懂”流体,还是只会把已知构造用算力焊死 2Codex/Claude当研究助手时,你的未发表思路算谁的 3百年难题能不能先发推、再等数学家慢慢读那两百多万行机器证明 定理对不对,社区会查。
先爆开的不是奇点,是发现权、工具日志和发布会谁说了算。
显示更多
go fuck yourself @sama claiming that you solved navier stokes because 10000 agents ran in circles for 88hours on a multimillion dollar gpu cluster to formalize in lean a blowup case under controlled external forcing is pure scientific vulgarity the clay mathematics institute millennium prize does not ask m whether you can artificially force a singularity in a fluid by injecting an ad hoc smooth external forcing term f(x,t) to twist the vortex until it breaks the real problem questions the fundamental stability and global smooth existence for 3dimensional incompressible euler & navier stokes equations under natural conservation laws and viscous dissipation alone using a mathematical loophole on forced equations to parade a century old victory is a major conceptual scam Altman technically & epistemologically what you present as an agi breakthrough is nothing more than bruteforce combinatorial autoformalization the ai did not understand fluid mechanics it simply navigated a continuous search space previously mapped out and constrained by the monumental work of human mathematicians like tristan buckmaster/ levent alpöge / diego córdoba or tarek elgindi coordinating 10000 agents to check the logical consistency of a 100 page proof via lean is a software engineering feat and computational parallelization triumph not an intrinsic scientific discovery it is the victory of the compute bulldozer over abstract human intuition repackaged for the public as a higher mathematical consciousness to this theoretical imposture you add a disgusting ethical and industrial cynicism taking advantage of private codex sessions and informal preprints from academic researchers to siphon their research leads and then trying to redact or erase the contribution of levent alpöge under the pretext that he works at rival anthropic is intellectual serfdom openai behaves like a feudal lord of silicon appropriating the cognitive subsistence of independent scholars threatening their careers behind closed doors if they protest and turning community academic labor into a privatized pressrelease this entire staged event serves a desperate financial agenda in a pre ipo panic facing the slowdown of scaling laws and growing investor skepticism over the profitability of foundational models openai needs to manufacture an artificial sputnik moment claiming to solve a millennium prize without immediately submitting the proof to traditional peer review means using the prestige of fundamental mathematics as cheap marketing fuel to inflate a delusional valuation!!! real science is not a clout chase on social media or a compute spike spent to rob the clay mathematics institute it is a quest for elegance physical truth and universal rigor to decode reality true artificial intelligence will not emerge from hostile corporate takeover of academic work hidden behind computational bruteforce but from architectures capable of generating new conceptual paradigms by masquerading constrained formalization as the collapse of physics greatest mysteries you did not solve navier stokes you only proved how far silicon valley will go to prostitute scientific integrity for capitalist spectacle
显示更多