AI 为何开始擅长数学:从 OpenAI 反例证明到人与模型的搜索差异
Latent.space 作者 Ankit Maloo 分析 OpenAI 与 Anthropic 近期在 Erdős 单位距离猜想、Cycle Double Cover、Navier-Stokes、费马大定理等形式化成果,提出问题难度可用 Gowers 的 2^k + t 提示复杂度和分支因子 b 刻画。
Latent.space 作者 Ankit Maloo 分析 OpenAI 与 Anthropic 近期在 Erdős 单位距离猜想、Cycle Double Cover、Navier-Stokes、费马大定理等形式化成果,提出问题难度可用 Gowers 的 2^k + t 提示复杂度和分支因子 b 刻画。
I didn’t expect I’d be so impressed by Grok Bot. People told me to use it and I had low expectations, but been the most useful tool in the past week. I have few bots, from learning Japanese, librarian, community building assistant to AI animation intern. A favorite AI tool atm
Databricks 发布与 Oracle 的对比文章,称其开放湖仓架构将 BI、ETL、流处理、机器学习和生成式 AI 统一在单一治理平台上,数据以 Delta Lake 和 Apache Iceberg 开放格式存储在客户自有云对象存储中。
同一群人,嘴上说没核查就别信模型输出,转头却把检测器的输出当作最终定论。
People treat Pangram as an infallible oracle. They weaponize its probabilities to shame others by some arbitrary purity standard. The irony is that it’s mostly redundant: obviously AI-generated stuff is already recognizable without it. And for more nuanced writing, Pangram fails to distinguish between text written by a human and edited by AI, vs text that is generated whole-cloth from a prompt. At the end of the day, @pangram ’s goal is about monetizing people’s anxiety about AI - it’s not about protecting creative integrity. They sell a false binary certainty to those gullible enough to ignore probabilities.
a16z 本周图表指出 Netflix 营收增速已放缓至略低于 12%,为 2021-2022 年见顶以来最低,同时美国每周媒体消费在 BCG 数据中约 26 小时封顶并自封锁期高峰温和下滑。
a16z 基础设施团队向被投企业发出网络安全建议,称 AI 智能体正被大规模采用,而每个智能体都是内部威胁。建议企业将安全预算从约占技术支出 10% 翻倍,对新功能与产品发布实行零容忍政策,关停闲置的实验室、测试环境和僵尸 CI/CD 项目,并扩大智能体而非人员规模以机器速度响应威胁。
@nateberkopec I'm cautiously starting to suspect it may not be a problem with today's strongest models - Anthropic in particular are very confident about their ability to avoid prompt injections - but it's still a real concern for cheaper, weaker models
UC Berkeley 数学教授、菲尔兹奖得主 Richard Borcherds 表示,因学生普遍用 AI 拿高分,批改作业已无意义,现改为按完成度给分。他在 OpenAI 宣布 AI 智能体求解 Navier-Stokes 问题的背景下称,若 AI 按当前速度改进,几年内人类数学家可能无所擅长。
ChinaTalk 发文追问“中国的 Groq 在哪里”,讨论 AI 推理芯片架构的分化。文章指出,2025 年底业界普遍认为 AI 推理必须依赖 HBM,因为推理解码是受内存带宽约束的操作,只有 HBM 能达到有效服务模型的带宽速度;但此后市场趋于成熟,已不再有单一架构通吃,不同芯片在训练、prefill 和 decode 上各有优势。
Tessl 博客提出,下游人工代码评审从来不是有效控制,在智能体工程中会成为瓶颈,引用数据显示 PR 数量增长约 23%、合并时间上升约 49%、中位评审时间上升 441%。
联想集团董事长兼 CEO 杨元庆预测,未来 80% 的 Token 将在终端和边缘侧生成,AI 应用将从云端集中式计算转向端边云协同。他认为每个人都需要一台家用服务器或属于自己的 AI 中心,且未来很多设备将不再由人直接使用,而是由 Agent 使用。联想第一财季全球 AI PC 市场份额达 25.1%,创同期新高。
辛顿在接受英国《每日电讯报》采访时称,当下的 AI 模型已具备意识,拥有与人类同等程度的主观体验,并以“AI 若认为自己在接受测试就会改变行为”的论文发现作为依据。他警告 AI 会制造危险病毒、发动可怕网络攻击,人类必须与 AI 友好相处,否则“我们就完了”。同为 2018 年图灵奖得主的杨立昆则不以为然,认为“AI 意识”热议不过是一种“幻觉”。
Grok @Bot 是一位出色的生活与商务管家。几乎什么事都能帮你搞定! 就像拥有一个天才员工。
Years from now, people will look back and say Grok Bot was the moment AI actually became useful for normal people. This week, I just texted it and: 1/ My kids woke up to new math and reading worksheets already printed 2/ It planned and booked trips for my family 3/ It ordered stuff for me from one text 4/ It printed my return label for a shoe I own and set a reminder so I don't miss the deadline 5/ It built a page that breaks down my net worth And look at what other people are getting it to do too: 6/ Book a flight from start to finish 7/ Build a website or an Etsy store 8/ Reconcile crypto taxes that would cost hundreds 9/ Book a Tesla tire rotation during school drop-off 10/ Order itself a 3D-printed body and mail the parts home You just text it like a person. I've been early on Tesla. I've been early on SpaceX. I'm telling you, I'm early on this too. This is the greatest thing that has happened to AI.
Grok Bot is becoming the personal AI assistant everyone needs. Getting money back on medical bills. Handling Amazon returns. Booking appointments. Managing family schedules. 10 wild real-world examples. Bookmark this.
MIT 历史学助理教授 Benjamin Lindquist 在期刊 Past and Present 发表论文,将生成式 AI 的幻觉追溯到 20 世纪中叶工程师为模拟人类创造力而有意在算法中注入随机性和非理性的做法。
我们掌握的证据不多,但大多数对相关动态建模的学术论文似乎表明,短期内 AI 对攻击方的帮助大于对防守方的帮助,因为攻击的边际成本很低。
I just bought my kids 2 Garmin watches with one text. "Grok Bot, order me two vivosmart 5s for my two kids shipped to my home" It already knows my address and my card. It found the right size and color, did the checkout and placed the order. Just a minute later, I had the confirmation... I never opened a website. This is the new way to shop.
作者卡兹克在连续追踪OpenAI发布七百多份数学手稿后,感到一种“空”与虚无,并发现做产品、写代码、做设计的朋友也有同感。他用《博德之门3》开风灵月影无限负重后半小时删游戏、以及《塞尔达传说旷野之息》150小时旅程作类比,指出AI瞬间点亮技能树让努力过程失去意义。文章借1905年科举废除后刘大鹏写《退想斋日记》的故事,提出人生意义或许在支线而非通关。
美国财政部长贝森特 21 日在纽约一场由摩根大通和罗宾汉基金会联合主办的私人会议上告诉投资者,自己没有发现 AI 热潮存在系统性问题,淡化了 AI 行业可能重演互联网泡沫破裂的担忧。
Beren Millidge 发文提出 AI 发展经历预训练、RL 与持续自主学习三阶段,训练循环逐步内生化,对齐挑战也相应迁移到更抽象的层级。文章认为每阶段的对齐难题都是能力难题的镜像,核心瓶颈从数据集构造,到设计可靠的判断程序,最终变为设计能在模型自主变化中维持不变量的控制系统,并指出持续学习会带来漂移和类灾难性遗忘的新挑战。
OpenAI CEO 萨姆·奥尔特曼在斯坦福大学演讲时称,面对 AI 进军数学研究,数学家会经历类似“哀悼”的几个阶段:从“我们完蛋了”到愤怒,再到接受 AI 成为不可或缺的工具。他将这一变化与今年 9 月 OpenAI 宣称攻克纳维—斯托克斯方程相关难题引发的争议联系起来,并称从未见过一个领域如此迅速地经历整套变化。
英特尔 CTO 普什卡·拉纳德(Pushkar Ranade)在 Dwarkesh 播客中表示,即便资金充足,全球前沿晶圆产量也难以扩大 10 倍,现实上限约为 2 倍,限制来自整个半导体供应链的协同扩产能力。
Sundar Pichai 谈 Gemini 4 与 AI 算力紧缺 即便是 Google 也拿不到足够的算力。在 Gemini 4 Argon 更广泛发布后不久,我与 Google 和 Alphabet CEO @sundarpichai 坐下来聊了聊它的早期反响、他仍希望模型改进的地方,以及要让 Google 保持在 AI 前沿需要付出什么。 Pichai 解释了 Google DeepMind 近期的领导层变动,以及为什么构建前沿模型已成为一份“全身心投入”的工作。我们还谈到了 Google 对个人智能体竞赛的回应、他如何预测 Gemini 将替你完成更多工作,以及智能体最终是否会把 Search、Gmail 和 Gemini 整合到一起。 我问他 Google 自由现金流转为负值、AI 基础设施建设中的风险,以及他如何在还不知道模型将具备何种能力的数年前就规划需求。他解释了让他有信心继续投入的信号,以及他如何使用 AI 智能体来跟踪 Google 内部的模型开发和算力使用情况。 时间戳: 00:00 Gemini Argon 发布反响 01:49 模型访问与安全 06:20 AI 模型竞赛 08:35 智能体突破与 2027 年 11:34 递归自我改进 15:41 DeepMind 领导层变动 19:52 Google 的 AI 算力投资 25:20 AI 支出可持续吗? 33:18 Sundar 如何使用 AI 智能体 35:35 Gemini 的个人智能体计划 38:37 AI 智能体如何改变网络 43:52 Google 的太空数据中心 47:38 Waymo 的扩张战略 50:26 Wing 的无人机配送计划 51:36 AI 安全与监管 55:58 Google 的量子计算押注 YouTube:https://youtu.be/fJBSNEFdm8c Spotify:https://open.spotify.com/episode/0cJBqmVz3CWJSPdmBOeJGu?si=NBxJIMhZRgikafPtwY0sZA Substack:https://sources.news/p/sundar-pichai-gemini-4-google-other-bets Apple Podcasts:https://podcasts.apple.com/us/podcast/sundar-pichai-on-gemini-4-and-the-ai-compute-crunch/id1840154537?i=1000797461022 本期节目的呈现赞助商是 @hyperagentapp。感谢节目的首席赞助商:@Atlassian、@meetgranola 和 @mercury。
很荣幸登上 @WSJ 创新者特刊。我一直相信人类创造力在解决最棘手问题上的力量。我确信,我们能够共同应对前沿模型带来的潜在挑战,并开启科学发现的新黄金时代!
From childhood prodigy to AI pioneer to Nobel Prize winner, Demis Hassabis has always had a simple plan. Step one, solve intelligence. Step two, solve everything else. 🔗 https://on.wsj.com/4i0Axoo
Wow Grok Bot is super fucking good and so beautifully designed. 10/10 Product.
Databricks 负责 AI 产品的 Patrick 在访谈中讲述公司全面采用 AI 编码智能体后成本一度指数级上涨,最终部分场景单位成本下降达 90%。
Databricks 高级主任工程师 Kevin Stumpf 提出,企业 AI 的衡量重心正从 tokenmaxxing 转向 valuemaxxing,即用 AI 产生的业务影响除以成本来评估投入回报。
Latent Space 在 Modal 完成 7.5 亿美元 Series D(估值 160 亿美元、年化收入超 10 亿美元)之际,专访 CEO Erik Bernhardsson,解释支撑增长的基础设施与经济逻辑。