BigTTYGothGF on Theo Conjecture solves 35-year-old math problem, finds a term no one predicted · Hackerly

Comment on Theo Conjecture solves 35-year-old math problem, finds a term no one predicted

BigTTYGothGF 1mo

One program makes up questions, another one solves them.

unsupp0rted 1mo

True of humans as well