专题:ai-for-math

按该标签聚合的大模型资讯列表(自动分类与标签提取)。1 篇文章。

媒体量子位2026/02/14 16:377920

中国上智院、北京大学、复旦大学联合团队推出强化学习系统PackingStar,一举突破困扰数学界300多年的高维亲吻数难题。该系统首次将高维几何问题转化为AI擅长的多智能体博弈,通过余弦矩阵表示和填充-修剪机制,刷新了25-31维连续7个维度的世界纪录,并发现大量反直觉的非对称构型。此成果标志着AI for Science从数据驱动迈向自主探索的2.0时代…