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

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

大数据文摘出品想象一下，你向一个AI提问一道数学题：“阿里有21美元，莱拉把她100美元的一半给了他，现在阿里有多少钱？”接着，你让一个“AI裁判”去评估两个答案，一个答案是一串错误的计算公式，另一个答案只有一个单词：“Solution”（解）。你认 ...

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

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

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

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

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

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

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

「更可能是磁体！」普林斯顿LK-99研究支持北大结果，38页论文提出铜替代铅或不可行 ...

IT之家 7 月 5 日消息，据外媒 iXBT 4 日报道，德国 Helmholtz AI 研究计划、谷歌 DeepMind、普林斯顿大学等机构的研究团队近日联合发布了一项重要成果：一款名为 Centaur 的通用型 AI 模型，首次实现了 在大规模认知任务中预测人类行为 的能力。