Hacker News
points by saberience 2 days ago | 0 comments
Except the results are AI slop that no one actually understands and make absolutely zero difference to the world. I.e. research with zero practical applications.

Yay, the slop generator made 2000 pages of Lean which no one understands... to solve a problem with no practical results for human-kind.

Great, well done OpenAI.

[–] mindwok 2 days ago
Give it time. Mathematicians have expressed interest in their results, let them digest it! It can't happen overnight.
Hacker News