{"id":15675,"date":"2026-10-28T17:19:41","date_gmt":"2026-10-28T16:19:41","guid":{"rendered":"https:\/\/dailyai.com\/?p=15675"},"modified":"2026-10-28T17:19:41","modified_gmt":"2026-10-28T16:19:41","slug":"ai-agents-checked-maths-longest-proof-15000-pages-in-24-days","status":"publish","type":"post","link":"https:\/\/dailyai.com\/es\/2026\/10\/ai-agents-checked-maths-longest-proof-15000-pages-in-24-days\/","title":{"rendered":"AI Agents Checked Maths\u2019 Longest Proof, 15,000 Pages, in 24 Days"},"content":{"rendered":"<p class=\"wp-block-paragraph\"><strong>The longest proof in mathematics runs to about 15,000 pages, spread over more than 500 articles by roughly 100 mathematicians. A start-up called Axiom says swarms of AI agents turned it into 43.1 million lines of computer-checkable code in 24 days. Along the way they found 34 places where the published maths did not match what was claimed. If it holds up, it is the clearest sign yet that AI can do huge amounts of checkable work, not just write plausible text.<\/strong><\/p>\n\n\n\n<h2 class=\"wp-block-heading\">The number, and what it means<\/h2>\n\n\n\n<p class=\"wp-block-paragraph\">Axiom published the work on <a href=\"https:\/\/axiommath.ai\/research\/the-enormous-theorem-formalized\/\" target=\"_blank\" rel=\"noopener\">its research blog<\/a>, dated 26 October, and put the code in <a href=\"https:\/\/github.com\/AxiomMath\/CFSG\" target=\"_blank\" rel=\"noopener\">a public GitHub repository<\/a>. Its <a href=\"https:\/\/cfsg.axiommath.ai\/\" target=\"_blank\" rel=\"noopener\">project site<\/a> lists 43.1 million lines of code and 2.05 million separate definitions and results, drawn from 715 papers and books.<\/p>\n\n\n\n<p class=\"wp-block-paragraph\">In plain terms, the company says it has taken one of the great achievements of 20th-century mathematics, written over several decades by about 100 people, and rewritten every step in a form a computer can check without trusting anyone.<\/p>\n\n\n\n<p class=\"wp-block-paragraph\">Axiom says the project began on 1 October with a single chat channel and a plan of 108 milestones and about 380 smaller tasks. The first agents went to work on 2 October. That makes it roughly four weeks from start to finish, for a body of work that took humans decades to write and then decades more to tidy up.<\/p>\n\n\n\n<h2 class=\"wp-block-heading\">What was being proved<\/h2>\n\n\n\n<p class=\"wp-block-paragraph\">The theorem is called the Classification of Finite Simple Groups. A group, in maths, is a set of moves that describe symmetry. Axiom&#8217;s own example is a cube: there are 24 ways to turn it so it looks exactly as it did before. Groups can be broken down into basic pieces, the way molecules break down into atoms. The &#8220;simple&#8221; groups are those atoms.<\/p>\n\n\n\n<p class=\"wp-block-paragraph\">The classification is a complete list of them, a kind of periodic table of symmetry. It says every one belongs to a few known families or is one of exactly 26 odd ones out. The largest of those, called the Monster, has roughly 8 followed by 53 zeros elements. The hard part is not listing the groups. It is proving that nothing is missing.<\/p>\n\n\n\n<p class=\"wp-block-paragraph\">Mathematicians declared the job finished in 1983. It was not. One gap stayed open until a 1,221-page treatment appeared in 2004, and other fixes followed in 2008. A second, cleaner version of the proof has filled ten volumes since the late 1980s and is still not complete, according to Axiom&#8217;s account. One of the leading group theorists, Michael Aschbacher, wrote in 2005 that &#8220;it is impossible to write out a very long and complicated argument without error.&#8221;<\/p>\n\n\n\n<h2 class=\"wp-block-heading\">How the AI did it<\/h2>\n\n\n\n<p class=\"wp-block-paragraph\">The tool at the centre is Lean, a programming language for maths. A proof written in Lean is checked line by line by a small, trusted program. If any step does not follow, the proof does not compile. There is no room to wave a hand and say &#8220;this is obvious&#8221;.<\/p>\n\n\n\n<p class=\"wp-block-paragraph\">Axiom&#8217;s system, which it calls AxiomProver, split the work between dozens of AI agents. Lead agents broke hard arguments into smaller pieces and reviewed what was being proved. Others searched for existing results or wrote the Lean code. Agents claimed tasks through GitHub, the code-sharing site, and posted progress in Slack. The company says the agents used &#8220;a changing mix of models&#8221; and does not name them. Human mathematicians handled the hardest problems and engineers kept the system running.<\/p>\n\n\n\n<p class=\"wp-block-paragraph\">It did not start from zero. The work builds on Mathlib, a large shared library of maths in Lean written by hundreds of volunteers, and reuses about 1.2 million lines from <a href=\"https:\/\/github.com\/Qiuzhen-CFSG\/CFSG\" target=\"_blank\" rel=\"noopener\">an earlier open project, Qiuzhen-CFSG<\/a>, Axiom says.<\/p>\n\n\n\n<p class=\"wp-block-paragraph\">The blog is unusually frank about what went wrong. Early on, some milestones that looked easy hid huge amounts of unproved groundwork, which the agents had quietly assumed rather than proved. Axiom says it deleted tens of thousands of lines built on those assumptions and started parts again. On 13 October only one milestone closed in a whole day, so the team made the agents re-plan the remaining work into smaller, precisely stated pieces. The agents also wrote proofs faster than Lean could check them, so engineers built a system to share checking work across machines.<\/p>\n\n\n\n<h2 class=\"wp-block-heading\">What the machines found<\/h2>\n\n\n\n<p class=\"wp-block-paragraph\">The most interesting result is not the size. It is the mistakes. Most of what the agents flagged was minor: typos, errors in tables, or conditions an author forgot to state. But Axiom counts 34 &#8220;noteworthy deviations from the published record&#8221; that had to be fixed.<\/p>\n\n\n\n<p class=\"wp-block-paragraph\">One example came from a lemma in the 2004 volumes that said two numbers were always equal. The agents found a case, built from a small group called SL\u2082(5), where one number was 1 and the other was 2. The lemma had to be weakened, and later arguments that relied on it had to be reworked.<\/p>\n\n\n\n<p class=\"wp-block-paragraph\">The biggest problem sat in a 1986 argument by John Walter for a key step known as the Unbalanced Group Theorem. The agents found counterexamples to one claim it relied on. The theorem itself survives, because other routes to it exist. But to stay faithful to the original proof, Axiom needed a new argument. With advice from Richard Lyons and Ronald Solomon, two group theorists who worked on the original classification, AxiomProver produced one. The company has written it up in <a href=\"https:\/\/hexagonmath.org\/2610.00575\" target=\"_blank\" rel=\"noopener\">a separate paper<\/a> and says it is a new result in group theory.<\/p>\n\n\n\n<h2 class=\"wp-block-heading\">What has not been checked yet<\/h2>\n\n\n\n<p class=\"wp-block-paragraph\">There are real limits here, and Axiom names some of them itself. Lean checks that every step follows. It does not check that the final statement means what mathematicians think it means. That still needs human eyes, and Axiom&#8217;s blog says so directly.<\/p>\n\n\n\n<p class=\"wp-block-paragraph\">Nobody outside the company has yet published an independent rebuild of the proof. That is not a small job. The <a href=\"https:\/\/github.com\/AxiomMath\/CFSG\/blob\/main\/README.md\" target=\"_blank\" rel=\"noopener\">repository notes<\/a> say Axiom needed unreleased changes to Lean&#8217;s build tools just to get the full check under 24 hours. The detailed list of errors in the literature has also not been published in full; Axiom says it will release it with an advisory board of group theorists. And the top-level statement of the theorem was not written by Axiom but taken from another open project, TauCeti, which is a sensible way to avoid marking your own homework.<\/p>\n\n\n\n<h2 class=\"wp-block-heading\">Why it matters beyond maths<\/h2>\n\n\n\n<p class=\"wp-block-paragraph\">For most readers, finite simple groups will never come up. The method matters more. Chatbots are famous for sounding right while being wrong, and DailyAI has <a href=\"https:\/\/dailyai.com\/es\/2024\/06\/llms-are-really-bad-at-solving-simple-river-crossing-puzzles\/\">reported before<\/a> on language models failing simple logic puzzles. This project points to a different pattern. When AI&#8217;s work is checked by a strict, unforgiving program, mistakes get caught instead of hidden, and far more of the work can safely be handed to AI.<\/p>\n\n\n\n<p class=\"wp-block-paragraph\">The same idea applies to software, chip designs and financial systems, where code can be tested against precise rules. Maths and computer science are also where AI labs are now claiming new results. Earlier this week, DailyAI covered how <a href=\"https:\/\/dailyai.com\/es\/2026\/10\/openai-and-anthropic-say-ai-broke-the-same-computer-science-rule\/\"><span class=\"noTranslate\" data-no-translation=\"\"><span class=\"noTranslate\" data-no-translation=\"\">OpenAI<\/span><\/span> y <span class=\"noTranslate\" data-no-translation=\"\"><span class=\"noTranslate\" data-no-translation=\"\">Anthropic<\/span><\/span> both said AI had broken a long-standing computer science rule<\/a>.<\/p>\n\n\n\n<p class=\"wp-block-paragraph\">The catch is the one Axiom&#8217;s own agents kept running into. A checker only confirms that the work answers the question it was given. Someone still has to make sure it was the right question. For the enormous theorem, that job now falls to the group theorists.<\/p>","protected":false},"excerpt":{"rendered":"<p>Axiom says dozens of AI agents turned a 15,000-page maths proof into 43.1 million lines of computer-checked code in 24 days, and found 34 errors in the published record on the way.<\/p>","protected":false},"author":16,"featured_media":15676,"comment_status":"closed","ping_status":"open","sticky":false,"template":"","format":"standard","meta":{"footnotes":""},"categories":[],"tags":[],"class_list":["post-15675","post","type-post","status-publish","format-standard","has-post-thumbnail","hentry"],"yoast_head":"<!-- This site is optimized with the Yoast SEO plugin v28.8 - https:\/\/yoast.com\/product\/yoast-seo-wordpress\/ -->\n<title>AI Agents Verify the Longest Proof in Maths in 24 Days<\/title>\n<meta name=\"description\" content=\"An AI maths proof milestone: Axiom says AI agents checked a 15,000-page theorem in 24 days and found 34 errors. What it shows, and what is unchecked.\" \/>\n<meta name=\"robots\" content=\"index, follow, max-snippet:-1, max-image-preview:large, max-video-preview:-1\" \/>\n<link rel=\"canonical\" href=\"https:\/\/dailyai.com\/es\/2026\/10\/ai-agents-checked-maths-longest-proof-15000-pages-in-24-days\/\" \/>\n<meta property=\"og:locale\" content=\"es_ES\" \/>\n<meta property=\"og:type\" content=\"article\" \/>\n<meta property=\"og:title\" content=\"AI Agents Verify the Longest Proof in Maths in 24 Days\" \/>\n<meta property=\"og:description\" content=\"An AI maths proof milestone: Axiom says AI agents checked a 15,000-page theorem in 24 days and found 34 errors. What it shows, and what is unchecked.\" \/>\n<meta property=\"og:url\" content=\"https:\/\/dailyai.com\/es\/2026\/10\/ai-agents-checked-maths-longest-proof-15000-pages-in-24-days\/\" \/>\n<meta property=\"og:site_name\" content=\"DailyAI\" \/>\n<meta property=\"article:published_time\" content=\"2026-10-28T16:19:41+00:00\" \/>\n<meta property=\"og:image\" content=\"https:\/\/dailyai.com\/wp-content\/uploads\/2026\/10\/dailyai-og-default.jpg\" \/>\n\t<meta property=\"og:image:width\" content=\"1200\" \/>\n\t<meta property=\"og:image:height\" content=\"630\" \/>\n\t<meta property=\"og:image:type\" content=\"image\/jpeg\" \/>\n<meta name=\"author\" content=\"David Merry\" \/>\n<meta name=\"twitter:card\" content=\"summary_large_image\" \/>\n<meta name=\"twitter:creator\" content=\"@DailyAIOfficial\" \/>\n<meta name=\"twitter:site\" content=\"@DailyAIOfficial\" \/>\n<meta name=\"twitter:label1\" content=\"Escrito por\" \/>\n\t<meta name=\"twitter:data1\" content=\"David Merry\" \/>\n\t<meta name=\"twitter:label2\" content=\"Tiempo de lectura\" \/>\n\t<meta name=\"twitter:data2\" content=\"6 minutos\" \/>\n<script type=\"application\/ld+json\" class=\"yoast-schema-graph\">{\"@context\":\"https:\\\/\\\/schema.org\",\"@graph\":[{\"@type\":\"NewsArticle\",\"@id\":\"https:\\\/\\\/dailyai.com\\\/2026\\\/10\\\/ai-agents-checked-maths-longest-proof-15000-pages-in-24-days\\\/#article\",\"isPartOf\":{\"@id\":\"https:\\\/\\\/dailyai.com\\\/2026\\\/10\\\/ai-agents-checked-maths-longest-proof-15000-pages-in-24-days\\\/\"},\"author\":{\"name\":\"David Merry\",\"@id\":\"https:\\\/\\\/dailyai.com\\\/#\\\/schema\\\/person\\\/285a97adb64b88751ac3440ece6b08a1\"},\"headline\":\"AI Agents Checked Maths\u2019 Longest Proof, 15,000 Pages, in 24 Days\",\"datePublished\":\"2026-10-28T16:19:41+00:00\",\"mainEntityOfPage\":{\"@id\":\"https:\\\/\\\/dailyai.com\\\/2026\\\/10\\\/ai-agents-checked-maths-longest-proof-15000-pages-in-24-days\\\/\"},\"wordCount\":1214,\"publisher\":{\"@id\":\"https:\\\/\\\/dailyai.com\\\/#organization\"},\"image\":{\"@id\":\"https:\\\/\\\/dailyai.com\\\/2026\\\/10\\\/ai-agents-checked-maths-longest-proof-15000-pages-in-24-days\\\/#primaryimage\"},\"thumbnailUrl\":\"https:\\\/\\\/dailyai.com\\\/wp-content\\\/uploads\\\/2026\\\/10\\\/dai-house-15675.jpg\",\"inLanguage\":\"es\"},{\"@type\":\"WebPage\",\"@id\":\"https:\\\/\\\/dailyai.com\\\/2026\\\/10\\\/ai-agents-checked-maths-longest-proof-15000-pages-in-24-days\\\/\",\"url\":\"https:\\\/\\\/dailyai.com\\\/2026\\\/10\\\/ai-agents-checked-maths-longest-proof-15000-pages-in-24-days\\\/\",\"name\":\"AI Agents Verify the Longest Proof in Maths in 24 Days\",\"isPartOf\":{\"@id\":\"https:\\\/\\\/dailyai.com\\\/#website\"},\"primaryImageOfPage\":{\"@id\":\"https:\\\/\\\/dailyai.com\\\/2026\\\/10\\\/ai-agents-checked-maths-longest-proof-15000-pages-in-24-days\\\/#primaryimage\"},\"image\":{\"@id\":\"https:\\\/\\\/dailyai.com\\\/2026\\\/10\\\/ai-agents-checked-maths-longest-proof-15000-pages-in-24-days\\\/#primaryimage\"},\"thumbnailUrl\":\"https:\\\/\\\/dailyai.com\\\/wp-content\\\/uploads\\\/2026\\\/10\\\/dai-house-15675.jpg\",\"datePublished\":\"2026-10-28T16:19:41+00:00\",\"description\":\"An AI maths proof milestone: Axiom says AI agents checked a 15,000-page theorem in 24 days and found 34 errors. What it shows, and what is unchecked.\",\"breadcrumb\":{\"@id\":\"https:\\\/\\\/dailyai.com\\\/2026\\\/10\\\/ai-agents-checked-maths-longest-proof-15000-pages-in-24-days\\\/#breadcrumb\"},\"inLanguage\":\"es\",\"potentialAction\":[{\"@type\":\"ReadAction\",\"target\":[\"https:\\\/\\\/dailyai.com\\\/2026\\\/10\\\/ai-agents-checked-maths-longest-proof-15000-pages-in-24-days\\\/\"]}]},{\"@type\":\"ImageObject\",\"inLanguage\":\"es\",\"@id\":\"https:\\\/\\\/dailyai.com\\\/2026\\\/10\\\/ai-agents-checked-maths-longest-proof-15000-pages-in-24-days\\\/#primaryimage\",\"url\":\"https:\\\/\\\/dailyai.com\\\/wp-content\\\/uploads\\\/2026\\\/10\\\/dai-house-15675.jpg\",\"contentUrl\":\"https:\\\/\\\/dailyai.com\\\/wp-content\\\/uploads\\\/2026\\\/10\\\/dai-house-15675.jpg\",\"width\":1472,\"height\":832,\"caption\":\"Flat illustration of a tall navy stack of paper with a large red tick across it and a small red magnifying glass beside it.\"},{\"@type\":\"BreadcrumbList\",\"@id\":\"https:\\\/\\\/dailyai.com\\\/2026\\\/10\\\/ai-agents-checked-maths-longest-proof-15000-pages-in-24-days\\\/#breadcrumb\",\"itemListElement\":[{\"@type\":\"ListItem\",\"position\":1,\"name\":\"Home\",\"item\":\"https:\\\/\\\/dailyai.com\\\/\"},{\"@type\":\"ListItem\",\"position\":2,\"name\":\"AI Agents Checked Maths\u2019 Longest Proof, 15,000 Pages, in 24 Days\"}]},{\"@type\":\"WebSite\",\"@id\":\"https:\\\/\\\/dailyai.com\\\/#website\",\"url\":\"https:\\\/\\\/dailyai.com\\\/\",\"name\":\"DailyAI\",\"description\":\"The AI economy, measured.\",\"publisher\":{\"@id\":\"https:\\\/\\\/dailyai.com\\\/#organization\"},\"potentialAction\":[{\"@type\":\"SearchAction\",\"target\":{\"@type\":\"EntryPoint\",\"urlTemplate\":\"https:\\\/\\\/dailyai.com\\\/?s={search_term_string}\"},\"query-input\":{\"@type\":\"PropertyValueSpecification\",\"valueRequired\":true,\"valueName\":\"search_term_string\"}}],\"inLanguage\":\"es\"},{\"@type\":\"Organization\",\"@id\":\"https:\\\/\\\/dailyai.com\\\/#organization\",\"name\":\"DailyAI\",\"url\":\"https:\\\/\\\/dailyai.com\\\/\",\"logo\":{\"@type\":\"ImageObject\",\"inLanguage\":\"es\",\"@id\":\"https:\\\/\\\/dailyai.com\\\/#\\\/schema\\\/logo\\\/image\\\/\",\"url\":\"https:\\\/\\\/dailyai.com\\\/wp-content\\\/uploads\\\/2023\\\/06\\\/Daily-Ai_TL_colour.png\",\"contentUrl\":\"https:\\\/\\\/dailyai.com\\\/wp-content\\\/uploads\\\/2023\\\/06\\\/Daily-Ai_TL_colour.png\",\"width\":4501,\"height\":934,\"caption\":\"DailyAI\"},\"image\":{\"@id\":\"https:\\\/\\\/dailyai.com\\\/#\\\/schema\\\/logo\\\/image\\\/\"},\"sameAs\":[\"https:\\\/\\\/x.com\\\/DailyAIOfficial\",\"https:\\\/\\\/www.linkedin.com\\\/company\\\/dailyaiofficial\\\/\",\"https:\\\/\\\/www.youtube.com\\\/@DailyAIOfficial\"],\"legalName\":\"Zero Hour Investments FZCO\",\"foundingDate\":\"2023\",\"slogan\":\"The AI economy, measured.\",\"description\":\"DailyAI tracks the AI economy in numbers: data trackers, research and plain-English news on jobs, spending, pricing and funding.\",\"address\":{\"@type\":\"PostalAddress\",\"addressCountry\":\"AE\"},\"contactPoint\":{\"@type\":\"ContactPoint\",\"contactType\":\"customer support\",\"url\":\"https:\\\/\\\/dailyai.com\\\/contact\\\/\"},\"founder\":{\"@type\":\"Person\",\"name\":\"David Merry\",\"url\":\"https:\\\/\\\/dailyai.com\\\/author\\\/davidmerry\\\/\",\"sameAs\":[\"https:\\\/\\\/www.linkedin.com\\\/in\\\/davidmerry\\\/\"]}},{\"@type\":\"Person\",\"@id\":\"https:\\\/\\\/dailyai.com\\\/#\\\/schema\\\/person\\\/285a97adb64b88751ac3440ece6b08a1\",\"name\":\"David Merry\",\"image\":{\"@type\":\"ImageObject\",\"inLanguage\":\"es\",\"@id\":\"https:\\\/\\\/dailyai.com\\\/wp-content\\\/uploads\\\/2026\\\/10\\\/david-merry-dailyai.jpg\",\"url\":\"https:\\\/\\\/dailyai.com\\\/wp-content\\\/uploads\\\/2026\\\/10\\\/david-merry-dailyai.jpg\",\"contentUrl\":\"https:\\\/\\\/dailyai.com\\\/wp-content\\\/uploads\\\/2026\\\/10\\\/david-merry-dailyai.jpg\",\"caption\":\"David Merry\"},\"description\":\"David Merry is the founder of DailyAI and a London-based entrepreneur. He co-founded Kyro, is a partner at Ki and writes about AI's impact on business, markets and everyday life.\",\"sameAs\":[\"https:\\\/\\\/www.linkedin.com\\\/in\\\/davidmerry\\\/\"],\"url\":\"https:\\\/\\\/dailyai.com\\\/es\\\/author\\\/davidmerry\\\/\"}]}<\/script>\n<!-- \/ Yoast SEO plugin. -->","yoast_head_json":{"title":"AI Agents Verify the Longest Proof in Maths in 24 Days","description":"An AI maths proof milestone: Axiom says AI agents checked a 15,000-page theorem in 24 days and found 34 errors. What it shows, and what is unchecked.","robots":{"index":"index","follow":"follow","max-snippet":"max-snippet:-1","max-image-preview":"max-image-preview:large","max-video-preview":"max-video-preview:-1"},"canonical":"https:\/\/dailyai.com\/es\/2026\/10\/ai-agents-checked-maths-longest-proof-15000-pages-in-24-days\/","og_locale":"es_ES","og_type":"article","og_title":"AI Agents Verify the Longest Proof in Maths in 24 Days","og_description":"An AI maths proof milestone: Axiom says AI agents checked a 15,000-page theorem in 24 days and found 34 errors. What it shows, and what is unchecked.","og_url":"https:\/\/dailyai.com\/es\/2026\/10\/ai-agents-checked-maths-longest-proof-15000-pages-in-24-days\/","og_site_name":"DailyAI","article_published_time":"2026-10-28T16:19:41+00:00","og_image":[{"width":1200,"height":630,"url":"https:\/\/dailyai.com\/wp-content\/uploads\/2026\/10\/dailyai-og-default.jpg","type":"image\/jpeg"}],"author":"David Merry","twitter_card":"summary_large_image","twitter_creator":"@DailyAIOfficial","twitter_site":"@DailyAIOfficial","twitter_misc":{"Escrito por":"David Merry","Tiempo de lectura":"6 minutos"},"schema":{"@context":"https:\/\/schema.org","@graph":[{"@type":"NewsArticle","@id":"https:\/\/dailyai.com\/2026\/10\/ai-agents-checked-maths-longest-proof-15000-pages-in-24-days\/#article","isPartOf":{"@id":"https:\/\/dailyai.com\/2026\/10\/ai-agents-checked-maths-longest-proof-15000-pages-in-24-days\/"},"author":{"name":"David Merry","@id":"https:\/\/dailyai.com\/#\/schema\/person\/285a97adb64b88751ac3440ece6b08a1"},"headline":"AI Agents Checked Maths\u2019 Longest Proof, 15,000 Pages, in 24 Days","datePublished":"2026-10-28T16:19:41+00:00","mainEntityOfPage":{"@id":"https:\/\/dailyai.com\/2026\/10\/ai-agents-checked-maths-longest-proof-15000-pages-in-24-days\/"},"wordCount":1214,"publisher":{"@id":"https:\/\/dailyai.com\/#organization"},"image":{"@id":"https:\/\/dailyai.com\/2026\/10\/ai-agents-checked-maths-longest-proof-15000-pages-in-24-days\/#primaryimage"},"thumbnailUrl":"https:\/\/dailyai.com\/wp-content\/uploads\/2026\/10\/dai-house-15675.jpg","inLanguage":"es"},{"@type":"WebPage","@id":"https:\/\/dailyai.com\/2026\/10\/ai-agents-checked-maths-longest-proof-15000-pages-in-24-days\/","url":"https:\/\/dailyai.com\/2026\/10\/ai-agents-checked-maths-longest-proof-15000-pages-in-24-days\/","name":"AI Agents Verify the Longest Proof in Maths in 24 Days","isPartOf":{"@id":"https:\/\/dailyai.com\/#website"},"primaryImageOfPage":{"@id":"https:\/\/dailyai.com\/2026\/10\/ai-agents-checked-maths-longest-proof-15000-pages-in-24-days\/#primaryimage"},"image":{"@id":"https:\/\/dailyai.com\/2026\/10\/ai-agents-checked-maths-longest-proof-15000-pages-in-24-days\/#primaryimage"},"thumbnailUrl":"https:\/\/dailyai.com\/wp-content\/uploads\/2026\/10\/dai-house-15675.jpg","datePublished":"2026-10-28T16:19:41+00:00","description":"An AI maths proof milestone: Axiom says AI agents checked a 15,000-page theorem in 24 days and found 34 errors. What it shows, and what is unchecked.","breadcrumb":{"@id":"https:\/\/dailyai.com\/2026\/10\/ai-agents-checked-maths-longest-proof-15000-pages-in-24-days\/#breadcrumb"},"inLanguage":"es","potentialAction":[{"@type":"ReadAction","target":["https:\/\/dailyai.com\/2026\/10\/ai-agents-checked-maths-longest-proof-15000-pages-in-24-days\/"]}]},{"@type":"ImageObject","inLanguage":"es","@id":"https:\/\/dailyai.com\/2026\/10\/ai-agents-checked-maths-longest-proof-15000-pages-in-24-days\/#primaryimage","url":"https:\/\/dailyai.com\/wp-content\/uploads\/2026\/10\/dai-house-15675.jpg","contentUrl":"https:\/\/dailyai.com\/wp-content\/uploads\/2026\/10\/dai-house-15675.jpg","width":1472,"height":832,"caption":"Flat illustration of a tall navy stack of paper with a large red tick across it and a small red magnifying glass beside it."},{"@type":"BreadcrumbList","@id":"https:\/\/dailyai.com\/2026\/10\/ai-agents-checked-maths-longest-proof-15000-pages-in-24-days\/#breadcrumb","itemListElement":[{"@type":"ListItem","position":1,"name":"Home","item":"https:\/\/dailyai.com\/"},{"@type":"ListItem","position":2,"name":"AI Agents Checked Maths\u2019 Longest Proof, 15,000 Pages, in 24 Days"}]},{"@type":"WebSite","@id":"https:\/\/dailyai.com\/#website","url":"https:\/\/dailyai.com\/","name":"DailyAI","description":"La econom\u00eda de la IA, medida.","publisher":{"@id":"https:\/\/dailyai.com\/#organization"},"potentialAction":[{"@type":"SearchAction","target":{"@type":"EntryPoint","urlTemplate":"https:\/\/dailyai.com\/?s={search_term_string}"},"query-input":{"@type":"PropertyValueSpecification","valueRequired":true,"valueName":"search_term_string"}}],"inLanguage":"es"},{"@type":"Organization","@id":"https:\/\/dailyai.com\/#organization","name":"DailyAI","url":"https:\/\/dailyai.com\/","logo":{"@type":"ImageObject","inLanguage":"es","@id":"https:\/\/dailyai.com\/#\/schema\/logo\/image\/","url":"https:\/\/dailyai.com\/wp-content\/uploads\/2023\/06\/Daily-Ai_TL_colour.png","contentUrl":"https:\/\/dailyai.com\/wp-content\/uploads\/2023\/06\/Daily-Ai_TL_colour.png","width":4501,"height":934,"caption":"DailyAI"},"image":{"@id":"https:\/\/dailyai.com\/#\/schema\/logo\/image\/"},"sameAs":["https:\/\/x.com\/DailyAIOfficial","https:\/\/www.linkedin.com\/company\/dailyaiofficial\/","https:\/\/www.youtube.com\/@DailyAIOfficial"],"legalName":"Zero Hour Investments FZCO","foundingDate":"2023","slogan":"The AI economy, measured.","description":"DailyAI sigue la econom\u00eda de la IA en cifras: rastreadores de datos, an\u00e1lisis y noticias en lenguaje claro sobre empleo, inversi\u00f3n, precios y financiaci\u00f3n.","address":{"@type":"PostalAddress","addressCountry":"AE"},"contactPoint":{"@type":"ContactPoint","contactType":"customer support","url":"https:\/\/dailyai.com\/contact\/"},"founder":{"@type":"Person","name":"David Merry","url":"https:\/\/dailyai.com\/author\/davidmerry\/","sameAs":["https:\/\/www.linkedin.com\/in\/davidmerry\/"]}},{"@type":"Person","@id":"https:\/\/dailyai.com\/#\/schema\/person\/285a97adb64b88751ac3440ece6b08a1","name":"David Merry","image":{"@type":"ImageObject","inLanguage":"es","@id":"https:\/\/dailyai.com\/wp-content\/uploads\/2026\/10\/david-merry-dailyai.jpg","url":"https:\/\/dailyai.com\/wp-content\/uploads\/2026\/10\/david-merry-dailyai.jpg","contentUrl":"https:\/\/dailyai.com\/wp-content\/uploads\/2026\/10\/david-merry-dailyai.jpg","caption":"David Merry"},"description":"David Merry es el fundador de DailyAI y un emprendedor afincado en Londres. Es cofundador de Kyro, socio de Ki y escribe sobre el impacto de la IA en los negocios, los mercados y la vida cotidiana.","sameAs":["https:\/\/www.linkedin.com\/in\/davidmerry\/"],"url":"https:\/\/dailyai.com\/es\/author\/davidmerry\/"}]}},"_links":{"self":[{"href":"https:\/\/dailyai.com\/es\/wp-json\/wp\/v2\/posts\/15675","targetHints":{"allow":["GET"]}}],"collection":[{"href":"https:\/\/dailyai.com\/es\/wp-json\/wp\/v2\/posts"}],"about":[{"href":"https:\/\/dailyai.com\/es\/wp-json\/wp\/v2\/types\/post"}],"author":[{"embeddable":true,"href":"https:\/\/dailyai.com\/es\/wp-json\/wp\/v2\/users\/16"}],"replies":[{"embeddable":true,"href":"https:\/\/dailyai.com\/es\/wp-json\/wp\/v2\/comments?post=15675"}],"version-history":[{"count":1,"href":"https:\/\/dailyai.com\/es\/wp-json\/wp\/v2\/posts\/15675\/revisions"}],"predecessor-version":[{"id":15677,"href":"https:\/\/dailyai.com\/es\/wp-json\/wp\/v2\/posts\/15675\/revisions\/15677"}],"wp:featuredmedia":[{"embeddable":true,"href":"https:\/\/dailyai.com\/es\/wp-json\/wp\/v2\/media\/15676"}],"wp:attachment":[{"href":"https:\/\/dailyai.com\/es\/wp-json\/wp\/v2\/media?parent=15675"}],"wp:term":[{"taxonomy":"category","embeddable":true,"href":"https:\/\/dailyai.com\/es\/wp-json\/wp\/v2\/categories?post=15675"},{"taxonomy":"post_tag","embeddable":true,"href":"https:\/\/dailyai.com\/es\/wp-json\/wp\/v2\/tags?post=15675"}],"curies":[{"name":"wp","href":"https:\/\/api.w.org\/{rel}","templated":true}]}}