AI数学

AI七个月突破数学家“围剿”反超人类！14位数学家深挖原始推理token：不靠死记硬背靠直觉

也有局限性：缺乏创造力和理解深度

鱼羊 2025-06-09

清华AI数学家：独立完成理论难题，自动调用基本定理构建证明思路

证明完成度很高。

白交 2025-06-05

形式化证明与大模型：共创可验证的AI数学未来｜量子位直播

本周四晚20:00，一起来聊聊AI数学吧～

林樾 2025-05-27

陶哲轩：AI让业余数学家也能做出贡献

“我用维基百科学习数学”

白交 2024-02-25

OpenAI出手解决GPT-4数学推理：做对一步立刻奖励！论文数据集全开放，直接拿下SOTA

还得是step by step

明敏 2023-06-01

MathGPT来了！专攻数学大模型，解题讲题两手抓

面向全球数学爱好者

明敏 2023-05-08

一文看懂AI数学发展现状，清华校友朱松纯学生一作，还整理了份必备阅读清单

模型数据集一步到位

白交 2022-12-31

AI能证明数学数据库中82%的问题，新SOTA已达成，基于Transformer

来自脸书AI团队

明敏 2022-05-26

DeepMind给AI出了200万道数学题，结果不如计算器哈哈哈哈哈

原来我的数学比AI还好

栗子 郭一璞 2019-04-04
加载更多

热门文章

杨植麟被梁文锋叫醒了！Kimi新模型发布即开源，1T参数全线SOTA

2025-07-12

好玩！AI“穿越”新玩法火了：根据12岁照片生成23岁的你

2025-07-13

武汉无人车学会了加塞！当地司机已服：比我6

2025-07-12

只因一个“：”，大模型全军覆没

2025-07-15

刘璐也被Meta挖走了！华南理工校友，创造了4o吉卜力爆款

2025-07-15

量子位 QbitAI 版权所有©北京极客伙伴科技有限公司 京ICP备17005886号-1