新闻资讯8

2025哥德尔奖揭晓

新智元2025-06-10

AI 摘要

2025年哥德尔奖颁给Eshan Chattopadhyay和David Zuckerman。他们2016年论文构造双源提取器，解决近30年难题，还建立伪随机性子领域联系，获高度认可。

关注公众号

扫码关注
第一时间收到每日精选

公众号专辑

Anthropic两周揽四将，AI抢人到理论层

AI人才抢夺战升级，Anthropic两周揽四将，包括诺奖得主John Jumper等。7月1日，UC伯克利计算机科学部掌门人Jelani Nelson加入Anthropic。当下AI竞争从模型能力转向算法理论，‘休假入职’成潮流。

据机器之心求证，清华「姚班」校友、伯克利助理教授陈立杰已全职加入 OpenAI 开展研究，同时保留伯克利教职。他是理论计算机科学顶尖青年学者，学术成就卓越。

李飞飞押注的空间智能是世界模型主流路线之一，旨在让AI生成可操作三维世界。但当前AI生成世界存在“中看不中用”问题，构建“站得住”的世界面临速度与状态瓶颈，生境科技等实践提供了解决思路。

英特尔三年前提出玻璃基板封装将成下一代先进封装关键路线，7月25日宣布与蓝思科技合作推进。玻璃基板优势多，曾受易碎性困扰，现此问题已基本解决，TGV工艺良率成量产关键，预计2027年订单释放。