新闻资讯7
陶哲轩:AI+人类专家改变科研方式
AGI Hunt
AI 摘要
陶哲轩称,AI 在 Erdos 问题网站实验里,让六个「未解决」问题现已有答案。他觉得 AI 适合处理日常工作,像文献搜索。其价值是解放数学家精力,「AI+专家」或改变科研方式。
阅读原文 · AGI Hunt
AI 找到了六个 Erdos 数学问题,陶哲轩:AI + 人类专家才是真正改变科学研究的方式
菲尔兹奖得主陶哲轩分享,AI 在 Erdos 问题网站实验中,帮数学家发现六个原本标记为「未解决」的问题其实已被解决。他认为 AI 有价值的应用是处理枯燥日常工作,如文献搜索。

关注公众号
扫码关注
第一时间收到每日精选
相关文章
推荐文章9
陶哲轩:AI开启数学2.0时代
本文报道菲尔兹奖得主陶哲轩发表《数学2.0》演讲,梳理近期AI接连攻克重大数学难题的进展,提出AI将数学带入证明过剩的新时代,警示人类不能丢失对数学的理解,呼吁人机合作增强认知。
新智元
新闻资讯9
Gemini 4 Argon实测,谷歌归来
本文带来谷歌新发布Gemini 4 Argon大模型的多场景实测,对比竞品性能价格,验证其物理推理能力,同时曝光该模型现存问题。
新智元
新闻资讯9
谷歌Gemini 4 Argon全球可用
本文报道谷歌正式全球上线Gemini 4 Argon,详细说明了开放范围与定价规则,放出大量谷歌内部及合作方的实际应用案例,覆盖多领域,回应了此前对该模型实用性的质疑。
AGI Hunt
新闻资讯9
王兴兴:对AI不够相信是最大错误
宇树科技创始人王兴兴在2025工博会圆桌论坛上,坦诚反思过去十几年最大错误是对AI不够相信,分享了具身智能、人形机器人领域的核心判断,预判临界点最快一两年到来。
AI前线