「数学物理」共找到 779 篇相关文章
Claude一举扫清2000阶以下哈达玛矩阵!AI开始清空数学“待解列表”
Anthropic研究员携手Claude做出668阶哈达玛矩阵,解决该问题。此问题曾难倒人类数学家30年,被收录进FrontierMath基准测试。此次还扫清2000阶以下所有悬而未决的哈达玛矩阵阶数。
具身数据来了实战派!40天2轮融资数千万,瞄准物理AI基础设施
近日,具身智能数据基础设施公司元点科技完成数千万元融资。其创始人郭江亮认为具身智能竞争进入下半场,本质是数据竞争。元点用MatrixOS构建数据基础设施,业务与生态全面铺开,团队实力强,瞄准2027 - 2029窗口期。
彻底失控!AI恐惧演变物理暗杀:老黄随身带5个保镖,奥特曼们沦为靶子
AI时代,AI行业危机从屏幕走向现实。奥特曼住宅遇燃烧瓶袭击,特朗普晚宴有枪击事件,老黄带五个保镖。AI抽象,公众将情绪聚焦大佬,安保成AI时代新基建。
编程智能体的隐藏bug,被上交IPADS团队用数学逻辑给揪出来了
上海交通大学 IPADS 研究团队打造 FM - Agent,实现大规模系统全自动正确性推理。它能从顶尖编程智能体生成的大规模系统中找出隐藏 bug,还提出新规约生成方法,在绝对严谨与工程可用间找到平衡。
柔体操作最缺数据、最怕仿真失真?新研究让布料物理真实再现
上海AI Lab的SIM1研究实现布料物理性质真实再现,解决仿真数据与真实场景对齐问题。它提出real - to - sim - to - real新范式,通过闭环流程生成数据,能扩展轨迹、提升泛化能力,有望重新定义机器人数据天花板。
RXD大会首发北京:当硅谷还在谈论物理AI,西门子已重写工业规则
3月23日,西门子Siemens RXD大会在北京开幕。西门子首席执行官博乐仁称,AI是通用型技术,公司有贯通硬软件与数据的技术栈。大会发布26款新品,多指向硬件,还展示了数字孪生等应用,凸显数据和行业知识重要性。
半世纪难题48小时破解!陶哲轩组队把AI数学玩成打怪游戏了
陶哲轩与多名数学家合作,借助多种AI工具,仅用48小时就解决了尘封50年的Erdős问题。此次解题既有“人与人的协作”,也有“人与AI的协作”,这种方式正成新趋势。
GPT-5通过“哥德尔测试”!独创性解决博士生都得花几天时间的开放数学问题
最新论文中,研究人员让GPT - 5挑战5个未解决的优化猜想,它解出3个,还对一题给出不同有效证明方案。测试题需博士水平研究者花几天完成,研究还“挑衅”了陶哲轩对大模型数学能力的印象。
「流匹配」成ICML 2025超热门主题!网友:都说了学物理的不准转计算机
第42届国际机器学习大会(ICML)2025年7月将在加拿大举行,生成式AI前沿热点转向高质量、稳定、简洁、通用模型形态,流匹配技术踩中热点。它源于流体力学,能将噪声转化为数据,与扩散模型有紧密联系。
陶哲轩看傻:三破18年数学纪录!谷歌推出「AI爱迪生」,科研不再靠灵感?
5月中旬谷歌发布AlphaEvolve,30天攻克18年未解难题。它利用Gemini模型发现新算法,从AlphaGo获启发,能在编程空间搜索方案,或开启不靠‘灵感’的科学革命,还将改变科学家角色。