热点
"AI数学" 相关文章
OpenAI claims gold on math olympiad
The Rundown AI -每日精选 2025-07-31T07:33:08.000000Z
35分斩金！Gemini成首个IMO认证AI金牌，OpenAI未获许可强蹭IMO热度
机器学习初学者 2025-07-27T09:01:15.000000Z
不怕被挖，谷歌晒IMO金牌团队大合照，还挨个圈出了联系方式
36kr-科技 2025-07-25T08:25:34.000000Z
DeepMind夺得IMO官方「唯一」金牌，却成为OpenAI大型社死现场
机器之心 2025-07-24T09:01:20.000000Z
[国 际] AI模型取得国际奥数竞赛金牌级成绩
中国科技报 2025-07-23T18:14:55.000000Z
谷歌AI获IMO“唯一金牌”，硅谷夹道祝贺，奥特曼丢人又丢人
36kr-科技 2025-07-22T04:37:36.000000Z
陶哲轩回应OpenAI新模型IMO夺金！GPT-5测试版也曝光了
智源社区 2025-07-22T04:12:47.000000Z
陶哲轩回应OpenAI新模型IMO夺金！GPT-5测试版也曝光了
量子位 2025-07-20T04:15:20.000000Z
OpenAI Claims IMO Gold Medal
少点错误 2025-07-19T10:02:33.000000Z
大模型IMO25数学竞赛成绩公布了
智源社区 2025-07-19T09:57:13.000000Z
全球最强开源「定理证明器」出世！十位华人核心，8B暴击671B DeepSeek
智源社区 2025-07-19T01:09:50.000000Z
大模型IMO25数学竞赛成绩公布了
量子位 2025-07-18T17:31:41.000000Z
8B 模型吊打 671B？数学证明界“卷王”Goedel-Prover-V2 来了！
掘金 人工智能 2025-07-17T13:48:57.000000Z
纯数学的突破可能需要几十年时间，人工智能正在尝试加快其速度
36kr 2025-06-30T00:01:32.000000Z
谷歌AI将攻破200年数学难题！39岁天才率队密研三年，或摘千禧年大奖
智源社区 2025-06-28T10:33:37.000000Z
一位广州00后女生爆红
36kr 2025-06-08T01:34:09.000000Z
全球30名顶尖数学家秘密集会围剿AI，结果如何？
36氪 - 科技频道 2025-06-07T09:35:09.000000Z
形式化证明与大模型：共创可验证的AI数学未来｜量子位直播
智源社区 2025-05-29T02:27:56.000000Z
o4-mini暴击六大数学天团，攻破陶哲轩难题！4.5h激战人类阵地失守
智源社区 2025-05-28T09:02:56.000000Z
o4-mini暴击六大数学天团 攻破陶哲轩难题 4.5h激战人类阵地失守
Cnbeta 2025-05-28T08:17:30.000000Z