AI资讯 2025/12/28
AI 日报
AI内容摘要
阿里巴巴AntV团队推出AI自动可视化框架，用户输入描述即可生成结构化信息图。数学家陶哲轩发现AI破解的数学难题实为旧成果，揭示其作为超级图书管理员进行知识考古的能力。2025年AI领域聚焦AGI向ASI演进，中国开源模型DeepSeek-R1登上《自然》封面，行业强调掌握AI工具与人类核心地位的重要性。Ruby 4.0发布，推出全新编译器ZJIT和隔离命名空间Ruby::Box，提升性能与安全性。上海人工智能实验室评测显示顶尖AI模型离合格科学家仍有显著差距，在科学探究各环节存在不足。氛围编程概念在2025年面临现实检验，调查显示AI辅助编程未显著提升效率且可能削弱开发者能力。智谱AI推出可视化AI编程环境ZCode，集成多种模型并提供对话式版本管理，降低使用门槛。
Today’s AI News
AntV Infographic：一句话自动生成漂亮、结构化的信息图：阿里巴巴AntV团队推出新一代信息图生成与渲染框架。用户只需输入几句话描述，系统即可自动生成结构化的信息图，实现"AI自动可视化”。该框架具备AI原生优化、声明式图形语言、高质量SVG矢量输出、200+模板、多主题风格、实时流式渲染、内置编辑器及开发者友好等特性，适用于教学、数据展示、报告等多种场景。
陶哲轩亲自曝光：AI破解数学难题，竟全是「抄」的？：数学家陶哲轩发现，近期AI声称解决的多个Erdos难题，实则是多年前已被人类解决但被遗忘的旧成果。陶哲轩指出，这并非简单的"数据污染”或作弊，而是AI利用强大算力，从海量文献中识别并摘取了那些"最易摘取的果实”——即使用标准技术即可解决，但因未被充分宣传而被主流知识库标记为"未解决”的问题。这揭示了AI当前的核心能力是作为"超级图书管理员”，高效扫描人类知识体系中的"长尾”和"信息黑洞”，进行"知识考古”而非真正的从零创新。
硅谷豪赌2万亿！DeepSeek登顶Nature，Meta却成2025最大输家？：2025年，AI领域聚焦于从AGI（通用人工智能） 向ASI（超级人工智能） 的演进。AI模型在推理、多模态等能力上显著进步，并在多项测试中超越人类基准。投资激增，科技巨头竞相布局。中国开源模型崛起，DeepSeek-R1成为首个登上《自然》封面的同行评议大模型。行业领袖普遍认为，未来2-3年是AGI竞争的关键期，并强调三大趋势：掌握AI工具将成为职场关键，否则可能被取代；软技能（如沟通协作）的价值愈发凸显；必须确保人类在AI发展中的核心地位，对齐人类利益。
Ruby 4.0正式发布！推出全新编译器+原生隔离环境：在30周年之际，Ruby语言发布了全新的4.0版本。主要更新包括：1. 全新编译器ZJIT：这是一种基于静态单赋值（SSA）中间表示的即时编译器，旨在突破现有YJIT的性能上限，通过全局分析支持常量折叠、死代码消除等深度优化。2. 隔离命名空间Ruby::Box：这是一个用于隔离代码执行环境的容器类，通过彻底的命名空间隔离解决"全局污染”和"猴子补丁”引发的命名冲突问题，为构建安全、模块化应用提供原生支持。3. 重设计的Ractor API：引入了Ractor::Port机制作为专用信道，改进了并发编程的消息定向投递与安全性，并提供了更清晰的同步原语和高效的多路复用方法。此外，Ruby 4.0还包括语法优化、核心库升级、调试体验增强、Unicode 17.0支持、更严格的空值检查、底层性能优化以及更灵活的数组查询等一系列更新。
别再吹AI搞科研了！新评测泼冷水：顶尖模型离「合格科学家」还差得远：上海人工智能实验室发布了针对AI"科学通用能力（SGI）”的评测基准SGI-Bench。该基准将科学探究拆解为审思、构思、行动、感知四个循环阶段进行全流程评估。首轮评测结果显示，表现最佳的闭源模型Gemini-3-Pro的SGI得分仅为33.83/100，距离"合格科学家”的门槛仍有显著差距。具体来看，模型在审思（深度研究） 环节存在长链条推理错误导致结论崩塌；在构思（创意生成） 环节，想法新颖但可行性普遍偏低；在行动（实验执行） 环节，无论是干实验（代码合成）还是湿实验（流程规划），模型的严格正确率都较低；在感知（结果解读） 环节，多模态推理能力，尤其是比较推理，仍是短板。该研究指出，当前AI在证据聚合、方案可行性、代码科学正确性、实验时序规划等方面存在系统性不足。
氛围编程，可能是2025年最大的AI骗局：曾被热炒的"氛围编程”概念在2025年面临现实检验与"祛魅”。尽管科技高管曾乐观预测AI将生成大部分代码，但实际应用表明，AI辅助编程并未显著提升工作效率。调查显示，使用GitHub Copilot的开发者代码错误率反而高出41%，且多数开发者对AI生成代码的准确性信任度很低。更深层的问题在于，过度依赖AI可能导致开发者编程能力"肌肉”萎缩、解决问题意愿下降，这种现象被称为"机器绕道”。随着炒作降温，业界观点趋向理性：AI更可能作为专业、精细的辅助工具来增强而非取代富有创造力的开发者，同时为软件测试等环节带来更多帮助。氛围编程的狂热正在消退，现实应用和长期影响成为关注焦点。
智谱AI推出ZCode：桌面级可视化AI编程环境：智谱AI推出了名为ZCode的桌面级、可视化AI编程环境，旨在解决Claude Code、Gemini CLI等AI编程工具因依赖命令行交互而带来的高门槛问题。ZCode的核心功能包括：1）将命令行操作可视化，提供图形界面以切换模型、管理文件及回滚修改；2）集成智谱GLM、Claude、Gemini、OpenRouter等多种主流AI模型，用户可在同一界面中切换使用；3）提供对话式版本管理，自动保存每次AI交互的代码状态（Checkpoint），支持可视化差异对比和历史回滚；4）支持MCP协议，使AI能联网搜索、视觉理解及访问自定义服务；5）内置多个能自动分工协作的智能子代理，用于代码生成、审查等任务；6）实现零配置、即开即用，无需安装Node.js或Python环境。该工具主要面向独立开发者、前端工程师和技术产品经理，旨在将AI编程从实验性行为转变为融入日常工作流的工程实践。