Has an AI discovered new maths?

New York City’s An Evening of Unnecessary Detail on July 12th, get your tickets here: https://www.ticketmaster.com/matt-parker-an-evening-of-unnecessary-brooklyn-new-york-07-12-2026/event/300064B84CCCF567 Thomas Bloom’s site documenting the Erdős problems: www.erdosproblems.com A full state of play (up to June 30 2026) on AI contributions to Erdős problems can be found here: https://github.com/teorth/Erdosproblems/wiki/AI-contributions-to-Erd%C5%91s-problems A simplified interactive visualisation to new unit distance problem constructions is here: https://chatgpt.com/canvas/shared/6a15da73c5b08191a2dc34c3ac6ceca6 More details on each solved Erdős problem referenced in the video can be found below categorized by problem number: Erdős problem #1043 https://www.erdosproblems.com/1043 Commentary from Sebastien Bubeck: https://x.com/SebastienBubeck/status/1980311866770653632 Terry Tao’s Mathstodon post: https://mathstodon.xyz/@tao/115385022005130505 Erdős problem #1026 https://www.erdosproblems.com/1026 Terry Tao’s blog on the solution: https://terrytao.wordpress.com/2025/12/08/the-story-of-Erdős-problem-126/ Erdős problem #728 https://www.erdosproblems.com/728 Terry Tao’s Mathstodon post: https://mathstodon.xyz/@tao/115855840223258103 Kevin Barreto’s blog post about AI and problem 728: https://www.erdosproblems.com/forum/thread/blog:2 Writeup of the Aristotle’s Lean proof: https://drive.google.com/file/d/1MRQfcHhrYMfMTvlZcMC3zEK7aOrUyHiQ/view Erdős problem #1196 https://www.erdosproblems.com/1196 Link to the paper on Arxiv: https://arxiv.org/abs/2605.00301 Record of Liam Price’s initial conversation with Chat GPT: https://chatgpt.com/share/69dd1c83-b164-8385-bf2e-8533e9baba9c Erdős problem #90 https://www.erdosproblems.com/90 Remarks on the disproof of the conjecture: https://cdn.openai.com/pdf/74c24085-19b0-4534-9c90-465b8e29ad73/unit-distance-remarks.pdf Lean programming language: https://lean-lang.org/ Here are the details on Arxiv’s rules around AI in submitted papers: https://www.reddit.com/r/math/s/G3tJfBTdSB Here’s the paper I mention at the very end of the video: https://arxiv.org/html/2605.22763v1 Leiden Decleration on AI and Mathematics: https://leidendeclaration.ai/ A subsequent discovery post Unit Distance Conjecture: https://arxiv.org/abs/2605.28781 Huge thanks to my Patreon supporters. They are all unit distance pairs to the channel! https://www.patreon.com/standupmaths Were the passers by bemused by me, sitting at a desk drinking coffee on the beach? We’ll never find out for sure but it’s safe to say maybe. CORRECTIONS None so far. Let me know if you spot anything! Editing by Gus Melton Written, filmed, and performed by Matt Parker Produced by Nicole Jacobus Content wrangling by Rhys Jones Music by Howard Carter Design by Simon Wright and Adam Robinson MATT PARKER: Stand-up Mathematician Website: http://standupmaths.com/