5 ms·
LLMs seem to be much better at finding counterexamples than other types of proof. It’s unlikely the other millennium problems will be solved with counter exampl
by zeroonetwothree 7d ago
LLMs seem to be much better at finding counterexamples than other types of proof. It’s unlikely the other millennium problems will be solved with counter examples
- psvv 7d agoI 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 7d 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.
- samuelknight 7d agoFinding counter examples might be easier, but AI's also useful for assisting in creating proofs. For example, Anthropic just published a formalization of Fermat's last theorem a few days ago, something that human researchers have been working on for decades.