← All topics
formalization
Latest stories covering formalization, with summaries and links to related coverage.
1 stories · 1 reports · page 1 of 1
Connected topics
Human mathematicians are being outcounterexampled
opinion
11 min read
ChatGPT disproved Erdős’ Unit Distance conjecture in discrete geometry on May 20, 2026. Human mathematicians have acknowledged this achievement and its implications for the field of formalization and AI tools.