Science ❯ Mathematics ❯ Mathematical Proofs ❯ International Mathematics Olympiad
An arXiv preprint details an iterative proof system whose claimed results now face community verification.
