3 ms·
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?
by psvv 23d ago
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?
- andriy_koval 23d agolikely 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.