TAG:数学竞赛
国产AI出题首入高规格人类数学竞赛
我国科研团队研发的全球首个具备自主出题与解题双重能力的通用人工智能系统“通矩模型”取得突破，其原创题目已入选人类高规格数学竞赛。该系统仅需单张消费级显卡即可高效解决奥数几何难题，实现了从模仿解题到自主创造的范式转变，标志着我国在自动化推理领域达到国际领先水平。
9 
0 
字节发布Seed新模型 数学竞赛夺金展推理实力
字节跳动Seed AI团队发布数学推理模型Seed Prover1.5，该模型在国际数学奥林匹克竞赛中获得金牌，仅用16.5小时解决IMO2025前五题，成绩与谷歌Gemini并驾齐驱。模型通过大规模强化学习、Agentic Prover和Sketch Model等创新技术，将证明成功率提升至近90%，并在北美数学竞赛中刷新纪录，标志着AI推理能力迈入新阶段。
美股深夜全线暴跌：道指重挫500点 特斯拉跌3% 中概股普跌 加密货币跳水
2026-03-27
0 浏览
谷歌新算法冲击全球内存股 瑞穗称上车良机
2026-03-27
0 浏览
珞石机器人：全栈技术赋能智能时代生态建设
2026-03-27
0 浏览
中国机器狼群巷战画面首曝光 军工技术再显降维打击
2026-03-27
0 浏览
国金证券CIO：AI将深度变革证券业三大领域
2026-03-27
0 浏览
95后AI天才少女罗福莉最新发声
2026-03-27
0 浏览
长城汽车2025年财报：营收破2228亿 城市NOA瞄准10万元市场
2026-03-27
0 浏览
丰田召回在华56万辆汽车 涉及汉兰达等车型
2026-03-27
0 浏览
新加坡国立大学研发全球最快骨骼肌驱动机器人 先练肌肉再破游泳纪录
2026-03-27
0 浏览
江铃汽车2025年营收391亿 净利下滑23% 2026年目标销量43万辆
2026-03-27
0 浏览
