Replies

• 

  Joaquim Roéquim_roe@mathstodon.xyz

  Oct 21, 2026, 4:36 PM

  @Davide_Sandini OpenAI (and also Anthropic, to a lesser extent) have released "drafts" of proofs or counterexamples of hundreds of previously open problems, often with a formal verification. It is obvious when reading the drafts that there was no mathematician expert writing them (they show no understanding of the issues and the importance of each part) but with effort they can be understood and most of them are correct. This means that we now know the truth status of certain questions that have been studied for decades without success, and this through the use of LLMs.
  I still refuse to write that "the LLM proved it". There has to be a human prompting it cleverly. But the LLM was essential.

  💬 0🔄 0⭐ 0