「AI数学研究」共找到 10604 篇相关文章
Spring AI Alibaba 1.0 GA 正式发布，Java智能体开发进入新时代
2025年AI智能体爆发，Java智能体构建需求激增。Spring AI Alibaba 1.0发布，是基于Spring AI的AI框架，提供多智能体框架、生态集成等核心能力，助力Java智能体开发，还规划了持续迭代、可观测评估等功能。
从“卷模型”到“算总账”：AI 产业竞争开始拼什么 | 请回答 WAIC 2026
WAIC 2026热度高涨，InfoQ直播间追问‘AI正在重写什么’。与会嘉宾讨论AI产业新阶段变化，如从‘看能力’到‘算总账’，认为模型重要性方式已变，还探讨了AI原生产品定义、AI Infra影响及未来关注方向。
第一股AI亚文化兴起了
今年兴起由文生视频技术推动的AI亚文化，如AI生成的职场视频，主角是Sam Altman对历史名人进行PUA，国内外这类视频数据都很好。亚文化兴起特征是解构权威，且技术成熟促使其诞生。
Meta与Scale AI合作出现问题
Techcrunch消息，Meta向Scale AI投资143亿美元并招揽其高管运营超智能实验室，合作仅两月就出问题。人事有变动，TBD Labs与Scale AI对手合作，有人认为其数据质量低，Meta否认，投资开局或不利。
百度在 AI IDE 上的决心
百度发布国内首个多模态、多智能体协同的AI IDE：Comate AI IDE。其功能完备，百度在AI IDE赛道决心大。随着模型和Agent能力提升，百度认为未来IDE竞争本质是Agent竞争，其早有相关布局。
陶哲轩都惊了！o3首战「AI奥数」碾压夺冠，开源军团仅差5分狂追OpenAI
AI界奥数杯重启，OpenAI o3首参赛，算力拉满时以47分夺冠。测评显示在奥数数学推理上，商用和开源AI差距缩小，开源即将追上商用模型。报告完整测试结果已放出。
AI 的经济账根本算不通
文章指出AI经济账算不通，如GitHub Copilot将按用量计费，此前微软补贴用户算力；AI订阅服务成本波动大，欺骗用户；AI数据中心建设和运营成本高、收入少，依赖少数客户，OpenAI和Anthropic盈利难，可能影响相关企业。
当AI无所不能，你如何不可替代？
近日硅谷掀起裁员潮，AI 普及使职场人充满“被替代”焦虑。《太稳不太稳》直播栏目中，万维钢与霍太稳探讨“AI 时代人类如何保持核心竞争力”，指出人类主动性等是 AI 无法复制的价值。
投奔小扎，Jason Wei连发两篇博文公布“屠龙术”：一个公式看透AI，一条心法指引人生
OpenAI研究科学家Jason Wei被小扎挖走后连发两篇文章。一篇提出“验证者定律”，指出训练AI解决任务难易与可验证性成正比；另一篇从强化学习悟到人生要走On - Policy路线，发挥自身优势。
一家智能眼镜公司，为什么非要自研AI大模型系统？｜甲子光年
智能眼镜要么不够智能，要么不像眼镜，李未可科技CEO茹忆认为AI要成第一响应者。该公司推三款AI眼镜，搭载自研系统。其自研AI大模型系统，是为交付难复制AI体验闭环，解决通用API不足等问题。