热点
"AI数学家" 相关文章
清华推出AI数学家！独立完成数学理论难题，自动调用基本定理、构建证明思路
智源社区 2025-06-05T14:43:09.000000Z
o4-mini暴击六大数学天团，攻破陶哲轩难题，4.5h激战人类阵地失守
36氪 - 科技频道 2025-05-28T00:59:21.000000Z
秘密打造「AI陶哲轩」 震惊数学圈！谷歌IMO梦之队首曝光，菲尔兹奖得主深度点评
智源社区 2024-07-30T07:07:01.000000Z