新闻资讯8

华人女学霸AI Putnam竞赛12题全对

新智元2026-01-10

AI 摘要

24岁华人女学霸Carina Hong打造的AxiomProver在2025 Putnam数学竞赛12题全对获满分，自主Lean证明公开。同时，GPT - 5.2 Pro数学表现惊艳，陶哲轩等认为AI已取得重要里程碑，奇点临近。

关注公众号

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

公众号专辑

人生周报v094：AI与人生感悟

本文是李继刚的第094期人生周报，收录每周优质观点句子，涵盖AI Agent发展、成长认知、生活感悟，推荐书籍启发AI时代思考。

本文整理英飞凌ICIC 2026创新大会核心内容，围绕AI从云端落地物理世界的产业趋势，探讨半导体产业转型方向，分享多领域落地实践与最新产业数据

菲尔兹奖得主陶哲轩发声呼吁放缓AI发展，其博客引发数学界关于AI冲击下传统研究体系存亡的大辩论，探讨数学界的转型出路。

本文是甲子光年九周年纪念文章，作者甲小姐通过两个核心行业数据，提出AI刚进入“第二序章”远未到下半场，拆解八大核心问题，纠正当前市场的两种极端判断。