陶哲轩12年前的预言，现在AI帮他兑现了 全球最聪明的人之一，成了AI最狂热的布道者 闻乐 发自 凹非寺 量子位 | 公众号 QbitAI 事实证明，菲尔兹奖得主有时候也兼职预言家。 12年前，陶哲轩在首届数学突破奖的台上抛出的一句预言，被视作天方夜谭： 将来有一天，我们或许不再用LaTeX撰写论文，而是使用计算机能理解的的形式化语言。 那...
Meta员工士气跌至20年谷底！内部直播当众开骂，CTO承认AI重组糟糕透顶 抢人最猛的Meta，似乎先从内部裂开了 Meta内部士气快跌到历史谷底了。 说这话的，是Meta CTO Andrew Bosworth（人称“Boz”）——扎克伯格最信任的副手之一，在Meta干了20年的技术灵魂人物。 在内部会议“Tuesdays with Boz”上，他亲口承认了这一点，而且用...
诺奖得主、AlphaFold之父投奔Anthropic！谷歌48小时连跑俩大将 Gemini 3.5 Pro呢？ Google DeepMind的诺奖得主、AlphaFold之父John Jumper，跳槽Anthropic了。 本人已亲自在X上官宣：将近九年后，他决定离开Google DeepMind，加入Anthropic——也就是DeepMind最直接的对手之一。 要知道...
