谢赛宁团队新基准让LLM集体自闭，DeepSeek R1、Gemini 2.5 Pro都是零分

纽约大学等8家机构研究者提出LiveCodeBench Pro竞技编程基准测试，评估了Gemini 2.5 Pro等前沿大模型。发现当前模型有显著不足，在无外部工具时，高难度题通过率为0，LLM与人类大师级水平差距明显。

摩尔线程算法一鸣惊人，图形学顶会夺银！已开源

12月17日，在SIGGRAPH Asia 2025上，摩尔线程凭借自研技术LiteGS在3DGS重建挑战赛中获银奖。3DGS是革命性3D场景表示与渲染技术，摩尔线程开源3DGS基础库LiteGS，实现全链路协同优化。

2025年4月17日消息，OpenAI 连发o3和o4 mini，o3为强大推理模型，o4-mini专为高效推理优化。它们能调用ChatGPT工具，可基于图像思考。OpenAI还开源本地代码智能体Codex CLI，兼容所有模型。

我拿到了豆包 AI 手机，但它已被围剿

作者拿到豆包AI手机时，它已被部分产品禁止使用。此为面向行业和技术爱好者的技术预览版，内置AI Agent可像人一样操作手机，还介绍了功能、架构等，但推广因App墙受限。

Stripe x Cursor，硅谷两代“金童”对谈: 未来5年IDE里将不再是代码

本文是 Cursor CEO Michael Truell 和 Stripe CEO Patrick Collison 的深度对谈，讨论了 Stripe 的技术实践、编程的未来。如 LLM 会改变 IDE，未来编程更重需求描述；还提到 Stripe 的技术选型、API 重写计划等。

大语言模型离“数学证明高手”还有多远？斯坦福、伯克利、MIT 团队提出 IneqMath 评测标准

现在很多大语言模型常给出看似正确的结论，但推理过程却有问题。斯坦福、伯克利和MIT团队提出新思路，构建IneqMath数据集及‘AI数学裁判系统’，研究发现很多模型推理不严谨，还给出两个提升准确率的办法。

AI消灭感冒被提上日程，Anthropic和OpenAI罕见联手

全球支付巨头 Stripe 投资 5 亿美元建立非营利组织 Intercept，目标是解决呼吸道感染问题。Anthropic、OpenAI 等机构和个人也参与支持。Intercept 从广谱预防药物和空气净化杀菌技术两方面着手，科技公司也将提供技术助力。

清华开源一批「学习虾」，免费的「AI 私教团」来了

清华大学开源全球首个多智能体生成式学习AI技术框架OpenMAIC。它能将技术文档转化为学习课堂，还能解锁多种学习解法。其前身MAIC是重要学习平台，应用不断迭代，OpenMAIC功能强大，边界不止于课堂。

2025 年 InfoQ 趋势报告：AI、ML 和数据工程

InfoQ AI ML 趋势报告基于编辑团队与嘉宾播客，总结 AI、ML 技术发展趋势。涵盖 AI 代理、多模态语言模型等创新领域，也提及早期采用者、早期多数、晚期多数类别的技术，还对 2025 年相关领域发展作出预测。

量旋科技完成B轮融资，资本为何重注看似遥远的量子计算？｜甲子光年

近日，量旋科技完成数亿元B系列轮融资。量子计算市场前景大，虽面临挑战，但产业正从技术研发迈向产业化。量旋科技选超导与核磁共振两条技术路线，其发展分三阶段，未来或与AI结合。