math
Everything on Ground Truth tagged “math” — 2 items.
Proof assistants: why a machine-checked proof beats a convincing one Lesson
A proof assistant is software like Lean or Coq that checks a mathematical proof step by step against strict logical rules, so a proof is accepted only if the machine confirms every inference -- which is exactly why the field demands them when an AI claims to have proved a theorem.
OpenAI says its AI proved a 50-year-old math conjecture -- mathematicians want the receipts News
OpenAI released a three-page manuscript it says GPT-5.6 Sol Ultra generated to settle the Cycle Double Cover Conjecture, but with no machine-checked proof, mathematicians are treating it as an unverified claim, not a breakthrough.