陶哲轩关于雅可比猜想反例的ChatGPT对话

菲尔兹奖得主陶哲轩近期在Hacker News上分享了与ChatGPT关于雅可比猜想反例的对话,展示了大型语言模型在辅助高等数学推理中的潜力与局限,引发了关于AI如何改变数学研究方式的广泛讨论。

菲尔兹奖得主陶哲轩近期在Hacker News上分享了与ChatGPT关于雅可比猜想反例的对话,展示了大型语言模型在辅助高等数学推理中的潜力与局限,引发了关于AI如何改变数学研究方式的广泛讨论。

一项名为“MUD评估LLM”的概念验证实验仅花费99美元,却意外发现LLM作为“裁判”评价其他模型时极度不可靠;两个独立LLM法官对同一模型的评分一致性从85%低至22%,且聚合一致性Kappa系数仅为0.04(接近随机),这暴露了当前大量依赖LLM作为评判标准的基准测试的潜在系统性噪声。

菲尔兹奖得主陶哲轩在ChatGPT对话中探讨了雅可比猜想这一著名数学难题的反例构造,展示了AI工具如何辅助高阶数学推理,引发学界对AI在基础数学研究中角色的重新思考。

Anthropic在2025年5月实现了470亿美元的年化营收运行率,相比2024年的90亿美元激增。Menlo Ventures合伙人Matt Murphy在TechCrunch播客中表示,这种增长速度是他25年投资生涯中从未见过的,并揭示了AI初创公司创始人必须调整的几个关键策略。

AMD向Anthropic投资最高50亿美元,Anthropic则承诺部署高达2吉瓦的AMD Instinct MI450系列GPU用于Claude模型的训练和推理。这笔交易不仅让Anthropic在算力上进一步摆脱对单一供应商的依赖,也标志着AMD在AI芯片市场对Nvidia发起最直接的一次挑战。

以色列办公软件公司Monday.com宣布裁员约630人(占员工总数20%),作为重组计划的一部分,将资源和投资重心全面转向其AI工作平台。这延续了2026年大型科技公司“裁员换AI”的显著趋势,显示出企业级AI落地的竞争加速从模型层向应用层转移。

社交网络创业公司 Yope 完成 1230 万美元种子轮融资,由 Northzone 领投,计划打造一个无算法推荐、无广告、无公开内容的私密社交平台。该产品已积累近 1500 万注册用户,日内容量超 1000 万条,表明年轻用户对“小圈子”私密分享有强劲需求。

视频剪辑工具 ChatCut 从 2025 年 2 月的“文稿剪辑”起步,逐步演进为支持自然语言和生成能力的通用剪辑 Agent,但最新动向显示,它正主动成为 ChatGPT 和 Codex 等通用 Agent 背后的“专业执行层”——这揭示了一条不同于“独立应用”的 AI 产品路线:放弃第一入口,争夺最终执…

Cursor 推出了一个智能路由系统,能在不同任务中自动选择性价比最高的AI模型,让企业用户在不牺牲输出质量的前提下,大幅降低API调用成本。这项技术已在早期企业测试中实现30%-50%的成本节省。

Anthropic 于2025年7月22日推出了一款 Claude 连接器,让用户能够直接通过自然语言对话,查询该公司发布的“Anthropic Economic Index”数据库,了解AI在各行业和职业中的实际使用模式。这一功能将原本面向研究者、记者和政策制定者的数据工具开放给所有人使用。