文婷* 2026-10-11 15:52:16 来源：量子位 文婷 发自 凹非寺 量子位 | 公众号QbitAI 数学2.0时代已至。** 刚刚，数学界的领军人物、菲尔兹奖得主陶哲轩正式发文： AI正在让数学证明变得泛滥，建立在证明稀缺之…

针对 OpenAI 报告称其未发布模型解决四维挂谷猜想等数百个数学难题，陶哲轩评论认为 AI 时代的证明缺乏传统数学的研讨与消化过程，还迫使研究者秘而不宣，数学 2.0 时代应从更全面的视角衡量数学进步，提升学术阐释、社区建设与开辟新方向的价值。

林, 方舟* 2026-10-06 15:59:17 来源：量子位 Jay 发自 凹非寺 量子位 | 公众号 QbitAI 不er，陶哲轩咋成AI减速派了？？ 是的，就是那个曾经最爱AI、逢人就安利AI工具的男人，**一夜之间，漂移到了A…

一次性发布 700 多个文件并非学术成就的体现，而是权力的炫耀。** 我们敦促数学家们停止与 OpenAI 的合作，回归以人类理解为中心的科学理念。** 这是人类数学协会在 OpenAI 发布大量数学研究成果后，专门写了一篇声明用来回应这件…

让开放模型与可负担的算力成为数学研究的共享基石]

未来的AI不仅能解决问题，还能提出有价值的洞见、建立新的概念框架，让数学家在此基础上继续探索。]

25位菲尔兹奖得主联名吹哨]

从 FunSearch 把 cap set 下界从 496 推到 512，到 AlphaEvolve 五十六年来首次改进 4×4 矩阵乘法，再到陶哲轩带着 AlphaEvolve 一次测了 67 个问题——AI 正在从「解出已知的题」走向「产出人类未知的新构造」。本文梳理这条机器发现路线的方法演进与代表结果，也整理 METR 与陶哲轩本人最直接的质疑：这到底是数学发现，还是高级暴力搜索。

从 IMO 奖牌级表现到一次发布 372 项结果引爆抵制，AI 证明在 2026 年接连突破也接连越界。本文梳理 AlphaProof、Gemini Deep Think 与 OpenAI 最新成果、Lean 形式化生态的进展，厘清机器辅助证明当前的能力边界，以及数学社区围绕「数学 2.0」的核心争论。

2024 年 AlphaProof 以 28/42 拿下奥数银牌，靠的是在 Lean 里写机器可验证的证明；2025 年 Gemini 与 OpenAI 模型以自然语言证明达到金牌线。为什么 DeepMind 先走了一年形式化的「弯路」？陶哲轩的 Lean 实践给出了另一重答案。

包括陶哲轩、新晋得主邓煜在内的 25 名菲尔茨奖得主发表公开信《A Severe Misalignment of AI in Mathematics》，批评 AI 公司最近的所作所为。公开信称，“过去几个月 LLM 的数学能力有飞跃式提升，…

阶跃终端正式发布大模型原生智能体手机STEPX Neo，采用复古未来设计，配备侧边AI键与Step AOS系统，支持Loop循环执行、自主Tool Call及Skill和MCP工具调用。

听雨* 2026-10-11 13:23:47 来源：量子位 听雨 发自 凹非寺 量子位 | 公众号QbitAI 今年7月，王虹、邓煜在费城国际数学家大会上拿下菲尔兹奖。 消息刷屏那几天，Anthropic员工Alek Dimitriev…

文婷* 2026-10-10 16:54:08 来源：量子位 文婷 发自 凹非寺 量子位 | 公众号 QbitAI 短短24天，融资额膨胀了近**22倍**，估值翻了**37.5倍**。 Jev掀起的风暴，已经变成真金白银了！ 就在今天，…

📱曝苹果削减 iPhone 18 Pro 订单，供应链称总量变化不大 💰苹果调整并购团队架构，7 年来首次重新归入财务部门 🫘豆包据称在建设水电燃气缴费等生活服务能力 💸小米 17 Ultra 官网全系涨价 1000 元，华为 no…

文婷* 2026-10-10 16:52:16 来源：量子位 文婷 发自 凹非寺 量子位 | 公众号 QbitAI 果然夜没白熬，Google家的大香蕉终于更新了！ 凌晨，Google突然发布了新一代生图模型**Nano Banana 2…

FrontierMath 发布时最好的模型不到 2%，一年半后最高分冲到约 52%；可同一时期，GSM1k 证明部分模型的高分有背题成分，FrontierMath v2 修正了四成多题目，25 位菲尔兹奖得主联名批评「竞逐名题」。本文梳理数学评测五年演进、数据污染的实锤机制、FrontierMath 资助风波，以及 2026 年评测范式向证明题与开放问题的转向。

Jay* 2026-10-09 16:47:34 来源：量子位 这是一台机器人正在关闭微波炉门时，因人手突然插进来而紧急悬停的时间 Jay发自 凹非寺 量子位 | 公众号QbitAI 0.2秒。 这是一台机器人正在关闭微波炉门时，因人手突…

