Proceedings of the National Academy of Sciences, Volume 123, Issue 21, May 2026. <br/>SignificanceHistorically, mathematical proofs have been written and evaluated by humans, but in principle they could be formalized and verified by a computer program, essentially eliminating doubts about correctness. Proof assistants such as Lean make …
Source: Forbidden Sidon subsets of perfect difference sets, featuring a human-assisted proof