前两天刚被群嘲，ChatGPT转头就解决了一个数学难题

前些天，OpenAI研究员宣称GPT - 5‘发现’数学难题解法被指只是检索文献引群嘲。但加州大学洛杉矶分校教授用ChatGPT解决凸优化未决问题，还有教授用其发现命题反例，甚至要将其列为论文一作，AI正成研究伙伴。

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

这个Coding Agent框架要火！Cursor、Claud太慢了

AI Agent赛道爆发，开发编码代理效率低。新出的jcode框架将Coding Agent功能整合，解决痛点，内存效率高、启动快、资源占用少，还能为开发者省80%底层开发时间。这是赛道成熟信号。

Python只是前戏，JVM才是正餐！Eclipse开源新方案，在K8s上不换栈搞定Agent

近期，Eclipse 基金会在开源平台 Eclipse LMOS 推出‘代理定义语言’（ADL）。LMOS 项目旨在用统一、开放方式重构企业级 AI 代理开发与运维链路，对标专有平台与 Python 技术栈，避免企业‘推倒重来’。

企业级 Agent 多智能体架构与选型指南 -- 来自1000+行业应用实践积累

本文基于超1000+智能体应用实践经验，介绍企业级Agent多智能体架构。强调单智能体优先，介绍AgentScope支持的多智能体模式，对比工作流与对话模式，给出架构选型指南，还提及Spring AI Alibaba Graph为多智能体提供的能力。

国产GPU首获全球顶级推理框架「原生门票」：MUSA合入SGLang主线

近日，摩尔线程举办「SGLang × MUSA Meetup」，分享与 SGLang 社区及 MUSA 生态协同进展。其 MUSA 后端已加入 SGLang 官方支持体系，代码合入主线，还在多方面取得成果，众多开源项目核心维护者参与探讨国产 AI 算力。

ICLR 2026还会好吗？300篇投稿50篇含幻觉，引用example.com竟也能过审

GPTZero扫描300篇ICLR 2026投稿论文，发现50篇含引用幻觉，如用example.com作引用，且经同行评审也未识别。学术会议和期刊在AI重压下不堪重负，GPTZero幻觉检测工具或助同行评审。

MCP很好，但它不是万灵药！真正的技术进步，往往始于祛魅之后的清醒认知

当下AI领域，MCP热度高涨，但它并非万能。文章剖析MCP本质，指出它是统一工具调用协议，与Function Call合作。同时分析其开发难题与市场乱局，强调要理性看待，明确其定位和边界，发挥潜力。

Grok最新模型吃上Cursor「加餐」，马斯克：Coding实现巨大改进

马斯克在X上透露，xAI的Grok基础模型V9 - Medium（1.5T）完成训练，预计2 - 3周后发布，训练加入大量Cursor数据。同时，xAI的AI编程代理工具Grok Build进入早期Beta测试阶段。

Sebastian Raschka 2026预测：Transformer统治依旧，但扩散模型正悄然崛起

知名AI研究员Sebastian Raschka预测2026年，Transformer架构在未来至少一到几年仍占统治地位，但会在效率和混合上微调。同时，扩散语言模型虽有工具调用缺陷，但在数据稀缺时或成更好的学习者。