「AI 数学发现」共找到 10335 篇相关文章
零一万物高管新阵容亮相，李开复加码布局ToB 2.0
零一万物ToB战略加速落地，公布新一轮高管任命，沈鹏飞、赵斌强、宁宁三位核心管理者亮相。其“一把手工程”依托万智平台，已覆盖多行业，在国内外均有合作成果，目标是让AI成企业转型推动者。
英伟达用NIM + NV-Tesseract模型，提高芯片生产良率
芯片制造良率控制难题待解，传统方法各有局限。英伟达推出NV - Tesseract模型家族和NIM推理微服务，二者结合用于半导体晶圆厂生产，可实时发现问题、预测故障，降低成本，为制造打开新大门。
Claude 代码框架之战
开发者尝试让Claude做繁琐编码工作，自己担任高价值角色。当前开发者社区正进行“Claude代码框架之战”，文中给出设计Claude工作流的八个选择及搭配套餐，指出设定框架能让AI发挥最大效力。
英伟达GPU被曝严重漏洞，致模型准确率暴跌99.9%
英伟达GPU被白帽黑客发现严重漏洞，通过GPUHammer攻击可使大模型准确率从80%降至0.02%。此攻击属Rowhammer类，直接对显存“物理动手”。英伟达建议的防御措施会使模型性能下降。
通往 AGI 之路的苦涩教训
Google DeepMind CEO 预测 5 到 10 年有 50% 概率实现 AGI。本期《万有引力》直播对话将探讨通往 AGI 之路的教训。6 月 27 日，唐小引将对话刘嘉，从其学术轨迹解答 AI 路上的教训，还会剖析技术路径。
全球DRAM第一，换人了
据多家市场调研公司报告，今年第一季度SK海力士登顶全球DRAM市场，市占率36%超三星、美光。其登顶早有预期，借AI浪潮HBM需求火热。美光、三星也在HBM领域奋起直追。
JManus - 面向 Java 开发者的开源通用智能体
在Manus火热背景下，Spring AI Alibaba JManus诞生，它是用Java实现的开源OpenManus。可集成多个大模型，功能完善，能让Java开发者低门槛搭建智能体系统，还给出了运行方法及共建思路。
DeepSeek-R1发布后的100天复现之旅方法总结
DeepSeek团队发布「推理大模型」DeepSeek-R1 ，其技术细节未完全开源，全球研究团队开启“复现竞赛”。论文总结100天复现经验，介绍推理大模型与普通大模型区别、复现方法、关键发现及未来方向。
腾讯版Claude Design来了：多人实时同屏审设计稿，一键转代码直通IDE
腾讯公测AI设计智能体平台Ardot，有一句话生成可编辑UI设计稿、Figma文件零成本导入、一键转代码直通IDE、多人在线评审等功能。它能提升前期出稿效率，支持局部精准微调，适配主流IDE。
2026具身智能数据赛道，卷出了一匹「黑马」
在具身智能面临数据掣肘的背景下，觅蜂科技宣布2026年4月16日将在上海举办一站式物理AI数据服务平台发布会，展示全栈方案，解决核心痛点，发布会有诸多看点，还将举办高规格圆桌论坛。