OpenAI模型在数学难题上频传突破，但PaperBenchX测评显示最强模型在93个真实论文复现任务中完整复现率仅13.98%，引发如何衡量AI科研进步的讨论。

听雨* 2026-10-07 09:05:13 来源：量子位 三位菲尔兹奖得主：不代表认可 听雨 发自 凹非寺 量子位 | 公众号 QbitAI 刚刚，OpenAI往数学界扔了颗重磅炸弹—— 一口气公开****722篇数学手稿****，全…

林, 方舟* 2026-10-06 14:45:40 来源：量子位 林方舟 发自 凹非寺 量子位 | 公众号 QbitAI 事情真的有点荒诞。 赛博义父、Codex负责人Tibo昨天刚说完，接下来的28天里，他们每天要么交付一项Codex…

梦晨* 2026-10-02 15:27:03 来源：量子位 44年前被亲自列入问题清单 克雷西 发自 凹非寺 量子位 | 公众号QbitAI 「AI不可能对最尖端的数学家有任何影响」……吗？ 说出这句话的**丘成桐，现在已经用上AI辅助…

程浅 发自 凹非寺 量子位 | 公众号QbitAI “Navier–Stokes千禧年难题的突破，10000个Agent最多占了10%的功劳。” 此判断出自OpenAI研究员，o1核心作者NoamBrown之口。 NoamBrown，**人…

IT之家 9 月 22 日消息，OpenAI 宣布成立“数学与 AI 顾问组”（Advisory Group on Mathematics and Artificial Intelligence）。据介绍，该顾问组设在普林斯顿高等研究院，由…

IT之家 9 月 17 日消息，今天（17 日）晚间，据《The Information》援引一名了解解法的人士消息称，OpenAI 已接近攻克“千禧年大奖难题”中的另一道题 。这组著名数学难题共有 7 道，此前引发争议的“纳维-斯托克斯存…

“IT早报”时间，大家好，现在是 2026 年 9 月 13 日星期日，今天的重要科技资讯有： 1. 外卖新规实施三个月，央视探访看到店员徒手抓烤鸡、明厨亮灶摄像头对着天花板 今年 6 月 1 日起，《网络餐饮服务经营者落实食品安全主体责任…

FrontierMath Tier 4，饱和了]

1 万个 AI Agent，挑战百年数学难题 #欢迎关注爱范儿官方微信公众号：爱范儿（微信号：ifanr），更多精彩内容第一时间为您奉上。 ]

IT之家 9 月 23 日消息，在今晚举行的小米秋季新品发布会上，小米手环 11 三彩釉陶瓷版发布，**售价 499 元**。 IT之家在发布会现场获悉，三彩釉陶瓷版灵感来源于上海博物馆藏彩色釉陶马，景德镇工艺出品，搭载精密复合编织表带。 …

IT之家 9 月 10 日消息，苹果今日正式发布 Apple Watch Series 12 和 Apple Watch Ultra 4 智能手表。 两款手表搭载苹果最先进的健康传感器和全新 Apple 芯片， 全新的健康感测系统带来更大的…

2021 年 4 月 19 日，上海车展特斯拉展台，一位车顶维权的河南车主让特斯拉挂了整整一个月的头条。副总裁陶琳「决不妥协」「负面都是她贡献的」点燃舆论，央媒定性「店大欺客」，特斯拉深夜道歉、交出数据；但四年多的司法长跑之后，法院认定「刹车失灵」主张无事实依据、构成诽谤，车主被判道歉并赔偿。舆论账与法律账给出了相反结论——本篇拆解这第七种危机类型：当两本账打架，企业该怎么复盘。

同一个模型，temperature 从 0.2 调到 1.2，可以从「背答案的图书馆员」变成「喝了两杯的诗人」——模型一个参数都没变，变的只是从概率分布里挑词的规则。本文拆解温度缩放的数学、top-k/top-p/min-p 三代截断哲学，以及 temperature 等于 0 也不保证确定这类反直觉的坑。

Armin Ronacher 发表《Pi: The Minimal Agent Within OpenClaw》，系统阐述了 Pi 框架'四个工具 + 最短系统提示词'的极简主义 Agent 设计观。

容器不是虚拟机——没有 guest kernel，只有三个内核老特性的组合拳：namespace 管隔离、overlayfs 管镜像、cgroup 管配额。本篇拆解 namespace 八兄弟的分工与 user namespace 的安全争议、overlayfs 的 copy-up 机制、cgroup v2 统一层级，以及 K8s 里 OOM 误杀的完整逻辑链。

1999 年提出的 C10K 问题催生了 nginx 与 epoll 时代。本篇拆解 select 的三宗罪、epoll 红黑树加就绪链表的两件套、LT 与 ET 两种敲门语义，讲清惊群问题的三代解法，并解释 Redis 为什么单线程也能扛十万连接、io_uring 又补上了哪块短板。

