全球首个！国产AI出的题被收入高规格人类数学竞赛
我国科研团队开发出全球首个同时具备自主出题（Proposing）和自动解题（Solving）双重能力的通用人工智能系统——“通矩模型”（TongGeometry）。相关成果26日发表于《自然·机器智能》。
中国AI新突破：在奥数几何领域实现“自主出题”
人民网北京1月28日电 (记者赵竹青)1月26日，由北京通用人工智能研究院(BIGAI)、北京大学心理与认知科学学院、北京大学智能学院、北京大学人工智能研究院以及北京大学武汉人工智能研究院联合组成的科研团队，研发出的“基于引导树搜索的奥数几何问题提出与解答系统”，成果发表于国际学
“数学是种族歧视者”？这个热搜把美国网民看傻了
8日，在美国社交媒体平台推特的热搜榜单上，有一条标题叫“数学是种族歧视者?”的新闻，让很多美国网民表示非常不可思议，随后掀起了一场关于美国种族问题的大讨论。
全球首个！国产AI出的题被收入高规格人类数学竞赛
来源：科技日报 ◎ 科技日报记者 杨雪我国科研团队开发出全球首个同时具备自主出题（Proposing）和自动解题（Solving）双重能力的通用人工智能系统——“通矩模型”（TongGeometry）。相关成果26日发表于《自然·机器智能》。
“解题”到“出题” 北大与北京通用人工智能研究院团队获突破
中新网北京1月26日电 题：“解题”到“出题” 北大与北京通用人工智能研究院团队获突破记者 张素“它不仅是一个能解题的‘优等生’，更是一位能从无到有创造出具备数学审美价值的题目的‘金牌教练’。”谈及“通矩模型”(TongGeometry)系统，北大科研团队如是说。
今年的诺奖，AI和专家都猜错了
“AI擅长在已知的数据里寻找最快的答案，而诺奖奖励的，往往是经得起时间考验的答案。”这一周，2026年诺贝尔奖陆续公布。
从“解题”到“出题”，我国科学家研发“通几何”系统
【洞见·TMT】最近，由北京通用人工智能研究院、北京大学心理与认知科学学院、北京大学智能学院、北京大学人工智能研究院，以及北京大学武汉人工智能研究院联合组成的科研团队取得一项重大突破：“基于引导树搜索的奥数几何问题提出与解答系统”。
数学学不好是因为种族歧视？“数学种族歧视者”上美国热搜，网友无语
今天，在美国社交媒体平台推特的热搜榜单上，有一条标题叫“数学是种族歧视者?”今年5月，《华尔街日报》的评论版刊登了一篇名叫《在加州，认为2+2=4或许会被看作种族主义者》的文章，文中提到美国有部分自称“左翼”的抗议者认为黑人在数学课上的表现不够理想，以此指责这门课“有种族主义倾向”，甚至还要求当地取消数学课，一时让包括黑人自己在内的不少美国人觉得这是“无理取闹”，把种族议题扩大化。
全球首个，国产AI出的题被高规格人类数学竞赛收录
IT之家 1 月 27 日消息，据科技日报报道，我国科研团队开发出全球首个同时具备自主出题（Proposing）和自动解题（Solving）双重能力的通用人工智能系统——“通矩模型”（TongGeometry）。相关成果于 1 月 26 日发表于《自然 · 机器智能》。
美团又开源！专攻数学定理证明，能模拟人类解题，刷新多项开源SOTA
智东西3月25日消息，昨日，美团龙猫团队发布专门了用于数学形式化与定理证明模型LongCat-Flash-Prover的背后技术栈。