4 ms·
AI is not AGI right now, it can't think or come up with something new like a human brain. It still uses knowledge that was made by a human and was published on
by 0xEnsp1re 14d ago
AI is not AGI right now, it can't think or come up with something new like a human brain. It still uses knowledge that was made by a human and was published on the Internet.
- anon291 14d agoThere is no evidence to substantiate what you are saying. Every possible proof exists already as a possible generation in the grammar of lean or rocq. In no way does that mean we have discovered everything.
- goatlover 14d agoIs there a proof that every possible proof is a generation in the grammar of lean or rocq? Sounds like an unsubstantiated claim.
- otabdeveloper4 14d agoYou're confusing the mechanical language of math with math itself. The map is not the territory, etc. If math was just an elaborate linguistic Glass Bead Game then we wouldn't be funding it. The intuition is that the surface rules of math help uncover the underlying structure of reality.
- rcxdude 14d agoPlease formulate and relate this to a concrete prediction of something that a current frontier AI cannot do (that a human can).