- 主题:如果AI能对21世纪的6个顶级数学难题给出证明
就可以认为是里程碑事件
--
FROM 171.213.202.*
依靠现在基于统计的大模型技术,再大的硬件规模也做不到,因为人类都不知道怎么解决,哪来那么多样本去训练。当然我觉得数学难题靠AI来解决是未来方向,因为人类由于生物学上的限制的确解决不了,但需要修改AI的底层逻辑
【 在 poocp 的大作中提到: 】
: 就可以认为是里程碑事件
--
FROM 124.16.148.*
理论上是能做到的,基本上可以罗列一些基本的数学解决方法,靠AI自行判断。
但是实施上,如何解释给AI,可能会比较麻烦。
这个跟人类是不是知道解决方法,没有直接联系。因为AI的任务之一,就是帮人类解决一些至今无法解决的问题。
【 在 stochasys 的大作中提到: 】
: 依靠现在基于统计的大模型技术,再大的硬件规模也做不到,因为人类都不知道怎么解决,哪来那么多样本去训练。当然我觉得数学难题靠AI来解决是未来方向,因为人类由于生物学上的限制的确解决不了,但需要修改AI的底层逻辑
:
--
FROM 114.253.248.*