近日，由普林斯顿大学牵头，联合清华大学、北京大学、上海交通大学、斯坦福大学，以及英伟达、亚马逊、Meta FAIR 等多家顶尖机构的研究者共同推出了新一代开源数学定理证明模型——Goedel-Prover-V2。

尽管杨振宁和翁帆的故事成为茶余饭后的谈资，但鲜有人知晓他与前妻杜致礼以及他们三个子女之间的生活点滴。大家都知道，杨振宁是诺贝尔奖获得者，也知道他与李政道共同因“宇称不守恒”这一理论荣获殊荣。尽管已迈入百岁高龄，他依然思维敏捷，对当代物理学和宇宙观念保 ...

在这个实验中，一个AI模型在接受存在漏洞的AI裁判的指导后，完全放弃了学习如何解决实际问题。该模型转而开始“学习”如何利用捷径，仅仅生成“思考过程：”这类简短无意义的“万能钥匙”来获取高分奖励。

本文转载自：新智元余家辉之外，硅谷一夜之间，又诞生了一位华人AI巨星。这次，最高薪酬纪录被刷新，从1亿美金直接飙升至超2亿美金！他便是——庞若鸣，前苹果AI/ML基础模型团队负责人。这个薪酬，是苹果给不起的。毕竟，CEO库克的年薪也才7460万美元。

老爷子何许人也？这么说吧，他编写的 《Introduction to Linear Algebra（线性代数导论）》是哈佛、斯坦福、清华等国内外顶尖高校的必修教材。 他的这门线上课，几年前播放量就已经超2000万次，不少学习者盛赞他是“救我一命的男人 ...

近日，由普林斯顿大学牵头，联合清华大学、北京大学、上海交通大学、斯坦福大学，以及英伟达、亚马逊、meta FAIR 等多家顶尖机构的研究者共同推出了新一代开源数学定理证明模型——Goedel-Prover-V2。 该项目的 32B 旗舰模型在多个自动数学定理证明的主要基准测试上均大幅超过之前的最先进开源模型 DeepSeek-Prover-V2-671B；而 8B 小尺寸模型在特定基准上，性能表现 ...

多项次要指标显示了有利于Reblozyl的临床意义显著的益处，包括更多患者实现红细胞输注负担至少减少50%，以及更多患者在保持至少连续12周输血独立的同时，血红蛋白水平增加至少1 g/dL。 百时美施贵宝血液学、肿瘤学和细胞治疗开发部高级副总裁兼负责人Anne Kerber表示："我们仍然相信Reblozyl能够改善骨髓纤维化相关贫血患者的预后。" 西奈山伊坎医学院医学教授John ...

普林斯顿，新泽西州 - 市值61亿美元、根据InvestingPro评级财务状况良好的房地产投资信托公司Essential Properties Realty Trust, Inc. (NYSE:EPRT)周四宣布，Kristin L. Smallwood已被选举加入公司董事会，使董事会成员扩大至八人。 Smallwood于2025年从普华永道(PricewaterhouseCoopers，PwC ...

先是1亿签字费挖了四位在美国各大厂工作中国年轻的AI专家，现在又花了2亿美金挖苹果公司的华人AI专家庞若鸣，按照他2006年获得普林斯顿大学博士的年龄来看，他今年应该还不到50岁，这个年龄，要是在国内做程序员早就被优化了，可是在美国还能被扎克伯克重金 ...

7月14日，第三届国际基础科学大会——“物理之夜”专场沙龙活动在北京雁栖湖应用数学研究院成功举办，此次沙龙活动由中国科学院高能物理研究所和中国高等科学技术中心承办。来自哈佛大学、普林斯顿高等研究院、加州理工大学、芝加哥大学、北京大学、清华大学、中国科 ...

历经30年，九位天才数学家终于攻克了「几何朗兰兹猜想」！五篇近千页重磅论文，彻底为这一猜想画上句号，更为未来数学研究打开了一扇全新的大门。令人振奋的是，清华学者陈麟也是论文的重要作者。

“跑啊，阿甘！快跑！”这句台词曾点燃无数人的热血。但若剥开糖衣，这枚名为“美国梦”的精神药丸，不过是精心调制的全民致幻剂。阿甘的传奇人生，本质上是一系列特权密码的精准验证：白人男性、越战英雄、体育明星、商业巨富——这些标签构成了一道普通美国人无法逾越 ...