「数学研究目标」共找到 2660 篇相关文章
西湖大学修宇亮，想做「会格斗的数字人」丨GAIR 2025
2025年12月12 - 13日，第八届GAIR全球人工智能与机器人大会将在深圳举办。西湖大学助理教授修宇亮12月13日将在《世界模型》论坛演讲，带来数字人研究最新成果，其曾破局三维数字人姿态重建难题，还想做“会格斗的数字人”。
更大，还能更快，更准！蚂蚁开源万亿参数语言模型Ling-1T，刷新多项SOTA
10月9日，蚂蚁开源万亿参数语言模型Ling-1T。它延续自研高效MoE架构，在编程、数学推理等多维度测试表现亮眼，还能兼顾精确与效率。此外，它在多场景实用性强，其创新设计提升了能效比与性能。
12.1万高难度数学题让模型性能大涨，覆盖FIMO/Putnam等顶级赛事难度，腾讯上海交大出品
腾讯AI Lab与上海交大团队联合推出首个基于自然语言的数学定理证明框架与数据集DeepTheorem。12.1万道高难度数学“特训题”让模型定理证明性能大涨，7B模型性能比肩或超越现有开源和商业模型。
ICLR 2026｜CMU等团队让AI生成的3D场景真正「站得住」：PAT3D把文生3D从能看推进到能模拟、能交互
现在3D AIGC虽能快速生成场景，但落地有问题，很多场景物理模拟时会暴露物体悬空等问题。CMU等团队提出PAT3D，目标是让生成的3D场景物理上站得住，可用于编辑、交互和仿真，且代码已开源。
感觉这次扣子 2.0 触碰了模型和工程的天花板
2026 年，真正好用的 AI Agent 应能拆解目标、推进过程和交付验收。扣子 2.0 正式发布，从“给指令的工具”变为“能干活的工作伙伴”，有技能和长期计划两大核心升级，还具备扣子编程功能，拓宽了 AI 能力边界。
Neuralink芯片入脑让瘫痪男子重新开口，家属泪崩！
伦敦一名患运动神经元疾病、几乎全身瘫痪的男子Paul，植入Neuralink脑机接口装置后，能用「意念」操控电脑打字。Neuralink核心装置N1芯片可捕捉脑信号，让机器理解大脑想法，但临床研究尚处早期，也面临数据归属等问题。
阿里的未来，是通往超级人工智能
云栖大会上，阿里巴巴 CEO 吴泳铭演讲传达阿里对 AI 发展判断与战略规划。他认为 AGI 非终点，ASI 是目标，并提出实现三阶段。还指出阿里抓住大模型和 AI Cloud 支点，要把通义千问打造成 AI 时代 Android 系统。
独家丨他辞去海外终身职位、带整建制团队回国，要攻下半导体最卡脖子的环节
达博辞去日本国立材料研究所永久职位，带团队回国受聘中科大。他深耕半导体装备关键材料与核心部件，提出‘白色电子’方法、制备圆柱对称旋转晶体。当下国内半导体装备有短板，他目标实现核心材料和部件国产化。
Anthropic开源认知对齐MSM
大模型对齐、安全问题是行业大事，Anthropic开源的MSM对齐方法，能将Qwen3 - 32B的agent错位率大幅降低。它先给模型讲规则逻辑再微调，控制精度高，还研究了最佳实践，将改变大模型对齐流程。
IEEE TAP|上海交通大学曹慧琳、南京大学任宇翔等：AI赋能电磁仿真：物理–数据混合驱动的PdEgatSCL模型实现高效建模
为实现电大尺寸目标快速精确建模，本文提出物理 - 数据混合驱动的PdEgatSCL方法，学习CFIE做端到端预测。用EGAT架构，编码格林函数等特征。测试显示它精度高、速度快、省内存，可加速电磁建模与逆向设计。