malloc 返回的指针为什么「立刻可用」却几乎不花时间？一台 64GB 机器为什么能 mmap 500GB 的文件？本篇拆解虚拟内存这台「期望兑现机器」：四级页表的层级与开销、缺页中断的完整旅程、TLB 与大页的经济学，以及 THP 与 MGLRU 这对自动化与性能的恩怨。

2018 年 PostgreSQL 社区发现 Linux 可能在 fsync 返回成功后丢掉报错、让下一次 fsync 假成功——fsyncgate 事件把「fsync 承诺什么」逼到了台前。本篇从 VFS 与 Page Cache 讲到脏页回写、ext4 日志、fsyncgate 完整始末与 O_DIRECT 双缓冲之争。

同样是发文件，普通路径要 4 次拷贝 2 次系统调用，Kafka 却能在一台普通机器上把消费速率顶到网卡极限——差距就在零拷贝。本篇算清 read+write 的完整拷贝账单，讲透 sendfile 与 SG-DMA 的两档进化、splice 与 mmap 的取舍，以及 nginx 与 TLS 时代的现实约束。

从「补全一行代码」到「自主跑完一个任务」，AI 编程工具这两年完成了形态跃迁。本文拆解 Agentic Coding 的核心——感知-行动循环、工具集、权限模型与上下文管理，讲清它与补全式 Copilot 的本质区别，以及从 Claude Code 到 Cursor 的路线分野。

NVIDIA 开源的 Agent 安全运行时 OpenShell 单日涨星 1200+：Landlock 与 seccomp 在内核层管住文件与网络，真实凭据永不下发沙箱，Z3 求解器在毫秒内证明策略变更不越界。本文拆解其控制面与数据面架构、策略提案闭环与落地场景。

「先更新数据库再删缓存」几乎是每个人的默认写法，但为什么是这个顺序、残余的不一致窗口长什么样、延迟双删和 binlog 订阅各自在补什么洞——本文把缓存与数据库双写的四种时序逐一推演，讲清 Cache-Aside 的规矩从哪来、窗口怎么收敛，以及生产环境的组合拳与避坑清单。

FDA 批准的 AI 医疗器械已超 1600 个，四分之三以上是影像产品；但深挖审批数据会发现，做过前瞻性临床测试的只有 5%。本文讲清影像 AI 为什么跑赢所有医疗 AI 赛道、审批繁荣背后的证据缺口，以及从获批到「医院真用、有人付钱」之间还隔着什么。

日涨 1949 星的编码智能体技能：用「先爬梯子再写码」的决策梯子和三条生命周期钩子，把智能体产出的代码量、token 与成本压掉四到五成，正确性与安全检查反而略升。JetBrains 第三方复测确认成本下降显著，但也指出了宣称幅度与激活条件两个关键保留意见。

本地代理拦截智能体的工具输出、日志与检索结果，按内容类型路由到九种压缩器，CCR 机制保证原文随时可取回；配合厂商前缀缓存，排障场景实测省 57% token，压缩开销 0.2 毫秒级。当日涨星 477，总星 7.7 万。

杰西卡* 2026-10-21 12:35:56 来源：量子位 电池开发，分工远比想象复杂 杰西卡 发自 ROBO-车 量子位ROBO | 公众号 AI4ROBO 一块电池，搅动了汽车产业链风云。 理想斥资26.5亿元入股欣旺达动力，小米…

从 2025 年 9 月遭整治的「三大理论」，到 2026 年 10 月刷屏的「孙学—薄肌—黄毛」与「大水理论」，中文网民一年半里自发「开宗立派」，凑出了流传甚广的「九大民间理论」榜单。本文逐个追溯九个理论的出处、时间线与争议，回答三个问题：它们从哪来、为什么火、为什么会被敲打。

可转债是「下有债底、上有股性」的债券加期权，公募 REITs 是「强制分红九成」的不动产权益凭证——两类工具都试图兼得稳健与弹性。本文讲清可转债的条款语言（强赎、回售、下修）与搜特退债违约的教训，REITs 的分红机制、运营风险与五年 2300 亿的演进，以及打新和二级参与的真实门槛。

汇总当日科技要闻，涵盖苹果 HomeView 等新品发布、Gemini 4 Argon 上线、字节成立模型安全部门、英伟达中国 AI 芯片份额下滑、Character.ai 申请破产保护、阶跃智能体手机发布等多条动态。

IT之家 10 月 13 日消息，AI 领域的前沿驻场工程师正炙手可热，Anthropic 正面向其他企业培养顶尖人才。 这家人工智能公司本月早些时候宣布，将投入 1 亿美元（IT之家注：现汇率约合 6.7 亿元人民币）设立前沿驻场工程师培…

杰西卡* 2026-10-10 14:59:02 来源：量子位 马斯克反而发文道谢？ 杰西卡 发自 ROBO-车 量子位ROBO | 公众号 AI4ROBO 特斯拉FSD进欧洲，一朝就被打回原形。 FSD不能叫**Full Self-Dr…