近日，由普林斯顿大学牵头，联合清华大学、北京大学、上海交通大学、斯坦福大学，以及英伟达、亚马逊、Meta FAIR 等多家顶尖机构的研究者共同推出了新一代开源数学定理证明模型——Goedel-Prover-V2。
独家获悉，全球跨境支付与金融平台Airwallex（空中云汇）近日完成3亿美元F轮融资。投资方包括Square Peg、DST Global、Blackbird、Airtree、Salesforce Ventures等风投机构，还有多家养老基金，Visa Ventures作为战略投资者参与。
Andreessen Horowitz（简称a16z）是全球最顶尖的风险投资公司之一，由互联网先驱Marc Andreessen和管理大师Ben Horowitz共同创立。a16z以其“创始人友好”的理念和超越资本的投后服务而闻名，不仅投资了Facebook、Airbnb、OpenAI等众多科技巨头，还通过发布深度分析来引领行业思想。
图灵奖大佬向97年小孩哥汇报，这是什么魔幻剧情？小扎砸143亿请来的「数据标注少年」，已荣升Meta首席AI官。一边是小扎上亿美元年薪offer引进新员工，另一边是Meta老将GPU告急不得不熬夜借卡差点头秃。网友们痛呼：太为Meta FAIR的员工难过了……
本文第一作者是上海交通大学计算机学院三年级博士生程彭洲，研究方向为多模态大模型推理、AI Agent、Agent 安全等。通讯作者为张倬胜助理教授和刘功申教授。
在长达数周的高强度「挖角」之后，Meta 今天凌晨宣布正式成立超级智能实验室（Meta Superintelligence Labs，简称 MSL）。Meta CEO 马克·扎克伯格在当时时间周一发布的一封内部信中透露，MSL 将整合公司现有的基础 AI 研究（FAIR）、大语言模型开发以及 AI 产品团队，并组建一个专门研发下一代 AI 模型的新实验室。
在大语言模型（LLM）加速进入法律、医疗、金融等高风险应用场景的当下，“安全对齐”不再只是一个选项，而是每一位模型开发者与AI落地者都必须正面应对的挑战。
AI生物学数据，又迎来重磅里程碑！
你有没有想过，为什么有些AI产品一上线就获得用户疯狂追捧，而另一些技术看起来更先进的产品却在市场上反响平平？为什么Cursor这样的AI代码编辑器能够席卷开发者社区，而许多功能更强大的AI工具却始终无法获得用户信任？
从 Airbnb 到 Figma，从 Ethereum 到 Scale AI，Thiel Fellowship 一直是“小天才”创业者的“秘密起点”之一。Thiel Fellowship 由 PayPal 创始人 Peter Thiel 2011 年创办，每年为每一位入选者提供 10 万美金奖金和“辍学自由”。
