TAG:数学竞赛
国产AI出题首入高规格人类数学竞赛
我国科研团队研发的全球首个具备自主出题与解题双重能力的通用人工智能系统“通矩模型”取得突破，其原创题目已入选人类高规格数学竞赛。该系统仅需单张消费级显卡即可高效解决奥数几何难题，实现了从模仿解题到自主创造的范式转变，标志着我国在自动化推理领域达到国际领先水平。
0 
0 
字节发布Seed新模型 数学竞赛夺金展推理实力
字节跳动Seed AI团队发布数学推理模型Seed Prover1.5，该模型在国际数学奥林匹克竞赛中获得金牌，仅用16.5小时解决IMO2025前五题，成绩与谷歌Gemini并驾齐驱。模型通过大规模强化学习、Agentic Prover和Sketch Model等创新技术，将证明成功率提升至近90%，并在北美数学竞赛中刷新纪录，标志着AI推理能力迈入新阶段。
谷歌计划发行200亿美元债券 加大AI领域投资
2026-02-10
0 浏览
大模型轻量化与硬件算力成熟 AI端侧将迎规模化应用元年
2026-02-10
0 浏览
中科曙光拟发不超过80亿元可转债 加码AI算力存储及一体机
2026-02-10
0 浏览
情绪带动指数回升，AI科技股领涨反弹
2026-02-10
0 浏览
Databricks获50亿美元融资 估值突破1340亿美元
2026-02-10
0 浏览
大摩首席：AI将持续推动科技股上涨，聚焦应用领域
2026-02-10
0 浏览
AI基础设施迎来重大突破 质变科技推出多模态记忆湖MemoryLake
2026-02-10
0 浏览
字节Seedance2.0发布引争议 紧急暂停真人参考功能
2026-02-10
0 浏览
扬州首个AI产业服务中心揭牌 钉钉携手本地企业开启流程执行新时代
2026-02-10
0 浏览
腾讯元宝活动进入高潮 微信发元宝掉落福袋
2026-02-10
0 浏览
