AI颠覆数学研究！陶哲轩借AI破解数学猜想，形式化成功惊呆数学

水木社区手机版

展开|楼主|同主题展开|返回

上一篇|下一篇

主题:AI颠覆数学研究！陶哲轩借AI破解数学猜想，形式化成功惊呆数学
vinbo|2023-12-08 11:25:52|
https://mp.weixin.qq.com/s/H-F8Uqrw_Fv9gO6MdoBpVQ

我说陶哲轩昨天blog发了一个lean4的啥啥啥，不知道是啥就没看，原来又有新突破了。
看起来代码量有点大，需要一个团队
--
FROM 202.120.11.*

上一篇|下一篇

BYR-Team©2010. KBS Dev-Team©2011 登录完整版