新闻资讯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 开展研究，同时保留伯克利教职。他是理论计算机科学顶尖青年学者，学术成就卓越。

本文整理自The Verge《Decoder》播客对Cloudflare CEO的访谈，披露今年5月互联网自动化流量已超过人类流量，预测五年后将达千倍，讨论AI时代互联网新商业模式、内容付费、AI爬虫拦截等热点议题。

本文报道AI初创公司TypeSafe AI发布的模型Jev上线仅9天，就传出投资者给出超百亿美元估值，剖析资本追捧低价薄利模式的原因，同时梳理业内对其护城河的质疑，探讨大模型赛道资本动向。