扫码关注量子位
15亿参数挑战千亿巨头
谷歌DeepMind已经向科学界开放AlphaProof的能力
最新菲尔兹奖风向标
耿俊申仲伟合作，论文已被《数学新进展》接收
总结“AI在小尺度有用、中尺度无益、大尺度又有帮助”
大语言模型在解数学题时，真正的计算发生在哪里？
“我可以忍，我的学生不行”
俩人在南京大学是师徒
超越十进制，指数套指数再套指数才能表示
15岁考入西安交大少年班，各种奖项拿到手软
以自己曾参与推动的“压缩感知”研究为例
这位“门外汉”用的还是已经被淘汰的老方法
被学术界评价为“堪称一项宏伟的工程”
耶鲁华人数学家参与
重建图论证明
从牛顿定律数学推导流体力学方程
与顶级人类选手相当
Gowers范数的又一新应用
合作才能供应！LLM互相纠错可提高数学水平
5-10个新证明
