Comment by bigbadfeline

> Therefore, at the beginning, there was the stochastic parrot. Then mathematical problems have been solved.

A stochastic parrot with human knowledge, using human tools, running human-designed trial-and-error experiments can solve human-defined hard math problems. This is nothing new, automated mechanical proofs predate LLMs by many years, you being unaware of it doesn't change it.