「孪生素数猜想」共找到 58 篇相关文章
菲尔兹奖成果首次被AI完整形式化，Gauss20万行代码改写数学史？
Math, Inc. 公司用 Gauss 智能体完成 8 维和 24 维空间最优球体堆积定理形式化证明，代码约 20 万行。该定理最初由 Maryna Viazovska 及其合作者证明，这是本世纪首个被完全形式化证明的菲尔兹奖成果。
告别“试验田”：当大模型真正嵌入 ERP、供应链与核心决策流 | AICon
文章围绕大模型嵌入企业核心系统展开，邀用友罗小江等担纲。介绍鞍钢赵伟升级 RAG 技术、用友罗小江构建决策架构、京东耿东阳用大模型优化供应链的案例，为企业数智化转型提供参考。
谷歌DeepMind最新论文，刚刚登上了Nature！揭秘IMO最强数学模型
谷歌DeepMind的AlphaProof在IMO获接近金牌的银牌成绩。它结合大模型直觉、强化学习和Lean形式化证明解题，虽在速度、泛化和读题上有局限，但开启了人类数学家与AI协作新阶段。
哈萨比斯出的难题，GPT之父接上了：用一个知识停在1930年的模型
GPT之父Alec Radford等用1931年前数据训练13B模型Talkie，切断现代知识污染。研究者测试其能力，探讨它对未来的“预感”、规避污染问题及数据多样性等，同时训练中也面临时间泄漏、数据质量等难题。
诺奖得主和Claude联手发论文，结论是：AI时代更需“笨功夫”
7月，诺奖得主乔治·帕里西与弗朗西斯科·赞波尼发表论文，借助Claude终结困扰领域十二年的猜想。此前帕里西批判AI，此次合作后态度转变，强调人机协作及人类独立思考的重要性。
联手诺基亚入局6G，老黄要制定全球标准！GTC最新演讲揭秘：「美国科技的未来」就靠这6张王牌
老黄在华盛顿 GTC 大会演讲，英伟达要和诺基亚合作干 6G，重新构筑世界通信系统。演讲涉及 6 大核心，包括利用物理人工智能和数字孪生技术重塑美国工业化等，还介绍了加速计算、AI 变革等多方面内容。
基于风雷软件的NF3数字风洞
在第四届智能流体力学产业联合体大会发布的数字孪生风洞「风神NF3」相关技术在《太阳能学报》发表。基于风雷软件构建西北工业大学NF - 3数字风洞，可自动生成网格、高效计算，实现飞行器翼型数值模拟自动化和业务化运行。
RXD大会首发北京：当硅谷还在谈论物理AI，西门子已重写工业规则
3月23日，西门子Siemens RXD大会在北京开幕。西门子首席执行官博乐仁称，AI是通用型技术，公司有贯通硬软件与数据的技术栈。大会发布26款新品，多指向硬件，还展示了数字孪生等应用，凸显数据和行业知识重要性。