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证明需要投入大量人力去检验，可能消耗数学家精力。
更多资讯
旧消费品，正长出新生意
AI风口之下，明星们又想“挤上”牌桌了
OpenAI万亿IPO推迟背后 四本账与三条投资路径Build a serverless PII redaction pipeline with Amazon Bedrock Data Automation
读完斯坦福116页AI实施手册，我最大的感受是：别再盯着模型了英国殖民之前的澳大利亚原居民人口约 222 万
AI不会放缓
黄仁勋再谈AI危险论：中国会成为全球开源重要力量
字节跳动CEO梁汝波：豆包、飞书与火山引擎整合后 将加大企业市场投入
就业率砍半，年轻人靠什么翻盘？AI时代，这三点越早做越好
产品定义意义上的一级场景：四维模型无问芯穹联合清华、上交正式开源具身端侧推理引擎APXInf，Pi 0.5性能SOTA
想把喜欢的故事做成动画？我用 AIXTV 把《聊斋》做出来了美国军方首次证实在太空部署了武器碧桂园服务与支付宝全面深化合作，共筑“智慧物业”数字化新标杆地平线第1500万颗征程芯片搭载大众 ID. AURA T6，HSD V2.1 即将推出58秒出杯，能拉花的咖啡机器人，在全球70国卖出600万杯AI大模型工场2026 AI产业生态大会今日举办，大咖同台共探智能生长与产业共生
场景越多 ≠ 产品越好，：从抽象价值到真实生活的定义结构
找不到小红书爆文选题？去淘宝差评区抄！
二次元“赛博分身”撬动日本市场：玩家“沉默”的AI陪伴产品，凭什么次留60%？Announcing instance preference lists for Amazon SageMaker AI training jobs
QQ 飞车 Agentic 研发转型过程中的Loop Engineering被英伟达点名的杭州团队，补上了AI for Science的「最后一公里」
派早报：Steam Frame 开启预购、WPS 多端支持 Markdown 等一款在浏览器里运行、部署在自己服务器上的 SQL 客户端
New insights from Google’s AI & Economy ATLAS
稳定币挤兑与套利集中化
谁在给我们制造 AI 焦虑云岫资本合伙人宋旭文：量子计算：工程化与产业化并进，拐点将至 | 36氪 2026产业未来大会