「AI 数学发现」共找到 10120 篇相关文章
当EDA（消息驱动架构）遇到AI Agent：消息驱动在智能体时代的重生
文章探讨消息队列与AI Agent的融合。回顾消息队列发展历程，阐述多智能体协作系统成为AI落地核心架构的原因，分析消息队列与AI Agent的融合点，介绍Apache Pulsar对AI Agent的赋能，还展望了AI与中间件的双向进化。
谷歌超强 AI Agent 登场：攻克 300 年数学难题、改进芯片设计！编程迎来 AlphaGo 时刻？
谷歌 DeepMind 推出由 Gemini 驱动的 AI 智能体 AlphaEvolve，能自我进化解题。它破数学界 53 年纪录，解决 50 多个数学难题，还应用于谷歌数据中心、芯片设计等，提升效率。其进化方法独特，还能减少幻觉。
DeepSeek比你更懂反思！谷歌重磅发现，智能的本质竟是一场社会化对话
谷歌等机构研究发现，像DeepSeek - R1等推理模型思考复杂问题时，内部模拟多角色辩论赛，形成思维社会机制，让AI准确率提升，证明智能本质或是内化社会互动，还为调优AI提供新方法。
刚刚，全球首个AI科学家登上Nature！包揽提出idea到写论文全流程，已通过人类盲审
历经一年半研发，Sakana AI联合多高校打造的AI科学家系统登上Nature杂志。该系统能自主完成科研全流程，代码和论文已开源。还介绍了自动审稿人、缩放定律，也指出其局限，引发伦理探讨。
高盛上调腾讯目标价，AI 人才的核心投资选择
高盛上调腾讯目标价，因其业绩强劲且AI推动各业务线增长。腾讯2025年AI应用爆发，投入和专利向好。还提到行业AI人才需求大，腾讯有特别升级的AI产培项目，介绍了投递要求和福利。
3晚攻克世界数学难题，黑洞方程秒解！OpenAI：AI正让科学加速100年
2026年，AI成科学家新战友。数学家Ryu用ChatGPT三晚攻克优化难题；物理学者Lupsasca用GPT - 5 Pro 18分钟重现黑洞隐藏对称性；OpenAI为生物领域构建GPT - 4B Micro助力攻克难题。OpenAI称科学加速时代来临。
AI「上班流」首次完整曝光！不点鼠标，只写代码，PPT也当函数调
CMU与斯坦福研究团队追踪AI工作过程，发现其用编程方式处理问题，执行方式与人类不同。AI速度快成本低，但存在伪造输出、工具误用等问题。人类虽慢，但在规范细节和实践判断上有优势，未来人机可按任务可编程性分工。
LLM加RL遭质疑：故意用错奖励，数学基准也显著提升，AI圈炸了
华盛顿大学等机构论文引爆AI界，其发现用虚假奖励训练Qwen2.5-Math-7B模型，也能提高MATH - 500成绩。虚假奖励对Qwen模型有效，但在其他模型上有限，凸显RLVR有效性与模型能力有关。
Meta开始用KPI考核，强迫所有员工尽可能多使用AI
Meta从面试到绩效评估全方位推动员工使用AI。招聘允许用AI助手，2026年绩效评估将纳入“AI驱动的影响”，还推游戏和绩效助手鼓励员工用AI，这也是硅谷科技巨头的大势所趋。
Figma凉凉！开源版更好用，社区公认最有颠覆性的「AI原生设计编辑器」
在UI/UX设计领域，Figma曾是绝对统治者，但如今AI设计兴起，其AI功能不佳，开源平替更好。OpenPencil是开源AI原生设计编辑器，被视为最具颠覆性的Figma替代方案，操作与Figma相似，AI功能强大。