热门AI工具推荐

AI编程订阅服务,支持多款国产主流编程模型自由切换。
Seedance 2.0AI视频生成
具备卓越的物理真实性和角色一致性,可生成电影级视频内容。
方舟 Agent PlanAI智能体订阅
火山引擎推出的全场景AI智能体订阅服务,通过一个订阅整合5大主流模型和10+AI工具
StepClaw阶跃AI桌面伙伴龙虾Agent智能体
StepClaw是阶跃星辰推出的本地和云端的AI龙虾助手,通过一键部署让普通用户也能拥有7×24小时在线、可自主执行任务的AI数字工作伙伴。
基于OpenClaw架构打造的AI助手平台,核心优势包括云端一键部署、沙箱隔离安全运行、全面接入企业微信/钉钉/飞书三大主流IM工具
SpeedAIAI内容检测降重
AI内容检测与降重工具,能有效帮助用户通过论文AI率检测
墨刀AIAI原型设计平台
墨刀AI是一款能通过一句话描述或图片,快速生成可交互原型、PRD文档及各类图表的一站式智能产品设计协作平台。
秒哒AI工具
不懂代码也能开发应用?百度秒哒:无需编程,快速搭建小程序与网站
有戏AIAI漫剧生成工具
全流程AI短剧创作工具,实现从剧本到成片的自动化生产,让“一人即剧组”成为现实。
沁言学术智能科研平台
一站式文献管理与科研写作工具,支持边写作边搜索文献,高效阅读,文献管理,

Claude联手Alpöge 破Carathéodory

时间:2026 年 8 月 20 日(PDF 在数学圈流传一周后正式公开)/ 8 月 21 日(中文媒体集中报道) 地点:美国·哈佛大学 / Anthropic / 互联网 X 平台 人物:哈佛数学家 / Anthropic 研究员 Levent Alpöge;合作者 John-Paul Smith;Anthropic Claude(Fable 5 旗舰模型);数学界全体关注者 事件详情:8 月 20 日,Levent Alpöge 与 John-Paul Smith 联合 Claude,正式公开一份 PDF,证伪困扰数学界超过 100 年的 Carathéodory 猜想,同时击碎与之紧密相关的 Loewner 指数猜想。这是 Alpöge 继 2026 年 7 月用 Claude 推翻 87 年雅可比猜想后,又一次以 AI 协作的方式击碎经典数学猜想。 猜想背景: - Carathéodory 猜想由 Hans Ludwig Hamburger 于 1924 年在柏林数学学会的一次会议上以导师 Constantin Carathéodory 命名提出,主张三维欧几里得空间中任何凸的、闭合且足够光滑的曲面必定至少存在两个"脐点"(umbilic point,即所有方向弯曲程度相同的点)。 - 球面有无穷多个脐点,椭球只有 2 个。一百年来无数数学家尝试构造只有一个脐点的光滑凸体,没人成功。 - Loewner 指数猜想(也称 Hamburger 局部指标猜想)则是 Carathéodory 猜想的"支撑骨架"——孤立脐点的指数不超过 1。两者百年来像一对铁锁,锁住微分几何一整片领地。 反例构造: - Alpöge 与 Smith 定义一族函数 g_k,取 k=2 时的 g_2 作为球面支持函数,对应的凸体在原点处产生一个指数为 2 的脐点。 - 由于指数衰减项的存在,g_2 在数学上保证 C∞ 光滑——凸体满足 Carathéodory 猜想要求的一切光滑性条件。 - 但它只有 1 个脐点。Carathéodory 猜想要求至少 2 个——被证伪。 - 指数 2 也直接违反 Loewner 猜想的上限 1——Loewner 指数猜想被证伪。 - 一个显式、可验证的反例,同时干掉两个存活超过百年的猜想。 Alpöge 与 Claude 的协作脉络: - 7 月 24 日:Alpöge 在 X 平台宣布用 Anthropic 的 Claude Fable 5 给出 87 年雅可比猜想的反例。 - 8 月 11 日:相关新闻"AI Cracks 87-Year-Old Math Mystery, Disproves Jacobian Conjecture"在 News18 等媒体广泛传播。 - 8 月 20 日:Carathéodory 猜想反例 PDF 正式公开。 - 8 月 21 日:36 氪、火星财经、PE Daily 等中文媒体跟进报道。 背景:过去几个月,AI 与数学协作的密度明显增加——Claude 在黎曼猜想上将零点比例下限从 41.6% 推到 67.2%(37 年人类只推了 0.8%);OpenAI 集中发布 10 项数学和理论计算机科学进展;Alpöge 连续用 Claude 证伪多个经典猜想;新晋菲尔兹奖得主宣布加入 OpenAI。AI 不再只是数学家的计算器,而正在成为数学家的"直觉补充器"——在人类直觉失灵的地方,用穷举和构造能力打开新路径。 影响: - 数学:Carathéodory 与 Loewner 两个猜想被同一份反例同时推翻,可能改变微分几何与奇点理论的研究方向;Hamburger 1940 年对解析情形的证明、Cohn-Vossen、Bol、Klotz 等人的早期证明涉及的"指数 ≤ 1"核心引理被实质性突破。 - AI 协作范式:百年猜想不再被更强的人类智慧单独击碎,而是被"人 + 模型"的协作范式击碎;这将推动更多数学家在经典猜想中引入 AI 作为构造伙伴。 - 行业:Anthropic Claude 在"AI 解决数学难题"的公众印象中抢得先手,与 OpenAI 数学推理模型形成正面竞争;"AI for Science"叙事再次获得标志性案例。 - 教育:数学家与 AI 协作的工作流可能成为未来数学研究生的标准训练内容。 总结:百年猜想不是被更强的人类智慧击碎的,而是被一种新的人机协作范式击碎的——Levent Alpöge + Claude 联手,用一个指数 2 的脐点反例同时证伪 Carathéodory 猜想与 Loewner 指数猜想。这种范式还会继续击碎更多猜想,问题只是:下一个倒下的,会是哪一个。 参考来源: 1. 36氪「黎曼猜想之后,Claude再破百年猜想」:https://www.36kr.com/p/3947773948247424 2. 火星财经:https://news.marsbit.co/20260820203023685400.html 3. PE Daily 投资界:https://m.pedaily.cn/news/567949 4. 7 Globe News(雅可比猜想 Claude 证伪):https://www.7globe.in/anthropic-researcher-thanks-claude-for-solving-87-year-old-math-conjecture-says-jacobian-conjecture-is-false 5. News18(雅可比猜想报道):https://stgpaper.news18.com/education-career/ai-cracks-87-year-old-math-mystery-disproves-jacobian-conjecture-ws-e-10230799.html 6. Alpöge X 推文:https://x.com/alpoge/status/2089971359921156203 7. Haider X 推文:https://x.com/haider1/status/2090034966717677902 8. Carathéodory conjecture 维基百科:https://en.m.wikipedia.com/wiki/Carath%C3%A9odory_conjecture 9. Pinocchiopedia 词条:https://pinocchiopedia.com/wiki/Carath%C3%A9odory_conjecture 10. Guilfoyle & Klingenberg 关于孤立脐点的论文:https://link.intlpress.com/JDetail/1805783598877859841