2024年和2025年AI在国际数学奥林匹克中的成绩如何？
AlphaProof在2024年IMO达到银牌水平，2025年更先进的DeepThink模型达到金牌水平，但嘉宾提醒这并不代表超人智能。
Live from ICM 2026: What Is Math For in the Age of AI?
（翻译）来自ICM 2026现场：人工智能时代的数学何用？
资讯摘要
In this special live recording from the International Congress of Mathematicians in Philadelphia, July 2026, the central question discussed was what do mathematicians really value about doing mathematics in the first place?
AI 摘要
Quanta Magazine播客《The Joy of Why》在2026年费城国际数学家大会现场录制，主持人Janna Levin与Steven Strogatz邀请Akshay Venkatesh、Ravi Vakil和Alex Kontorovich讨论AI参与数学带来的变化。嘉宾谈到AI在国际数学奥林匹克中的表现、自主发现Erdős单位距离猜想反例等进展，并反思竞赛文化、定理价值以及数学中证明、理解与叙事的重要意义。
AI 问答
AI近期在Erdős问题上有什么成果？
GPT自主发现了一个反例，否证了Erdős单位距离猜想的预期指数；约一周后人类数学家借鉴其技术，也否定了一个相关的sum-product问题。
数学家担心AI生成的错误证明带来什么问题？
部分人担心大量看似合理但可能有错的AI证明需要投入大量人力去检验，可能消耗数学家精力。
更多资讯
Mistral 与 Mozilla 合作推出 Firefox Smart Window
自主团队被捧过头了？Simon Rohrer 直言：你们交付的根本不是产品和Jeff Dean押注同一方向，27岁清华助理教授创业，两个月融资数亿
别闹，几粒盐就能立起高脚杯？你是不是用胶水了？
不止一颗CPU？智能体经济时代，Arm对算力平台有了新理解
无效的管理者和疲惫的基层：浅论考核指标的漂移
关于项目交付的思考：部署是最后两公里，验收才是最后一公里
AI不会放缓
OpenAI故意欠技术债，等Codex来还：仅2名工程师，把核心存储从Python重写成Rust
Uniswap v4上的恶意Hooks8点1氪丨选手赛中失禁污染赛道，HYROX中国宣布整改；机构预计美股明年将暴跌21%；苹果推出Siri人工智能
语义翻译的操作日常：把”我觉得不对”变成”机器能查”一款在浏览器里运行、部署在自己服务器上的 SQL 客户端工作流可以自我进化了，英伟达开源 SoL-Pi，每小时省13.5刀！
CoinShares Q2 挖矿季报：矿企倒贴钱退出担心代码被拿去训练！英伟达：限制员工使用 Claude；一汽将成广汽第二大股东！南北丰田拟合并；苹果回应「iPhone 18 Pro破发」
百度做了一堆AI产品，却没有一个能代表百度？
AI攻克世纪数学难题，顶尖数学家抱团抵制，而他们担心的并不是丢了工作
HYROX比赛腹泻这事，运动员拼归拼，但主办方不能装看不见
从接住告警到自我进化：快手智能运维助手实践｜QCon上海
探秘柬埔寨，千年吴哥窟
号称人类造的最后一个 AI 要来了，刷屏全网的 RSI 是什么AWS 称无法恢复中东部分可用区资源和数据的访问
Python 拥抱 RISC-V：CPython 正式纳入 Tier 3 平台碧桂园服务与支付宝全面深化合作，共筑“智慧物业”数字化新标杆
微软 CEO 纳德拉：AI 应用的机会正在变大，模型成本将继续下降
从担心AI失控 到AI造福人类：比尔盖茨怎么想Anew Labs已完成 2.9 亿美元融资，红杉中国、高瓴、IDG、五源、高榕等参与
微信桌面端变“三折叠”，可能是在给小微腾位置手机替我跑了一整套流程！我就说了一句话，AI执行了100步
自主团队被捧过头了？Simon Rohrer 直言：你们交付的根本不是产品和Jeff Dean押注同一方向，27岁清华助理教授创业，两个月融资数亿别闹，几粒盐就能立起高脚杯？你是不是用胶水了？不止一颗CPU？智能体经济时代，Arm对算力平台有了新理解无效的管理者和疲惫的基层：浅论考核指标的漂移关于项目交付的思考：部署是最后两公里，验收才是最后一公里AI不会放缓OpenAI故意欠技术债，等Codex来还：仅2名工程师，把核心存储从Python重写成RustUniswap v4上的恶意Hooks8点1氪丨选手赛中失禁污染赛道，HYROX中国宣布整改；机构预计美股明年将暴跌21%；苹果推出Siri人工智能语义翻译的操作日常：把”我觉得不对”变成”机器能查”一款在浏览器里运行、部署在自己服务器上的 SQL 客户端工作流可以自我进化了，英伟达开源 SoL-Pi，每小时省13.5刀！CoinShares Q2 挖矿季报：矿企倒贴钱退出担心代码被拿去训练！英伟达：限制员工使用 Claude；一汽将成广汽第二大股东！南北丰田拟合并；苹果回应「iPhone 18 Pro破发」百度做了一堆AI产品，却没有一个能代表百度？AI攻克世纪数学难题，顶尖数学家抱团抵制，而他们担心的并不是丢了工作HYROX比赛腹泻这事，运动员拼归拼，但主办方不能装看不见从接住告警到自我进化：快手智能运维助手实践｜QCon上海探秘柬埔寨，千年吴哥窟号称人类造的最后一个 AI 要来了，刷屏全网的 RSI 是什么AWS 称无法恢复中东部分可用区资源和数据的访问Python 拥抱 RISC-V：CPython 正式纳入 Tier 3 平台碧桂园服务与支付宝全面深化合作，共筑“智慧物业”数字化新标杆微软 CEO 纳德拉：AI 应用的机会正在变大，模型成本将继续下降从担心AI失控 到AI造福人类：比尔盖茨怎么想Anew Labs已完成 2.9 亿美元融资，红杉中国、高瓴、IDG、五源、高榕等参与微信桌面端变“三折叠”，可能是在给小微腾位置手机替我跑了一整套流程！我就说了一句话，AI执行了100步