> I haven’t fully verified the proof; I worked through it with Claude Fable and it passes the sniff test, but fully digesting it will take a bit more energy than I have right now.
This is overlooked but really important. Nobody wants to watch robots play chess against each other - we watch human chess even though bots are better. Nobody needs math that has not been verified by humans. Human understanding and communication is the important part of mathematics.
This is overlooked but really important. Nobody wants to watch robots play chess against each other - we watch human chess even though bots are better. Nobody needs math that has not been verified by humans. Human understanding and communication is the important part of mathematics.