Hacker News Reader

I haven't been keeping up with all the math proofs. Does anyone know if there have been any LLM proofs that are NOT counterexamples?

likely there are some, the question if its "millennial" type problems.

Also, lots of hype around "millennial" grading, it is kinda funny if we solve all "millennial" problems in first 30 yeas of millenia.