Generate proofs for 10 long-standing open mathematical problems.

Soon you can unlock how this was done.

Behind this: the tool used · the method · what actually resulted · the manual work it replaced.