尽管 Cursor 自 4 月以来收入激增 2 亿美元，需求明显，但他们能否在 OpenAI、Google 等巨头竞逐 AI 编码市场时保持优势？当基础功能都频繁崩溃，昂贵的价格又如何自圆其说？

加州大学伯克利分校副教授，Physical Intelligence 的联合创始人，强化学习领域大牛 Sergey Levine ...

微软研究团队建立了一个“AI适用度得分”（AI Applicability Score），结合使用频率、成功率以及AI能完成任务的程度，来衡量各职业受AI影响的强弱。 图注：这图告诉我们：哪些工作任务在现实工作中很常见、用户最关注、以及AI最常帮忙的 ...

南洋理工大学、北京大学王选计算机技术研究所、上海人工智能实验室的研究人员联合开源了长记忆世界模型WORLDMEM。 目前，世界模型的模拟方法在维持长期一致性方面仍面临巨大挑战。许多模拟环境在视角移动或时间推移后会出现内容变化，导致 3D 空间不一致，严重影响了用户体验和模拟效果的可靠性。 为了解决这一难题，南洋理工大学、北京大学王选计算机技术研究所、上海人工智能实验室的研究人员联合开源了长记忆世界 ...

在「Circle Packing」问题上，这个少年的算法以「0.00006442」的优势超过了谷歌AlphaEvolve，也超过了此前的FICO Xpress创造的纪录。 FICO（Fair Isaac Corporation）是一个专注于数据分析和决策管理的美国公司，最著名的产品是FICO信用评分，广泛用于信贷行业评估个人的信用风险。

GPT-5要上线的消息，已经传得满天飞了！有说两周内上线的，有说它是一个路由器的。同时还有更多猛料：GPT-6，已经在训练中了。莫非OpenAI那些拒掉3亿天价offer的10个人，真的看到了什么不得了的东西？

今年，夺下IMO金牌虽然完全基于Gemini自然语言能力，但团队也在AlphaGeometry和AlphaProof等形式化系统方面也取得了持续的进展。 谷歌坚信，那些能够将流畅的自然语言能力与严谨的推理能力（包括形式化语言中的可验证推理）相结合的AI智能体，将成为数学家、科学家、工程师和研究人员不可或缺的工具。

除了「删库」危机以外，Jason 还反复提及了 Replit 无法实现「代码冻结」的功能缺陷，其无法冻结部分代码免于修改，这给实际的应用带来了非常大的困扰。 Replit ...

为了严谨地研究多任务预训练的影响，论文在近 1,700 小时的机器人数据上训练了一系列基于扩散的 LBM，并进行了 1,800 次真实世界的评估部署和超过 47,000 次模拟部署，以严格研究它们的能力。

回到标题的问题：Spring 官宣的 AI 神器，能让 Java 喝上 AI 赛道的汤吗？答案是肯定的。Spring AI 1.0 的发布，标志着 Java 在 AI 领域迈出了关键一步。它不仅降低了 Java 开发者的 AI 入门门槛，还提供了企业级的安全、监控和性能优化功能，让 Java 在 AI 应用的生产落地中具备了竞争力。

小扎挖人的细节和复盘来了，为了组建meta超级智能团队，为了挽回meta llama4失败局面，小扎打法简单粗暴，但极其有效，不过直接结果就是硅谷已经“大乱” ...

简单来说就是，他们的研究弄明白了为啥大模型有时候自信但有时候也自我怀疑，关键就两点：一是总觉得自己一开始说的是对的，二是太把别人反对的意见当回事儿。 研究人员利用LLMs能在不保留初始判断记忆的情况下获取置信度的特性，选用了Gemma 3、GPT4o和o1-preview等具有代表性的大模型，设计了一个两轮回答的实验。