--- title: The summer Math fell to the machines... | daily.dev description: A satirical recap of a wild summer in which AI models allegedly disproved several long-standing math conjectures, including the Jacobian conjecture and a... canonical: https://daily.dev/posts/the-summer-math-fell-to-the-machines--jpet4s0wa twitter:card: summary_large_image twitter:site: @dailydotdev og:type: website og:site_name: daily.dev og:title: The summer Math fell to the machines... | daily.dev og:description: A satirical recap of a wild summer in which AI models allegedly disproved several long-standing math conjectures, including the Jacobian conjecture and a... og:url: https://daily.dev/posts/the-summer-math-fell-to-the-machines--jpet4s0wa og:image: https://api.daily.dev/og/posts/jpet4s0wa.png og:image:alt: The summer Math fell to the machines... og:image:width: 1200 og:image:height: 630 og:locale: en --- > ## Documentation Index > Fetch the complete documentation index at: https://daily.dev/llms.txt > Use this file to discover all available pages before exploring further. # The summer Math fell to the machines... **[Fireship](https://daily.dev/sources/fireship)** · 5 min read · 18 upvotes · 2 comments ## Summary A satirical recap of a wild summer in which AI models allegedly disproved several long-standing math conjectures, including the Jacobian conjecture and a 30-year-old graph theory problem, and made progress on the Riemann hypothesis. Highlights include OpenAI shipping ten solved problems with formal Lean proofs, Anthropic's unreleased model (prompted by Bun creator Jared Sumar) running 60 sub-agents and burning 31 million tokens to boost a proof-adjacent metric, and Terence Tao warning about a crisis in mathematical practice at the International Congress of Mathematicians. The piece is presented in a comedic, hyperbolic tone typical of a tech YouTube recap, with a Railway sponsorship plug at the end. ## Full article daily.dev links to this article rather than hosting it. Read it at the original source: ## Questions this post answers ### Did an AI model disprove the Jacobian conjecture? Yes, mathematician Levent Alpoge disproved the Jacobian conjecture with help from an AI model, producing a counterexample posted to X. The conjecture, dating to 1939, claimed that a polynomial function with an everywhere-nonzero derivative must be globally reversible, and it had been listed among the hardest problems of the 21st century by Smale. _Anyone tracking how AI reshapes research workflows can follow daily.dev for updates on AI-assisted breakthroughs._ ### What did Anthropic's unreleased model achieve on the Riemann hypothesis? An unreleased Anthropic model, prompted by Bun creator Jared Sunier, did not prove the Riemann hypothesis but raised the fraction of solutions provably satisfying it from 41% to 67%. The run used 60 sub-agents inside Claude Code, 2,400 shell commands, hundreds of Python scripts, and 31 million output tokens, and was validated by Anthropic and outside number theorists and formalized in Lean. _Developers curious how far agentic AI workflows can push hard research problems can follow this on daily.dev._ ### Did an AI model disprove a 30-year-old graph theory conjecture called the densest packing conjecture? Yes, researcher Dimitri Rybin pointed a GPT model at the decades-old graph/network routing conjecture and asked it to find a breakthrough. It produced a small counterexample network of seven nodes and nine edges showing that forcing all shipments onto single unsplit routes could cost more than splitting them, disproving the conjecture that had stood for 30 years. _For developers weighing how much to trust AI on open problems, daily.dev surfaces these fast-moving math and AI stories._ ## Community discussion Top comments from developers on daily.dev. **@notalizard\_really** · 1 upvotes > Can't wait until teams of human mathematicians find out that the AI proofs are bs. ## Similar posts on daily.dev - [Human mathematicians are being outcounterexampled](https://daily.dev/posts/human-mathematicians-are-being-outcounterexampled-ocacgpf22) · Hacker News · 3 upvotes · 0 comments - [Mathematical Experiments Are Becoming Abundant Through Human-Machine Teaming](https://daily.dev/posts/mathematical-experiments-are-becoming-abundant-through-human-machine-teaming-at6d9wesn) · Towards Data Science · 1 upvotes · 0 comments - [Ten advances in mathematics and theoretical computer science](https://daily.dev/posts/ten-advances-in-mathematics-and-theoretical-computer-science-ngbzjedvn) · OpenAI · 1 upvotes · 0 comments --- Tags: [#llm](https://daily.dev/tags/llm), [#openai](https://daily.dev/tags/openai), [#claude](https://daily.dev/tags/claude), [#agentic-ai](https://daily.dev/tags/agentic-ai) [View this post on daily.dev](https://daily.dev/posts/the-summer-math-fell-to-the-machines--jpet4s0wa) ```json {"@context":"https://schema.org","@graph":[{"@type":"Organization","@id":"https://daily.dev/#organization","name":"daily.dev","url":"https://daily.dev","logo":{"@type":"ImageObject","url":"https://daily.dev/apple-touch-icon.png","width":180,"height":180},"sameAs":["https://twitter.com/dailydotdev","https://github.com/dailydotdev","https://www.linkedin.com/company/daily-dev-ltd"]},{"@type":"WebSite","@id":"https://daily.dev/#website","url":"https://daily.dev","name":"daily.dev","publisher":{"@id":"https://daily.dev/#organization"},"potentialAction":{"@type":"SearchAction","target":{"@type":"EntryPoint","urlTemplate":"https://daily.dev/search?q={search_term_string}"},"query-input":"required name=search_term_string"}}]} {"@context":"https://schema.org","@type":"TechArticle","headline":"The summer Math fell to the machines...","url":"https://daily.dev/posts/the-summer-math-fell-to-the-machines--jpet4s0wa","mainEntityOfPage":{"@type":"WebPage","@id":"https://daily.dev/posts/the-summer-math-fell-to-the-machines--jpet4s0wa"},"datePublished":"2026-08-19T18:50:16.390Z","dateModified":"2026-09-14T06:06:02.484Z","description":"A satirical recap of a wild summer in which AI models allegedly disproved several long-standing math conjectures, including the Jacobian conjecture and a...","image":"https://i.ytimg.com/vi/iuZPTE5qsJY/sddefault.jpg","thumbnailUrl":"https://i.ytimg.com/vi/iuZPTE5qsJY/sddefault.jpg","isAccessibleForFree":true,"articleSection":"Fireship","inLanguage":"en","publisher":{"@type":"Organization","name":"daily.dev","url":"https://daily.dev","logo":{"@type":"ImageObject","url":"https://daily.dev/apple-touch-icon.png","width":180,"height":180}},"author":{"@type":"Organization","name":"Fireship","logo":"https://media.daily.dev/image/upload/s--75ndqrkr--/f_auto,t_logo/v1702882094/logos/fireship.jpg","url":"https://daily.dev/sources/fireship"},"commentCount":2,"discussionUrl":"https://daily.dev/posts/the-summer-math-fell-to-the-machines--jpet4s0wa","interactionStatistic":[{"@type":"InteractionCounter","interactionType":{"@type":"LikeAction"},"userInteractionCount":18},{"@type":"InteractionCounter","interactionType":{"@type":"CommentAction"},"userInteractionCount":2}],"keywords":"llm,openai,claude,agentic-ai","timeRequired":"PT5M","video":{"@type":"VideoObject","name":"The summer Math fell to the machines...","description":"A satirical recap of a wild summer in which AI models allegedly disproved several long-standing math conjectures, including the Jacobian conjecture and a...","thumbnailUrl":"https://i.ytimg.com/vi/iuZPTE5qsJY/sddefault.jpg","uploadDate":"2026-08-19T18:50:16.390Z","duration":"PT5M","url":"https://api.daily.dev/r/jpet4s0wa","embedUrl":"https://www.youtube.com/embed/iuZPTE5qsJY"}} {"@context":"https://schema.org","@type":"BreadcrumbList","itemListElement":[{"@type":"ListItem","position":1,"name":"Home","item":"https://daily.dev"},{"@type":"ListItem","position":2,"name":"Fireship","item":"https://daily.dev/sources/fireship"},{"@type":"ListItem","position":3,"name":"The summer Math fell to the machines..."}]} {"@context":"https://schema.org","@type":"WebPage","@id":"https://daily.dev/posts/the-summer-math-fell-to-the-machines--jpet4s0wa","comment":[{"@type":"Comment","text":"Can’t wait until teams of human mathematicians find out that the AI proofs are bs.","datePublished":"2026-08-20T06:04:20.986Z","url":"https://daily.dev/posts/jpet4s0wa#c-Z2d300h21","author":{"@type":"Person","name":"DefinitelyNotALizard","url":"https://daily.dev/notalizard_really","image":"https://media.daily.dev/image/upload/s--qYpcslfd--/f_auto/v1781591788/avatars/avatar_77vKI1B7gkjtKWy1PIDak?_a=BAMAMiWQ0"},"interactionStatistic":{"@type":"InteractionCounter","interactionType":{"@type":"LikeAction"},"userInteractionCount":1}}]} {"@context":"https://schema.org","@type":"FAQPage","@id":"https://daily.dev/posts/the-summer-math-fell-to-the-machines--jpet4s0wa#faq","mainEntity":[{"@type":"Question","name":"Did an AI model disprove the Jacobian conjecture?","acceptedAnswer":{"@type":"Answer","text":"Yes, mathematician Levent Alpoge disproved the Jacobian conjecture with help from an AI model, producing a counterexample posted to X. The conjecture, dating to 1939, claimed that a polynomial function with an everywhere-nonzero derivative must be globally reversible, and it had been listed among the hardest problems of the 21st century by Smale. Anyone tracking how AI reshapes research workflows can follow daily.dev for updates on AI-assisted breakthroughs."}},{"@type":"Question","name":"What did Anthropic's unreleased model achieve on the Riemann hypothesis?","acceptedAnswer":{"@type":"Answer","text":"An unreleased Anthropic model, prompted by Bun creator Jared Sunier, did not prove the Riemann hypothesis but raised the fraction of solutions provably satisfying it from 41% to 67%. The run used 60 sub-agents inside Claude Code, 2,400 shell commands, hundreds of Python scripts, and 31 million output tokens, and was validated by Anthropic and outside number theorists and formalized in Lean. Developers curious how far agentic AI workflows can push hard research problems can follow this on daily.dev."}},{"@type":"Question","name":"Did an AI model disprove a 30-year-old graph theory conjecture called the densest packing conjecture?","acceptedAnswer":{"@type":"Answer","text":"Yes, researcher Dimitri Rybin pointed a GPT model at the decades-old graph/network routing conjecture and asked it to find a breakthrough. It produced a small counterexample network of seven nodes and nine edges showing that forcing all shipments onto single unsplit routes could cost more than splitting them, disproving the conjecture that had stood for 30 years. For developers weighing how much to trust AI on open problems, daily.dev surfaces these fast-moving math and AI stories."}}]} ```