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

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

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

【新智元导读】迄今为止最强大的开源定理证明器登场！Goedel-Prover-V2仅用8B参数击败671B的DeepSeek-Prover，并再次夺下数学PutnamBench冠军。十位核心贡献者，八大顶尖机构，让AI形式化证明再破纪录。

7月14日，国际篮联三人篮球挑战赛廊坊站继续进行。经过淘汰赛的激烈争夺，塞尔维亚的利曼队和美国的普林斯顿队分别夺得冠军、亚军，来自中国 ...

施一公，生于1967年，出生地为河南省一个名叫小郭庄的偏远村庄，那个地方的总人口甚至还不到2000人。为了给家庭带来更好的生活，他的父母决定在施一公年仅5岁时带着全家搬离了村庄。

普林斯顿大学出版社（Princeton University Press, 以下简称 PUP）中国办公室目前开放招聘一名全职内容营销经理（Content Marketing Manager）。如果你对学术研究感兴趣，但是又希望在学术圈以外探索更多的可能性，这会是一份非常理想的工作。 我们是谁？ 普林斯顿大学出版社成立于1905年，是国际上享有盛誉 ...

当然，普林斯顿大学、普林斯顿大学出版社与普林斯顿高等研究院，虽然都叫“普林斯顿”，其实并不是一回事。 笔者10多年前有一次路过纽约 ...

普林斯顿大学（Princeton University），简称“普林斯顿”，是一所私立研究型大学，位于美国东海岸新泽西州的普林斯顿市，也是常春藤联盟成员。下面为大家分享普林斯顿大学校训，欢迎欣赏！ 普林斯顿大学校训 普林斯顿大学的正式校训是拉丁语Dei sub numine viget，迄今，这个校训以古体大写拉丁文写 ...

2017年被聘至普林斯顿大学，实现了自己的职业梦想：做出在世界上有影响力的科研成果。 而现在，为了第三个梦想，颜宁选择了深圳。

在普林斯顿生活的乐趣包括天时，地利与人和三方面。我对普林斯顿的气候十分满意。当然，普林斯顿的气候没有加州的好。但是自从笔者的工作地点来看——最早从1948年从中国广州往美国康内尔大学攻读大学二年级还是1951年到芝加哥大学攻读研究院，随着1955年拿得博士学位以后到波士顿的MIT当 ...

普林斯顿学生一度占领学校行政楼（观察者网讯）“与3.4万巴勒斯坦人的死亡相比，这些令人厌恶的恐吓策略毫无意义。在没被强制驱离前，我们不 ...