Hacker News Reader

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

View on HN

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.

Finding 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.

Reply on news.ycombinator.com