开源动态8

DeepMind开源数学猜想库

新智元2025-06-12

AI 摘要

谷歌DeepMind：开源首个形式化数学猜想库，为AI破解数学难题铺路。陶哲轩：形式化能让AI理解问题，这个库是‘标准答案模板’。该库还邀各方贡献，助力攻克世纪难题。

关注公众号

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

公众号专辑

谷歌AI踩油门：Gemini冲刺TPU上天

本文报道谷歌近期AI业务最新动态，涵盖Gemini 4大模型研发进展、TPU上太空测试计划，以及工程师因AI发展太快辞职事件，展现谷歌AI全面加速的现状。

本文是白鲸开源CEO郭炜参加Snowflake World Tour上海站后的参会总结，提炼出三个值得关注的行业变化，洞察Agent时代数据平台的边界重构趋势。

本文整理了Linux Foundation CEO Jim Zemlin在华为HC2026大会的演讲，揭秘AI大规模投资潮背后的技术底座，分析开源的商业价值，呼吁企业参与开源生态建设。

本文解读发表于《Cell》的生物医学世界模型研究，梳理该方向核心逻辑：AI生物应用从静态识别转向干预结果动态推演，介绍现有进展与核心挑战，分析其研究价值。