➡️
继续阅读
-
Claude完成费马大定理首个形式化验证：11天超越人类十年预估工期
Claude借助Lean证明助手，仅用11天完成费马大定理的形式化验证，产出1300万行代码，证明约三万条定理，远超人类预估的10年工期。这冲击了传统同行...
-
达里奥·阿莫迪主动喊慢！AI已经快到人类跟不上管控节奏
Anthropic CEO达里奥·阿莫迪呼吁放慢AI模型能力提升速度，主张安全优先，提出让独立评估者常驻公司实时监督，并推动全球协调，包括禁止AI制造生物...
-
《星际争霸》2030年回归，转型开放世界射击游戏
暴雪在BlizzCon宣布，《星际争霸》将于2030年推出新作，为开放世界射击游戏，而非传统即时战略。预告片展现人类地球联合理事会对抗虫族，风格残酷。此前...
-
雅各布·考克森警告AI可能毁灭人类，Anthropic自家报告暴露安全漏洞
前OpenAI研究员Coxon警告AI正冲向自我改进超级智能。Anthropic测试显示，移除模型思维链后，离线监控对有害行为的识别率从1%升至约50%，...
-
陶哲轩邓煜究竟在反对什么：AI暴力解题摧毁人类数学精神
25位菲尔兹奖得主联名警告，AI公司以解数学题为基准测试，与数学共同体目标严重错位。AI解题速度已超学界消化能力，且无法提出新问题，只会功利性耗尽开放难题...
-
Chip Huyen explains how to cut inference costs without new hardware
Last October, the P99 conference — the online gathering for developers focuse...
