乐于分享
好东西不私藏

AI+LLM=》math

AI+LLM=》math
可计算离散整体几何结构》实验室出品
  1. 如果辛顿的判断是对的,那么问题就在于数学里面还要哪些是AI做不了,只能碳基智能来做。
  2. 根据当前编程coding上,AI体现出来的在大部分情况下超越人类的能力,估计在math上,很快大部分math工作都可以用AI了。
  3. 估计几年后:
  4. 做课后题,估计AI妥妥的没问题。
  5. 证明任何大部分类可以证明的定理,估计AI也可以,因为大部分A问题的证明,需要用到B领域,人类只是没办法短时间掌握A+B两个领域的内容,掌握了就可以证明。AI不存在这个,AI可以一瞬间掌握所有领域知识和内容。
  6. 发明新的数学结构,估计AI这方面不行,例如当年的芝诺悖论到牛顿、柯西定义了微积分,需要几千年人类思维不停的在抽象空间探索,估计这个发现新的数学结构级别的工作,是过几年最强AI做不到的。
  1. 也就是需要这种新数学结构的定理证明,可能AI就做不到了,只是需要把B领域用到A领域的证明,AI就可以做到。
  2. 庞加莱猜想里面,据说pereleman是发现了新的数学结构,所以估计他这工作AI以后也无法做。
  3. AI虽然能提出大量数学问题,但这些数学问题,  我估计仅仅是当前知识的“组合”,也就是本身已经蕴含在当前知识里了,类似平面几何只要给定几何公里,其他数万个定理都其实已经蕴含了,这些估计都是AI可以做到的。
  4. 但是芝诺悖论这类的发现数学结构的问题,估计AI提不出来。
  5. 其次就是Thurston做的一些Academic initiative这种性质的数学工作,也不是AI能做的。
  6. 基本上AI做不了的,就是顶级的数学工作了,机械化的,估计AI都干了。
  7. 据说全世界一共2万数学家,开拓新的抽象结构的据数学大师说就200个(还是从古到今全加起来)?
  8. 估计AI之后就是做不了这200个碳基智能做的这种性质。
  9. 其他的估计很大概率,按辛顿说法,因为数学的非真必假,能根据结果对错机械化判断的严谨属性,很快AI就能自我进化,把90%的数学工作给做了。
  10. 像Thurston和Sullivan在伯克利墙上画几何图的math 工作,也是AI做不了的。
  11. 全球巡回艺术展科普,这种性质的math工作,明显AI也做不了
  12. mark一下,看看10年后,AI是否在本文划定的math工作范围内纵横天下。