「数学超级智能」共找到 3864 篇相关文章
中国设计智造大奖作品展来了！从具身智能到智慧空间，打开未来生活想象
第十届中国设计智造大展在国美良渚校区开启，展示200余件获奖作品。展览设5大主题、打造新场景，验证新技术产业化应用，还展示增强外骨骼等案例，助力未来产业集群培育。
小红书提出DeepEyesV2，从“看图思考”到“工具协同”，探索多模态智能新维度
小红书推出多模态模型DeepEyesV2，它延续视觉推理优势，实现代码执行、网页搜索和图像操作的全工具协同。通过多工具协同推理解决复杂问题，采用两阶段训练策略，准确率远超开源模型。
AI 找到了六个 Erdos 数学问题，陶哲轩：AI + 人类专家才是真正改变科学研究的方式
菲尔兹奖得主陶哲轩分享，AI 在 Erdos 问题网站实验中，帮数学家发现六个原本标记为「未解决」的问题其实已被解决。他认为 AI 有价值的应用是处理枯燥日常工作，如文献搜索。
这个世界越来越科幻了：OpenAI 发布 AI 超级助理 Plus，Gemini 发布有了真正的“思考力” 的机器人
OpenAI发布ChatGPT Pulse，它基于个人信息主动分析兴趣、梳理日程，预测需求并推送资讯或建议，像懂心思的私人助理。谷歌DeepMind推出Gemini Robotics 1.5，让机器人有自主‘思考’能力，其ER 1.5模型预览版上线。
重磅！谷歌联合 Coinbase 推出智能体支付协议 AP2，AI Agent 们可以互相打钱了
Google和Coinbase联手推出Agentic Payments Protocol（AP2），配合x402稳定币支付轨道，让AI Agent能相互对话并完成支付交易，开启了Agent经济，还展示了全自动化购物流程，微支付场景将爆发。
AI智能体加持，爆款视频产出速度提升了10倍，全民导演时代已来
Video Ocean在影像创作领域带来革新，通过AI Agent实现一人完成多职能，将拍摄周期大幅缩短。它打造自动化创作生态，能快速批量生成爆款视频，覆盖多种创作场景，操作简单，打破创作壁垒。
狂涨 17.7K star!!智能查询导入、数据可视化、AI 迁移，这款开源数据库图表工具火了！
日常开发中，数据库设计和管理工作繁琐易出错。本文介绍超实用开源项目 ChartDB，它能将数据库结构可视化，AI 帮导出 SQL，有一键导入、AI 驱动导出等特性，开源免费，多种方式安装。
AI × 老旧系统：Vibe Coding 构建 AI 迁移工具，实现 10x 端到端智能迁移
文章指出老旧系统现代化复杂且需大量人工，AI 编程工具和 Vibe Coding 带来新可能。介绍 6R 策略、绞杀模式等迁移方法，还阐述 AI 在系统分析评估、代码转换等方面的应用，最终目标是打造闭环 AI 迁移 Agent。
全网苦等GPT-5，超级对齐团队遗作成重要线索，奥特曼发话「惊喜很多」
AI圈聚焦GPT - 5，相关爆料多但模型未现。奥特曼称有很多惊喜。GPT - 5疑似技术通用验证器源于OpenAI论文，或代表AI发展进入新的架构突破时代。此外，有博主用疑似GPT - 5创作，效果惊人。
Claude 4如何思考？资深研究员回应：RLHF范式已过，RLVR已在编程/数学得到验证
Anthropic两位研究员在博客采访中透露Claude 4思考细节。提到可验证奖励强化学习RLVR在编程和数学领域获证明，探讨了RL扩展、模型自我意识等，还为大学生给出AI领域建议。