英伟达入局开源大模型之战？！高效推理模型LN-Ultra超过DeepSeek-R1
英伟达在huggingface上发布了Llama-Nemotron系列开源模型，性能媲美甚至超越DeepSeek-R1等先进模型，支持8B、49B和253B参数大小。该模型采用多阶段训练技术提升推理效率，并发布完整的训练数据集和代码库。
丁灵波
DeepSeek最新推出Prover-V2模型，专为形式化定理证明而设计
DeepSeek发布新模型DeepSeek-Prover-V2，专为形式化定理证明设计，在神经定理证明方面取得领先性能，并提出多项创新实验提升模型能力。
媲美GPT-4o图像生成！国产开源AI图像编辑神器Step1X-Edit叫板OpenAI
国内AI团队推出Step1X-Edit图像编辑框架，具备自然语言指令进行复杂图像编辑的能力，性能接近OpenAI的GPT-4。
重磅开源！英伟达团队推出Eagle 2.5，8B参数性能叫板GPT-4o，附带全新数据集
英伟达团队发布Eagle 2.5视觉语言模型，在长上下文多模态学习方面取得显著进展，其在Video-MME基准测试中实现了72.4%的高准确率。该模型通过信息优先采样、渐进式混合后训练和多样性驱动的数据配方等创新技术提升性能，并已在开源社区上线。
AI开发进入“全民时代”？百度秒哒全量上线，首日吸引2万用户
百度近期在AI领域动作频频，推出秒哒平台让开发者能快速开发H5、网站等应用。该平台通过自然语言描述需求生成代码，集成多种智能体和工具实现高效开发。百度CEO李彦宏曾预测，这将使更多人成为‘程序员’，带来新的商业机会。