The Mathoverflow question was asked 15 years ago. The top answer says that the human community part is very important and spreading knowledge an critical thinking is valuable.
The most recent advances are stunts by a handful of famous prompters who are funded in various ways by the LLM industrial complex.
How many theorems are proven by mathematicians each year? Let's guess 10000. Then the Erdos toy proofs with unknown token and resource usage are less than 1%.
Comments
The Mathoverflow question was asked 15 years ago. The top answer says that the human community part is very important and spreading knowledge an critical thinking is valuable.
The most recent advances are stunts by a handful of famous prompters who are funded in various ways by the LLM industrial complex.
How many theorems are proven by mathematicians each year? Let's guess 10000. Then the Erdos toy proofs with unknown token and resource usage are less than 1%.
...And in 1900, how many carriages were horseless?
In 2026, how many people X-ray their feet at the shoe store or have watches with radium paint?
Ironically, there is a shoe company pivoting to AI. My taxi driver told me buy the stock:
https://www.bbc.com/news/articles/c98mrepzgj7o