菲尔兹奖得主0贡献！GPT-5.5 Pro两小时跑出博士级证明
菲尔兹奖得主0贡献！GPT-5.5 Pro两小时跑出博士级证明全网震撼！菲尔兹奖得主把未解数学题扔给GPT-5.5 Pro，不到两小时拿到博士论文级证明。整个过程中，他没给出任何数学思路。
来自主题:
AI资讯
9073 点击 2026-05-10 10:43
# 热门搜索 #
大模型
人工智能
openai
融资
chatGPT
搜索
全网震撼！菲尔兹奖得主把未解数学题扔给GPT-5.5 Pro，不到两小时拿到博士论文级证明。整个过程中，他没给出任何数学思路。
北京容芯致远科技有限公司（以下简称“容芯致远”）近日完成天使轮数亿元融资。本轮由北京绿色能源和低碳产业基金与赛富投资基金领投，顺禧基金、富华资本、万利达集团、长江创新投、水木清华校友基金、梅花创投等跟投。云岫资本此前参与了公司种子轮投资，本轮继续跟投，并担任长期独家财务顾问。
华为联合新加坡国立大学和中国科学技术大学研究人员提出 QuantClaw。这是一款面向 OpenClaw 的即插即用动态模型精度路由插件，基于大规模低精度量化实证研究，让模型精度成为可动态分配的资源，实现服务质量不降反升、成本下降、延迟降低的三重收益。
本期项目推荐的6个项目从三层展开：第一层是 对话关系。Agent 要先进入群聊，读到同样的信息。第二层是 组织关系。Agent 进入团队后，要被分配、管理、调度。第三层是 经济关系。Agent 不再只是被使用，能不能自己接单、交付、赚钱。
为了理清视觉与世界模型之间的深层联系，并为该领域的未来研究提供一张清晰的脉络图，北京交通大学靳潇杰、魏云超、赵耀等学者联合新加坡国立大学、腾讯、字节等国内外研究机构知名学者，发布了首篇视觉世界模型长篇综述：From Seeing to Knowing the World: A Survey of Vision World Models。
5月9日，Hermes Agent（昵称：爱马仕）登顶OpenRouter全球应用调用量榜首，首次超越OpenClaw（昵称：龙虾）。据OpenRouter应用Token消耗榜最新数据，这一Nous Research旗下开源自进化Agent产品登顶全球应用Token消耗榜，单日Token消耗量达到271B，也就是2710亿Token。
今天，蚂蚁百灵大模型发布Ring-2.6-1T。这是一款面向真实复杂任务场景的万亿级思考模型，目前已上线OpenRouter，并开放限时一周免费体验，后续将正式开源。Ring-2.6-1T加入了可调节的Reasoning Effort机制。开发者可以在high和xhigh两种推理强度之间选择：high面向Agent、Coding、多步工具调用等高频任务
今日，百度推出新一代基础模型文心5.1。百度称，文心5.1将总参数压缩至约1/3、激活参数压缩至约1/2，使用业界同规模模型约6%的预训练成本，实现同级别模型基础效果领先。不过，百度并未明确说明这一“6%成本”的具体对标模型范围与口径。
昨日晚间，国家网信办、国家发展改革委、工业和信息化部近日联合印发《智能体规范应用与创新发展实施意见》（简称：《实施意见》）。这是国家三部门首次单独以 “智能体（Agent）” 为核心主题制定的系统性政策，此前没有任何一部国家部委文件专门聚焦智能体的定义、安全、应用、生态进行全面规范。
没有训练梯度的AI，打破了Atari游戏满分纪录。OpenAI核心研究员翁家翌提出了一个强化学习新范式——启发式学习（Heuristic Learning, HL）。
Epoch AI最新数据：Anthropic人均年营收900万美元，远超OpenAI的560万和英伟达的510万。一家没上市的AI公司，人效已刷新硅谷全部历史纪录。
2025 年圣诞前夕，一款名叫 Rezona 的 AI 互动内容平台在海外上线，不到 4 个月时间，周活就超过 150 万，海外创作者社群超过 3 万人，并在年后快速完成了四轮融资。
今年 4 月，一款名为 PettiChat的“宠物AI翻译器”在Kickstarter 众筹及独立站一经面市，便获得国内外众多关注。 外表看，这是一款重量仅27.2克、可夹在项圈或背带上的轻量化智能设
如果你这周自己写了求职信，你输给的并不是更好的候选人。你输给了一个更差的候选人，他花了 20 美元给 OpenAI。 今年初，马里兰大学、新加坡国立大学和俄亥俄州立大学的三位研究者从 LiveCare
刚刚，在X上Claude Code工程师Thariq的一篇分享——他几乎停止使用 Markdown，转而使用 Claude Code 生成 HTML 文件。在短短几个小时里，这篇帖子的浏览量就突破了 200 万。
2026 年 5 月 7 日，Google 发布了一款叫 Fitbit Air 的健康手环。99.99 美元，没有屏幕，配套一个叫 Google Health Coach 的 AI 订阅服务，每月 10 美元。同一天，沿用了十几年的 Fitbit App 改名 Google Health。
中国移动发布Token运营体系，不是简单卖AI算力，而是要把网络、算力、模型、应用和10亿用户连接起来，打造AI时代的「新梦网」。
群论领域几十年无解的第21.10号问题，被牛津数学家Marc Lackenby用谷歌一个新系统破解了。过程也很有意思：AI第一次给出的证明是错的，被系统里的审查Agent揪出了漏洞。
刚刚，xAI再失一名华人大将。就在今天，预训练负责人庄钧堂官宣了自己的离职消息。此前，庄钧堂已经在xAI工作了两年。这期间，他主导了从Grok 2到Grok 5的全系列预训练，同时负责Grok在X和Tesla上的语音模型及xAI企业API模型。
「AI 中转站」正是在这两大限制的夹缝中生长出来的。他们用海外服务器充当跳板，用人民币支付替代外币信用卡，把顶尖算力以「代购」的方式转交给受限地区的用户。这门原本藏在灰色地带里的生意，如今却吸引了一批名人高调入场。
MiniMax M2 系列受到了开发者社区的广泛关注，不少用户在深度使用中发现了一些个例问题，其中“模型无法说出马嘉祺”这个问题引发了较多讨论。 我们也注意到，社区中有不少开发者对这个现象进行了高质量
今日，像素绽放PixelBloom宣布完成C轮融资。本轮融资由国科投资与商汤国香资本联合领投，基石创投、大米创投跟投。 资金将重点投入AI办公解决方案Agent的研发迭代、商业化落地及全球化人才招募。
江苏南京执业律师李小亮发现，在百度手机 APP、百度网站搜索其个人姓名+职务时，百度“AI 智能回答”竟然给出“李小亮律师被判三年有期徒刑”的错误文字内容，并配上他着律师袍的照片。
HakkoAI可以看做是一个AI游戏搭子，它的核心功能是陪伴，在用户打游戏的时候给用户提供陪聊、陪打、查攻略等能力。其国内版本名为「逗逗AI游戏伙伴」，25年8月，化身HakkoAI进入欧美、日本等市场，截至目前全球注册用户数量已经超过1000万。
随手打开 GitHub,2026 年的 Agent 项目热榜上有这样一个仓库: • 27,000+ stars,1,800+ forks • 零行 Python,零行 TypeScript,零行 JS • 作者是 Obsidian 的 CEO 本人,kepano • 整个仓库就是 5 个 Markdown 文件
独家获悉，AI卡片录音笔公司Plaud已于2025年年中拿下腾讯的融资，估值达10亿美元；目前，Plaud公司估值已涨至约20亿美元。有关上述信息，硬氪向Plaud及腾讯方面求证，双方均表示消息不实。
AI 基础设施初创公司 RadixArk 宣布完成 1 亿美元种子轮融资，投后估值 4 亿美元。无论金额、估值还是投资人阵容，这都是 2026 年 AI Infra 赛道中目前最重的一笔早期下注。
Span 2018 年起家时做的是智能电板，卖给业主帮他们省电费。它的电板能识别每户人家电网接入端的实际可用容量。美国住宅一般标配 200 安培的服务等级，日常负载远低于此。空出来的那部分电力过去没被任何人定价，Span 现在打算把它用来跑 AI 推理。
日前，上海基流科技股份有限公司（下称：基流科技）正式向港交所递交招股书，冲击港股 “AI基础设施第一股”，独家保荐人为国泰海通。基流科技目前是中国规模最大的独立AI算力集群提供商。这家公司成立三年即冲刺IPO，以清北学霸为核心班底，3名执行董事都是“90后”——33岁的董事长胡效赫、35岁的联席董事长王旭阳、33岁的联席首席执行官谢文奇。
Jim Fan 在红杉资本 AI Ascent 最新观点，信息量极大，机器人物理AI很快就会迎来突破，答案就在视频模型，路径就是LLM的突破路径,Jim Fan把机器人的未来路线图比作文明游戏里的科技树，还剩三个成就要解锁,2040年就是终局
