ai 参加“海淀二模”稳上清北：成绩 697 分 数学英语接近满分
"数学" 相关文章
ai 参加“海淀二模”稳上清北：成绩 697 分 数学英语接近满分
气球和小黄鸭带来灵感，数学家得到当今湍流数学最具影响力的成果
这位两获国际奥数竞赛满分金牌的数学家，当选新总统
“排球是数学老师教的” 高大义和他的排球少年
周末选读 数学的雨伞下：理解世界的乐趣（节选）
经典教材《泛函分析》作者逝世，享年 99 岁：首位获阿贝尔奖的应用数学家
打破 56 年数学铁律！谷歌 alphaevolve 自我进化实现算法效率狂飙，堪比 alphago “神之一手”
展示人工智能初中数学教育新样态！南京三区联动数字技术赋能初中数学教学研讨
港媒：为何中国对顶尖数学家越来越有吸引力
“我的体育是数学老师教的！”
挑战 ai数学推理极限！大规模形式化数学基准 formalmath 发布，最强模型成功率仅 16%
葛军命题，270 多名数学老师参加测试
三位北大校友突破 65 年数学难题！证明 126 维空间“末日假说”，为母校 126 周年献贺
参数量达 6710 亿！deepseek 发布 prover-v2 模型，数学王者来袭
deepseek-prover-v2：ai 数学推理新王者，88.9% 通过率设新标杆
ai数学天花板来了？deepseek 新模型低调开源，网友直呼：r2 指日可待！
deepseek 发布最新开源数学推理模型 prover-v2-671b
400 万粉丝数学网红博主汤匙上岸北大 女友是网红 coser 抖音副总裁：恭喜
