TAG:数学竞赛
国产AI出题首入高规格人类数学竞赛
我国科研团队研发的全球首个具备自主出题与解题双重能力的通用人工智能系统“通矩模型”取得突破，其原创题目已入选人类高规格数学竞赛。该系统仅需单张消费级显卡即可高效解决奥数几何难题，实现了从模仿解题到自主创造的范式转变，标志着我国在自动化推理领域达到国际领先水平。
9 
0 
字节发布Seed新模型 数学竞赛夺金展推理实力
字节跳动Seed AI团队发布数学推理模型Seed Prover1.5，该模型在国际数学奥林匹克竞赛中获得金牌，仅用16.5小时解决IMO2025前五题，成绩与谷歌Gemini并驾齐驱。模型通过大规模强化学习、Agentic Prover和Sketch Model等创新技术，将证明成功率提升至近90%，并在北美数学竞赛中刷新纪录，标志着AI推理能力迈入新阶段。
美股三大指数震荡整理，芯片股走高，光通信板块大涨
2026-05-11
0 浏览
多空胶着恒指震荡整理，AI景气外溢主导行情波动
2026-05-11
0 浏览
宠物AI公司PurrPurr获阿尔法公社投资 首年GMV目标5000万
2026-05-11
0 浏览
隆源股份业绩说明会回应今年新能源汽车零部件领域新客户洽谈中
2026-05-11
0 浏览
中国品牌市占率达75%，4月我国汽车销量约252.6万辆，新能源汽车出口贡献度近五成
2026-05-11
0 浏览
4月汽车出口增长51% 国内零售下跌超20%
2026-05-11
0 浏览
4月全国新能源汽车渗透率历史首次突破60%，燃油车零售同比暴跌37%
2026-05-11
0 浏览
港股复盘：强势翻红 芯片概念股冲高回落 短期风险需警惕
2026-05-11
0 浏览
申昊科技拟设具身智能子公司 加码人形机器人业务
2026-05-11
0 浏览
