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

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

菲尔兹奖得主陶哲轩在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在各行业和职业中的实际使用模式。这一功能将原本面向研究者、记者和政策制定者的数据工具开放给所有人使用。

DAIR.AI 的 Elvis Saravia 在 X 上提出,AI 交互正从“提示词驱动”转向“任务驱动”,多模态交互单元(Multimodal Interaction Unit)是提升智能体效率的关键。这一观点反映了业界对更高效、更自主 AI 工作流的追求。

微软研究院宣布,其轻量级 AI 模型系列 MagenticLite 已全面开源,包括核心底座模型、推理框架及上层应用,相关权重已在 Hugging Face 平台开放,此举极大降低了开发者在特定场景下微调与部署的门槛。