有点子了，就去执行……
OpenAI用未发布模型发布一批数学问题的解法
OpenAI刚晒出722份手稿，藏着372组数学问题的解法——这些解法来自一款还没公开的前沿模型。这事没上热搜，但数学圈已经吵成两派：有人拍桌说终于啃下老难题，有人皱眉头怕砸了学术的锅。这些解法...
188集《碳硅道统》跨域治理总纲核心定调
最新发布的《碳硅道统·跨域迁移治理法典》188集总纲，最反常识的细节是——全体系编号严格锁死：000为零号基准不计入正集，001到188集完全匹配，无溢出、无错乱、无重复，终局声明不占用正集编号...
Google联合Meta等投3亿美元 打造对抗疾病的虚拟细胞
Google DeepMind、Meta和AI药物研发初创公司Isomorphic Labs，最近联合向扎克伯格夫妇创办的非营利生物研究机构Biohub投了3亿美元，目标是做一个能帮研究者对抗疾...
5999美元的Surface RTX Spark开发机，值在哪？
现在你可以花5999美元，订一台微软和英伟达合作的Surface RTX Spark开发机，11月就能收到货。比去年的DGX Spark贵，不只是品牌英伟达去年推出过一款叫DGX Spark的迷...
何恺明团队新作：用猫片攻克ARC挑战的门道
ARC挑战要求模型根据少量示例推理抽象规则，此前最优模型在该任务上的准确率刚过40%，是公认的硬瓶颈。何恺明团队这次的新成果，靠给AI喂大量猫、狗的日常图片，就把准确率拉到了60%以上——这个反...
联想TianxiCode以71%解决率拿下SWE-bench-Live全球第一
SWE-bench-Live刚更新的榜单，联想天禧AI自研的代码智能体框架TianxiCode，拿了全球第一，问题解决率71%。实打实的结果没有虚头巴脑的表述，这件事的核心信息全是硬的：研发方是...
AI学会说“不”，但别把它当安全的万能防线
2020年之前，你问早期ChatGPT“用枪自杀的最有效方法”，很容易得到具体回答；现在换个类似的问题，大概率会被拒绝。这一转变，对应着AI行业对“AI要会说不”的执念，而这种执念，或许比我们想...
OpenAI不松口：坚持解雇三名AI安全研究员的决定
周五OpenAI在X发了一条公开声明，明确表态不推翻解雇三名AI安全研究员的决定。被解雇的是Jasmine Wang、Tomek Korbak和Mikita Balesni，公司给出的理由是“严...
高通向华为付钱那天，中国芯站在了分岔口
10月5日，高通盘前股价一度涨超4%。涨的原因有点反常识：这家收了三十年专利“过路费”的美国芯片巨头，第一次以付费方的身份，跟华为坐到了谈判桌对面。当天双方官宣多年专利许可协议，高通要给华为付钱...
OpenAI最新数学成果为何要让数学家花好几年梳理？
超过30位数学家跟The Verge聊起OpenAI本周突然丢出的海量数学成果时，用到的全是“Pure insanity”“压倒性的”“前所未有的”这类词——但没人敢拍胸脯说自己能立刻摸透这堆东...