--- title: The AI maths breakthroughs everyone quotes are... description: Fields medallist Timothy Gowers argues that the celebrated AI mathematics results being circulated are almost all counterexamples rather than proofs, and that... canonical: https://daily.dev/posts/the-ai-maths-breakthroughs-everyone-quotes-are-counterexamples-not-proofs-uwhg2cu9c twitter:card: summary_large_image twitter:site: @dailydotdev og:type: website og:site_name: daily.dev og:title: The AI maths breakthroughs everyone quotes are counterexamples, not proofs | daily.dev og:description: Fields medallist Timothy Gowers argues that the celebrated AI mathematics results being circulated are almost all counterexamples rather than proofs, and that... og:url: https://daily.dev/posts/the-ai-maths-breakthroughs-everyone-quotes-are-counterexamples-not-proofs-uwhg2cu9c og:image: https://api.daily.dev/og/posts/UwHG2cu9C.png og:image:alt: The AI maths breakthroughs everyone quotes are counterexamples, not proofs 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 AI maths breakthroughs everyone quotes are counterexamples, not proofs **[The Next Web](https://daily.dev/sources/tnw)** · 6 min read · 0 upvotes · 0 comments ## Summary Fields medallist Timothy Gowers argues that the celebrated AI mathematics results being circulated are almost all counterexamples rather than proofs, and that one of them (the non-sofic group construction) barely qualifies as a counterexample since experts didn't strongly believe the opposite. He credits models with genuinely proving hard universal statements too, but says the strongest proofs they've produced don't match the strongest counterexamples they've found. His explanation: finding a counterexample rewards trying many things fast, which suits machines, while proving requires a 'nose' for pruning dead ends, a skill hidden from training data because published math hides the search process behind tidied-up proofs. He proposes a falsifiable test (a cap-set-style surprising proof) and notes that coverage of his post has flattened a nuanced position into blanket AI skepticism. ## Full article daily.dev links to this article rather than hosting it. Read it at the original source: ## Questions this post answers ### Are the famous AI maths breakthroughs actual proofs or counterexamples? Almost all of the most celebrated LLM maths results are counterexamples rather than proofs, according to Fields medallist Timothy Gowers. He cites OpenAI's non-sofic group construction, a superexponential Ramsey number lower bound, the disproved Jacobian conjecture, and the unit distance conjecture as examples. Models do also prove universal statements, but the strongest proofs found do not match the strongest counterexamples found. _daily.dev helps developers track how AI reasoning claims hold up as new maths and coding results emerge._ ### Why are LLMs better at finding counterexamples than proving theorems? Counterexample hunting rewards trying huge numbers of candidates quickly, which suits machines with broad knowledge and massive search capacity, per Timothy Gowers. Proving requires a 'nose' for judging whether an approach is worth continuing, a skill mathematicians develop but that is largely absent from training data because published proofs hide the abandoned search paths that led to them. _follow ongoing debate over AI reasoning limits on daily.dev to gauge what LLMs can reliably do for technical problem-solving._ ### What test would prove LLMs can do genuinely creative mathematical proofs? Timothy Gowers proposes that the bar is cleared when a model produces a proof as surprising as the 2016 cap-set solution, where prior bounds were eclipsed using a method unlike anything mathematicians had tried before. He also suggests changing reward structures to penalize models for dead ends or for lifting results straight from the literature, pushing them toward more human-like search. _developers evaluating AI reasoning benchmarks can track this kind of scrutiny on daily.dev._ ## 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 - [Schneier on Security](https://daily.dev/posts/schneier-on-security-io18bkk18) · Schneier on Security · 0 upvotes · 0 comments --- Tags: [#ai](https://daily.dev/tags/ai), [#llm](https://daily.dev/tags/llm), [#openai](https://daily.dev/tags/openai), [#math](https://daily.dev/tags/math), [#gpt](https://daily.dev/tags/gpt) [View this post on daily.dev](https://daily.dev/posts/the-ai-maths-breakthroughs-everyone-quotes-are-counterexamples-not-proofs-uwhg2cu9c) ```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 AI maths breakthroughs everyone quotes are counterexamples, not proofs","url":"https://daily.dev/posts/the-ai-maths-breakthroughs-everyone-quotes-are-counterexamples-not-proofs-uwhg2cu9c","mainEntityOfPage":{"@type":"WebPage","@id":"https://daily.dev/posts/the-ai-maths-breakthroughs-everyone-quotes-are-counterexamples-not-proofs-uwhg2cu9c"},"datePublished":"2026-08-17T15:09:54.557Z","dateModified":"2026-08-17T15:10:44.727Z","description":"Fields medallist Timothy Gowers argues that the celebrated AI mathematics results being circulated are almost all counterexamples rather than proofs, and that...","image":"https://media.daily.dev/image/upload/f_auto,q_auto/v1/posts/b3d1107e97ca63217911ab067ea2e58c?_a=AQAEuop","thumbnailUrl":"https://media.daily.dev/image/upload/f_auto,q_auto/v1/posts/b3d1107e97ca63217911ab067ea2e58c?_a=AQAEuop","isAccessibleForFree":true,"articleSection":"The Next Web","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":"The Next Web","logo":"https://media.daily.dev/image/upload/t_logo,f_auto/v1/logos/tnw","url":"https://daily.dev/sources/tnw"},"commentCount":0,"discussionUrl":"https://daily.dev/posts/the-ai-maths-breakthroughs-everyone-quotes-are-counterexamples-not-proofs-uwhg2cu9c","interactionStatistic":[{"@type":"InteractionCounter","interactionType":{"@type":"LikeAction"},"userInteractionCount":0},{"@type":"InteractionCounter","interactionType":{"@type":"CommentAction"},"userInteractionCount":0}],"keywords":"ai,llm,openai,math,gpt","timeRequired":"PT6M"} {"@context":"https://schema.org","@type":"BreadcrumbList","itemListElement":[{"@type":"ListItem","position":1,"name":"Home","item":"https://daily.dev"},{"@type":"ListItem","position":2,"name":"The Next Web","item":"https://daily.dev/sources/tnw"},{"@type":"ListItem","position":3,"name":"The AI maths breakthroughs everyone quotes are counterexamples, not proofs"}]} {"@context":"https://schema.org","@type":"FAQPage","@id":"https://daily.dev/posts/the-ai-maths-breakthroughs-everyone-quotes-are-counterexamples-not-proofs-uwhg2cu9c#faq","mainEntity":[{"@type":"Question","name":"Are the famous AI maths breakthroughs actual proofs or counterexamples?","acceptedAnswer":{"@type":"Answer","text":"Almost all of the most celebrated LLM maths results are counterexamples rather than proofs, according to Fields medallist Timothy Gowers. He cites OpenAI's non-sofic group construction, a superexponential Ramsey number lower bound, the disproved Jacobian conjecture, and the unit distance conjecture as examples. Models do also prove universal statements, but the strongest proofs found do not match the strongest counterexamples found. daily.dev helps developers track how AI reasoning claims hold up as new maths and coding results emerge."}},{"@type":"Question","name":"Why are LLMs better at finding counterexamples than proving theorems?","acceptedAnswer":{"@type":"Answer","text":"Counterexample hunting rewards trying huge numbers of candidates quickly, which suits machines with broad knowledge and massive search capacity, per Timothy Gowers. Proving requires a 'nose' for judging whether an approach is worth continuing, a skill mathematicians develop but that is largely absent from training data because published proofs hide the abandoned search paths that led to them. follow ongoing debate over AI reasoning limits on daily.dev to gauge what LLMs can reliably do for technical problem-solving."}},{"@type":"Question","name":"What test would prove LLMs can do genuinely creative mathematical proofs?","acceptedAnswer":{"@type":"Answer","text":"Timothy Gowers proposes that the bar is cleared when a model produces a proof as surprising as the 2016 cap-set solution, where prior bounds were eclipsed using a method unlike anything mathematicians had tried before. He also suggests changing reward structures to penalize models for dead ends or for lifting results straight from the literature, pushing them toward more human-like search. developers evaluating AI reasoning benchmarks can track this kind of scrutiny on daily.dev."}}]} ```