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

普林斯顿大学这项研究的影响已经远远超出了学术界的范围，它正在推动整个机器学习领域向更加理性和高效的方向发展。这种变化就像是从粗放式的"大炼钢铁"模式转向精细化的现代工业生产，注重的不再是规模和复杂性，而是效率和适用性。

公开信息显示，庞若鸣1995年从上海市向明中学毕业后，被免试保送至上海交通大学“教改联读班”学习计算机科学与技术专业。1998年以“优异生”身份本科毕业后，庞若鸣赴美深造，先后获得南加利福尼亚大学硕士学位（2000年）和普林斯顿大学博士学位（2006 ...

然而，普林斯顿团队的这项研究却发现了一个令人意外的现象：推理时间的增加确实像一把双刃剑。当AI的"思考过程"被隐藏起来时，给它更多时间思考确实能增强安全性。但如果这个思考过程被暴露出来，情况就完全相反了——推理时间越长，AI反而越容易被攻击者利用，安 ...

2025新财富创富榜：张一鸣取代钟睒睒成首富，雷军家族资产涨超九成！从前十强来看，AI成为榜单变化的核心引擎。 AI的造富效应还体现在梁文锋身上——跻身富豪榜top10。真相只有一个：AI不是未来，而是现在！

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

大模型无法替代码农！普林斯顿芝大惊人发现：GPT-4解决GitHub编程问题成功率为0 【导读】ChatGPT之类的AI编码工具来势汹汹，Stack Overflow又裁员了！不 ...

LK-99最新进展，普林斯顿大学Schoop Lab复现失败，还提出一个新观点： 根据形成能计算，在铅原子位点掺杂铜似乎不可行。 特别之处在于，他们提到 ...

在普林斯顿，学校管理人员也对中国游客的大量涌入采取了相关措施，他们在校园竖起了中文的指示牌。有一栋楼里甚至贴起了一张微信二维码，以方便游客们在中国最火的社交平台上了解更多关于该校的信息。有中国学生给学校赠名“王子屯”，以示其高贵冷艳的校园环境。