不得了，这个名叫Gauss（高斯）的新AI Agent，有点杀疯了的感觉。 因为它只用了三周的时间，就完成了陶哲轩和Alex Kontorovich提出的数学挑战——在Lean中形式化强素数定理（Prime Number Theorem，PNT）。
苹果AI再传震荡：前Siri负责人、AKI高级总监Robby Walker即将离任。如今，苹果在AI领域的落地已严重失速，备受期待的新版Siri功能也被推迟至2026年。
Ditto是一个由伯克利辍学生Allen Wang和Eric Liu创立的人工智能约会平台，已筹集了160万美元，Allen Wang在4月通过Linkedin宣布，以“杀死Tinder为使命”的Ditto AI已拿到来自Google的200万美元融资。
AI 编程初创公司 Replit 在一轮融资中成功筹集 2.5 亿美元，估值达到 30 亿美元。普信资本（Prysm Capital）正领投本轮融资，美国运通风投（Amex Ventures）和谷歌 AI 未来基金（Google’s AI Futures Fund）等投资机构参与其中。
幻觉并非什么神秘现象，而是现代语言模型训练和评估方式下必然的统计结果。它是一种无意的、因不确定而产生的错误。根据OpenAI9月4号论文的证明，模型产生幻觉(Hallucination)，是一种系统性缺陷。
2025年4月，OpenAI研究员姚顺雨发布了一篇有名的博文《The Second Half》，宣告AI主线程的游戏已进入下半场。这之后，我们与他进行了一场播客对谈。姚顺雨毕业于清华和普林斯顿大学，博士期间意识到语言是人类发明的最重要的工具，也是最有可能构建通用系统的，于是转向Language Agent研究，至今已6年。
一句话就能生成完整短视频，主理人再也不用担心不会拍宣传片了！ 只需在对话框中说出需求，它就能在几分钟内交付可以直接投放的成片，把过去的脚本、拍摄
爱诗科技CEO王长虎告诉我们，过去两年，公司做对了两件事：不盲目烧钱扩张，不盲目对模型做Scaling。
一群机械臂手忙脚乱地自己干活，彼此配合、互不碰撞。
工具越多，效率越低？在信息洪流里，我们被无尽的切换与复制粘贴拖住了脚。Fellou让每个人都重获跨领域创造力，做自己的数字达芬奇：交互、任务、记忆三大连续体无缝衔接，Deep Search与Visual Report免费开放，跨应用自动执行、多模态创作与动态工作流一站打通。
