4月14日·AI助力破解50年数学难题，南大校友完成首个非平凡数学证明

4月14日·周一  AI工具和资源推荐

AI助力破解50年数学难题，南大校友完成首个非平凡数学证明

美国纽约布鲁克海文国家实验室的华人学者Weiguo Yin利用OpenAI的o3-mini-high模型，成功破解了一道困扰数学界50年的难题——一维J_1-J_2 q态Potts模型的精确求解。该模型在q=3时，通过引入最大对称子空间方法，实现了转移矩阵的块对角化，最终得到了精确解。这一成果不仅为凝聚态物理、材料科学等领域中的诸多问题提供了新见解，还展示了AI在科学研究中的巨大潜力。Weiguo Yin于1998年获得南京大学博士学位，此次研究是AI首次辅助完成非平凡数学证明，为未来AI与科学研究的深度融合开辟了新路径。来源：微信公众号【新智元】

谷歌Gemini 2.5 Pro霸榜，AI编程领域格局生变

谷歌的Gemini 2.5 Pro在多语言编程基准测试中登顶，成为全球编程能力最强的AI模型。该模型不仅性能卓越，还以6美元的成本碾压其他竞争对手，如36.83美元的Claude 3.7 Sonnet。谷歌凭借其强大的第七代TPU加速处理能力，进一步巩固了Gemini 2.5 Pro的优势。此外，谷歌还暗藏更强的编程模型Dragontail，其在Web开发领域的表现远超Gemini 2.5 Pro，展现出卓越的UI设计和功能完整性。谷歌的这一系列动作，不仅让其在AI编程领域重回王座，也让其他竞争对手如Anthropic和OpenAI面临巨大挑战。随着谷歌的强势崛起，AI编程领域或将迎来一场新的“迁徙”。来源：微信公众号【新智元】

DeepSeek开源推理引擎，OpenAI发布周引人瞩目

DeepSeek在其GitHub库中发布了一份题为“开源DeepSeek推理引擎的路径”的文档，宣布将开源其内部推理引擎，并与开源社区展开广泛合作。该文档经历多次修改，措辞更加中立，强调与整个开源社区的合作。DeepSeek的推理引擎基于vLLM，此次开源计划将提取可复用组件并贡献优化，以回馈开源社区。与此同时，OpenAI也宣布将开启一轮发布周，引发了广泛猜测。根据OpenAI CDN上公布的图标，此次可能发布包括o3满血版、o4-mini以及GPT-4.1系列模型。此外，OpenAI还可能开源与DeepSeek-R1比肩的Optimus Alpha模型，并推出智能体软件工程师（A-SWE）产品，用于自主完成编程任务。两大AI巨头的最新动态，无疑将为AI领域带来新的变革。来源：微信公众号【机器之心】

清华与上海AI Lab提出GenPRM模型，小模型通过测试时扩展逆袭GPT-4o

清华大学联合上海AI Lab提出了一种新的生成式过程奖励模型（GenPRM），该模型通过结合思维链推理和代码验证，并引入测试时扩展机制，在数学推理基准测试中表现出色。仅使用1.5B参数的GenPRM模型通过测试时扩展策略超越了GPT-4o，而7B参数版本更是击败了72B参数的Qwen2.5-Math-PRM-72B。GenPRM通过相对进步估计和代码验证合成高质量训练数据，仅用23K样本就取得了优异性能。该模型不仅能够验证答案准确性，还能作为批评者指导策略模型优化输出，为大语言模型的可解释过程监督提供了新思路。来源：微信公众号【机器之心】

CADCrafter：单图生成可编辑CAD文件，解决AI 3D模型“不可编辑”痛点

魔芯科技、新加坡南洋理工大学（NTU）等机构的研究人员提出了一种名为CADCrafter的新框架，能够从单张图像直接生成可编辑的CAD工程文件。与传统的图生3D方法不同，CADCrafter生成的是原始CAD文件，用户可以通过编辑CAD指令轻松修改物体的几何特征。该框架采用结合VAE与扩散模型的两阶段生成架构，并引入蒸馏策略和基于DPO的可编译性代码检查机制，显著提升了生成模型的实用性和成功率。实验表明，CADCrafter在细节还原度和表面质量上优于现有方法，为AI辅助工业设计提供了新的解决方案。相关论文已被CVPR 2025接收。来源：微信公众号【量子位】