3 ms·
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 thinki
by 4qshT 5mo ago
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%.
- sdenton4 5mo ago...And in 1900, how many carriages were horseless?
- ppll_12 5mo agoIn 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 https://www.bbc.com/news/articles/c98mrepzgj7o