--- title: Has an AI discovered new maths? link: https://www.youtube.com/watch?v=ZJ8KThKAfbs source: youtube-com-standupmaths published: 2026-07-06T16:25:01Z updated: 2026-08-24T06:39:52Z first_seen: 2026-09-08T10:17:10.166315Z authors: - Stand-up Maths summary: "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\n\nThomas Bloom’s site documenting the Erdős problems:\nwww.erdosproblems.com\n\nA full state of play (up to June 30 2026) on AI contributions to Erdős problems can be found here:\nhttps://github.com/teorth/Erdosproblems/wiki/AI-contributions-to-Erd%C5%91s-problems\n\nA simplified interactive visualisation to new unit distance problem constructions is here:\nhttps://chatgpt.com/canvas/shared/6a15da73c5b08191a2dc34c3ac6ceca6\n\nMore details on each solved Erdős problem referenced in the video can be found below categorized by problem number:\n\nErdős problem #1043\nhttps://www.erdosproblems.com/1043\nCommentary from Sebastien Bubeck: https://x.com/SebastienBubeck/status/1980311866770653632\nTerry Tao’s Mathstodon post: https://mathstodon.xyz/@tao/115385022005130505\n\nErdős problem #1026\nhttps://www.erdosproblems.com/1026\nTerry Tao’s blog on the solution: https://terrytao.wordpress.com/2025/12/08/the-story-of-Erdős-problem-126/\n\nErdős problem #728\nhttps://www.erdosproblems.com/728\nTerry Tao’s Mathstodon post: https://mathstodon.xyz/@tao/115855840223258103\nKevin Barreto’s blog post about AI and problem 728: https://www.erdosproblems.com/forum/thread/blog:2\nWriteup of the Aristotle’s Lean proof: https://drive.google.com/file/d/1MRQfcHhrYMfMTvlZcMC3zEK7aOrUyHiQ/view\n\nErdős problem #1196\nhttps://www.erdosproblems.com/1196\nLink to the paper on Arxiv: https://arxiv.org/abs/2605.00301\nRecord of Liam Price’s initial conversation with Chat GPT: https://chatgpt.com/share/69dd1c83-b164-8385-bf2e-8533e9baba9c\n\nErdős problem #90\nhttps://www.erdosproblems.com/90\nRemarks on the disproof of the conjecture: https://cdn.openai.com/pdf/74c24085-19b0-4534-9c90-465b8e29ad73/unit-distance-remarks.pdf\n\nLean programming language: \nhttps://lean-lang.org/\n\nHere are the details on Arxiv’s rules around AI in submitted papers:\nhttps://www.reddit.com/r/math/s/G3tJfBTdSB\n\nHere’s the paper I mention at the very end of the video:\nhttps://arxiv.org/html/2605.22763v1\n\nLeiden Decleration on AI and Mathematics:\nhttps://leidendeclaration.ai/\n\nA subsequent discovery post Unit Distance Conjecture:\nhttps://arxiv.org/abs/2605.28781\n\nHuge thanks to my Patreon supporters. They are all unit distance pairs to the channel! https://www.patreon.com/standupmaths\n\nWere 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.\n\nCORRECTIONS\nNone so far. Let me know if you spot anything! \n\nEditing by Gus Melton\nWritten, filmed, and performed by Matt Parker\nProduced by Nicole Jacobus\nContent wrangling by Rhys Jones\nMusic by Howard Carter\nDesign by Simon Wright and Adam Robinson\n\nMATT PARKER: Stand-up Mathematician\nWebsite: http://standupmaths.com/" content: extracted html: 2026-07-06-has-an-ai-discovered-new-maths.html preview: file: 2026-07-06-has-an-ai-discovered-new-maths.preview-caaf97346e4e.webp width: 256 height: 192 color: '#8e8a7a' images: - source: https://i.ytimg.com/vi/ZJ8KThKAfbs/maxresdefault.jpg original: file: 2026-07-06-has-an-ai-discovered-new-maths.image-472fa8fae6c4.jpg width: 1280 height: 720 variants: - file: 2026-07-06-has-an-ai-discovered-new-maths.image-458ce4b1dd9d.webp width: 48 height: 27 color: '#c8d4d3' extra: thumbnail: https://i3.ytimg.com/vi/ZJ8KThKAfbs/hqdefault.jpg --- 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/