Boosted by pixxl:
HeavenlyPossum@kolektiva.social wrote:
Is this not how any LLM would “solve” any math problem? It can probabilistically generate combinations of text from its training set until one particular combination accidentally overlaps with an actual proof?