alt Hacker NewsLLMs sure, but AlphaZero had no visual cortex yet can smash Magnus Carlsen easily.
I think that we're not that far away from AI that can be superhuman at all facets of theorem proving.
I think that we're far away from an AI that can create good abstractions and construct a theory to prove theorems.
Replies
TimorousBestie • today at 3:28 PM
> LLMs sure, but AlphaZero had no visual cortex yet can smash Magnus Carlsen easily.
Chess does not require a visual cortex to play. People have been playing by mail with algebraic notation for centuries.
➕ show 2 replies
AI only works in the parts of reality that have been defined into granular atomic units. Which is by definition an approximation of reality.
AI so far has almost no way to interact with non definitional non quantitized reality. So novel space is still deeply out of its domain.
Recombination of known spaces it will probably continue to make pure war dial breakthroughs in though.
I wish we’d tackle a post Mathematics world where we’d account for number theory not being accurate abstraction of reality (I.e. there is no 123 only 1ish 2ish 3ish with many sub properties of any given unit we are ignoring)