Comment by bananaflag

Scott Alexander predicted LLMs will write math proofs in 2019:

https://slatestarcodex.com/2019/02/19/gpt-2-as-step-toward-g...

Of course people were skeptical:

https://www.reddit.com/r/slatestarcodex/comments/aslze7/gpt2...