Back | Go to board

Board:

/sci/

Thread:

will we see LLMs starting proving theorems people failed to prove?