{"id":138,"date":"2026-06-01T11:40:18","date_gmt":"2026-06-01T11:40:18","guid":{"rendered":"https:\/\/longhaulmovingpros.com\/?p=138"},"modified":"2026-06-01T11:40:18","modified_gmt":"2026-06-01T11:40:18","slug":"an-openai-model-disproved-a-famous-math-conjecture-this-mathematician-couldnt-leave-it-alone","status":"publish","type":"post","link":"https:\/\/longhaulmovingpros.com\/?p=138","title":{"rendered":"An OpenAI Model \u2018Disproved\u2019 a Famous Math Conjecture. This Mathematician Couldn\u2019t Leave It Alone"},"content":{"rendered":"
\n

Will Sawin got OpenAI\u2019s email on a Friday night. Or Saturday morning. Either way, Sawin, a professional mathematician, spent his entire weekend thinking about that email. By next Monday, he decided to write up a paper that essentially improved what was given to him\u2014an AI\u2019s \u201cproof\u201d of Paul Erd\u0151s\u2019s unit-distance problem, an infamous conjecture from 1946.<\/p>\n

Read more Nvidia Now Has a Laptop Chip, and You Can Probably Guess What It\u2019s Built for<\/a><\/p>\n

Last week, OpenAI published a blog post on the AI\u2019s . The paper came with a containing comments from nine renowned mathematicians uninvolved with OpenAI, including Sawin. Many prominent mathematicians praised the work, with Fields medalist Tim Gowers calling it a \u201cmilestone in AI mathematics.\u201d This result is just one of dozens of AI-derived solutions to long-time mathematical riddles. All this has us asking: Could AI usher in a new era of mathematical advancements?<\/p>\n

\n

Today, we share a breakthrough on the planar unit distance problem, a famous open question first posed by Paul Erd\u0151s in 1946.<\/p>\n

For nearly 80 years, mathematicians believed the best possible solutions looked roughly like square grids.<\/p>\n

An OpenAI model has now disproved that\u2026 pic.twitter.com\/j2g3Ze0zEG<\/p>\n

\u2014 OpenAI (@OpenAI) May 20, 2026<\/p>\n<\/blockquote>\n

The answer, if one even exists, is likely a nuanced one. There are certainly computational advantages that AI brings to the equation (no pun intended). But what does this really mean? Does that represent some tangible revolution, or is it a \u201cmisconception\u201d stemming from AI\u2019s data-driven imitation of human intelligence, to quote Pope Leo\u2019s recent encyclical?<\/p>\n

\n<\/div>\n

We\u2019ll for sure continue to see more AI solutions pop up\u2014after all, impossible math conjectures come by the hundreds\u2014and each time, human mathematicians will be summoned to check the computer\u2019s work. To OpenAI\u2019s credit, its blog post closes with this pleasant sentiment: \u201cPeople choose the problems that matter, interpret the results, and decide what questions to pursue next.\u201d So, Gizmodo reached out to Will Sawin, who appears to have done just that: interpret the results and pursue a relevant question. We wanted to know what the experience was like.<\/p>\n

\n<\/div>\n

Sawin is a Fernholz Professor of mathematics at Princeton University. He began his academic career at Yale when he was 10 years old and has since worked in number theory, algebraic geometry, and combinatorics. During the conversation, Gizmodo asked Sawin about his own experience reviewing AI-derived mathematical proofs, the reality of using AI in mathematics\u2014and, most importantly, what it is and is not doing.<\/p>\n

The following conversation has been edited for grammar and clarity.<\/p>\n

Gayoung Lee, Gizmodo<\/strong>: Let\u2019s start with the headline of OpenAI\u2019s blog post: \u201can OpenAI model has disproved a central conjecture in discrete geometry.\u201d What\u2019s the conjecture we\u2019re talking about here?<\/p>\n

\n<\/div>\n

Will Sawin<\/strong>: We start with the problem in simple form: if you have a set of points in the plane, how many pairs of points can have a distance exactly 1 [unit distance] from each other? You can play around with different constructions. If you try it by hand, the best you\u2019re going to find is some kind of grid, like a triangular grid of points. Each point will be the next unit distance from 6 other points. That\u2019s pretty good for small numbers of points.<\/p>\n

The mathematical question is for each n<\/em> number of points, \u201cWhat\u2019s the greatest number of pairs of unit distances you can get with that many points?\u201d For Erd\u0151s, the problem was, how does this grow as a function of n<\/em>? And the conjecture he made was that it can grow slower than every power of n<\/em> > 1. So, slower than n<\/em>1+1\/2<\/sup>, and slower than n<\/em>1+1\/4<\/sup>, and so on.<\/p>\n

This is a purely asymptotic question, so not about any particular value of n<\/em>. I think one thing that people were disappointed by is that OpenAI\u2019s paper, our paper explaining the proof, and my paper on an optimized version\u2014none of these papers had an example of the construction for a particular value of n<\/em>. That\u2019s because of the asymptotic nature of the problem.<\/p>\n

\n<\/div>\n

When Erd\u0151s first brought up the problem 80 years ago, he was not sure it should be true. But he seems to have gotten a little more confident in this over time, as nobody figured out a way to make it grow faster than that. There are some conjectures in mathematics that, if you disproved them, it would be a really<\/em> big shock to the mathematical community. It wasn\u2019t such a huge shock that this statement wasn\u2019t true, but it was the opposite of what people generally believed.<\/p>\n

Gizmodo<\/strong>: You mentioned that Erd\u0151s grew more confident in his question. To ask a more metaphysical question\u2014what does it mean to prove or disprove a conjecture in mathematics? What does it mean exactly for a problem to be \u201csolved\u201d?<\/p>\n

\n<\/div>\n

Sawin<\/strong>: To answer your first question, a proof or a disproof in mathematics is an argument that is completely convincing, leaving no room for doubt. What mathematicians have considered to be a proof has changed over time. Hundreds of years ago, you might see people use some kind of physical reasoning and consider that to be about the real world and consider that to be a mathematical proof.<\/p>\n

Now people have different standards. One standard is a formal proof. There exist formal proof systems with logical rules for what statement you\u2019re allowed to introduce from another statement. One common belief is that a proof really should be a formal proof. If you have an informal proof using English words, it\u2019s only a valid proof if it\u2019s an explanation of why there exists a formal proof. Other people disagree and say there\u2019s something about informal proofs that is not completely captured by formal proofs.<\/p>\n

Let me not take a position on that philosophical question right now (laughs). But the [OpenAI] proof in question is an informal proof that you could eventually turn into a formal proof if you wanted. And this is usually what mathematicians mean when they say something\u2019s been \u201cproved.\u201d<\/p>\n

\n<\/div>\n

Gizmodo<\/strong>: So OpenAI\u2019s proof is an informal proof?<\/p>\n

Sawin<\/strong>: It\u2019s an informal proof that looks very similar to the informal proofs that mathematicians produce. There are some things about the way it\u2019s organized that, if you\u2019ve seen a lot of mathematical proofs, you can tell aren\u2019t exactly the same as how a mathematician would write them. But I would say someone who has not read a lot of mathematical proofs might not be able to tell the difference.<\/p>\n

Gizmodo<\/strong>: Could you unpack for me the content of this informal proof? How did the AI arrive at its conclusions, from what you can tell?<\/p>\n

Sawin<\/strong>: If you were trying to prove what Erd\u0151s said\u2014an upper bound for the number of unit distances\u2014you\u2019d have to reason about any possible collection of points on the plane to make some argument that\u2019s valid for any set of points on the plane. Which would be hard. So the dis<\/em>proof, in some sense, is easier, because you have to come up with a specific sequence of points in the plane. So it\u2019s a question about the limit as the size goes to infinity, and you need to construct a sequence and show it has a lot of unit distances.<\/p>\n

\n<\/div>\n

The way the AI did this was to use algebraic number theory to use a ring of integers in an algebraic number field. When I describe this idea at that level of generality, it\u2019s not so foreign to what mathematicians had already tried. I would say the key thing that AI realized that humans didn\u2019t<\/em> is not just that you can use algebraic number fields but that you can use algebraic number fields of growing degrees. You let the degree of the field grow, which basically increases the kind of complexity of the numbers you\u2019re working with. And that makes the number of unit distances grow very rapidly and more rapidly than Erd\u0151s expected.<\/p>\n

Gizmodo<\/strong>: I\u2019m admittedly somewhat skeptical about news that AI did this impossible thing in math, since my thought tends to go to how AI is just a really great computing device. But here, it sounds like OpenAI\u2019s model looked at what human mathematicians were doing and kind of\u2026 made a logical decision as opposed to pure computation. Is that something we\u2019ve seen before?<\/p>\n

Read more The Expected Price of MSI\u2019s New Claw 8 Handheld Will Make You Cry<\/a><\/p>\n

\n<\/div>\n

Sawin<\/strong>: It depends on what you mean by \u201cbefore.\u201d In terms of the cleverness of the mathematical reasoning, there\u2019s not a big gap between this and the most impressive previous cases of OpenAI and mathematics that I have seen. Erd\u0151s had a huge number of problems, and Thomas Bloom collected over a thousand on a website. And he has not collected all the problems that Erd\u0151s asked; there are even more than that.<\/p>\n

Over the last few months, a lot of people have been trying to use AI to generate solutions to Erd\u0151s problems. Some solutions aren\u2019t incredibly impressive. Some of them are, like, the AI discovers there\u2019s a paper where somebody solved the problem already, but they just didn\u2019t know about the problem. So they didn\u2019t know, but the [AI realizes] their paper just immediately solves the problem.<\/p>\n

\n<\/div>\n

But in some cases, AI introduces some new ideas that humans didn\u2019t use. Sometimes, the idea isn\u2019t very interesting. Other times, the idea is interesting and leads humans to wonder what they could do with this idea. That is not too dissimilar to what happened here [with OpenAI]. I think this was a more technically intricate idea than previous problems that I\u2019ve seen. It definitely was a bigger problem that more people knew about and more people had worked on.<\/p>\n

I can tell you reasons for skepticism. So certainly, this is an idea that, as far as we can tell, humans did not come up with. This is not an idea that humans couldn\u2019t<\/em> have come up with. I can see why it was hard for somebody to come up with that idea, but people come up with ideas that are hard for people to come up with all the time. It\u2019s definitely not a situation where AI is doing something that humans can\u2019t do.<\/p>\n

\n<\/div>\n

We don\u2019t know the amount of computing power that was used, the amount of problems that OpenAI tried it on, or how the AI system is set up. I mean, OpenAI did say some things about this, but certainly not at the level of detail that they used to have when AI was not such a big deal. So exactly how hard it is for the AI to do this is something we don\u2019t fully know.<\/p>\n

Gizmodo<\/strong>: On that note, let\u2019s talk about your own preprint. This \u201crefined\u201d the AI\u2019s proof. What does that mean?<\/p>\n

Sawin<\/strong>: Yeah. So the conjecture is that this function grows slower than any power of n > 1. The OpenAI proof said that it actually grows faster than a power of n <\/em>> 1. But it doesn\u2019t tell you which power of n <\/i>> 1,<\/i> just \u201csome\u201d power of n<\/em> > 1. I wanted to try getting an explicit value that\u2019s reasonably good, that\u2019s not a really tiny distance away from 1. The value I ended up getting is a little more than 1.01, so not a big difference from 1. Other people have improved it, and it\u2019s now more like 1.03.<\/p>\n

And as I was reading the argument of the AI and trying to understand each step, I was thinking, \u2018How would I do each step in an efficient way?\u2019 A lot of things about the AI\u2019s argument were inefficient in some way, which I think is not surprising. Like, a human wouldn\u2019t have written it that way. But the AI was clearly not trying to be efficient. There was definitely nothing wrong with the original argument. It achieved this goal. I had a somewhat different goal. But basically, almost every step of the argument had to be changed in some way to support this goal of getting a reasonable, explicit constant.<\/p>\n

\n<\/div>\n

Gizmodo<\/strong>: And OpenAI was fine that you did this?<\/p>\n

Sawin<\/strong>: Oh yeah, I told them. And they were fine with it. Their announcement mentioned my paper. No concerns.<\/p>\n

Gizmodo<\/strong>: Has this experience influenced at all how you view AI\u2019s impact on your work, or the perception of your work, as a mathematician?<\/p>\n

Sawin<\/strong>: There are two things that these AIs are very effective at now. One is searching the literature. If you want to know if a certain theorem exists, you\u2019re much more likely to get the result by asking an LLM than you are by typing it into a mathematics-specific search engine. The other thing it\u2019s good at is reading and proofreading a paper\u2014not just typos or grammatical errors but also mathematical errors that could affect the result.<\/p>\n

I mean, I do still read and proofread my paper as a human, because, you know, that\u2019s what\u2019s appropriate. And I think most other mathematicians don\u2019t want to let it write their papers for them, either, for reasons of personal credibility and accountability, but also because one still shouldn\u2019t fully trust the AI. They\u2019ve gotten a lot better, but there are still blind spots. If you\u2019re using an AI-generated idea, you should still express your understanding of it as a human.<\/p>\n

\n<\/div>\n

As for generating ideas, I haven\u2019t found AI very effective at that. I think that\u2019s partly because it varies from one field of mathematics to another. It\u2019s easier for AI to generate new ideas in combinatorics than in some areas where there\u2019s more technical background and fewer prior works to use as a point of comparison.<\/p>\n

Gizmodo<\/strong>: And as you mentioned, sometimes it\u2019s because an AI having an idea doesn\u2019t necessarily mean that it\u2019s an idea that humans would never<\/em> have thought about.<\/p>\n

Sawin<\/strong>: Yeah. Like, if I were to ask AI for an idea, I wouldn\u2019t be asking so I could throw out the ones I already came up with for a question.<\/p>\n

Gizmodo<\/strong>: So to you, a mathematician, is AI a partner or a search engine tool?<\/p>\n

Sawin<\/strong>: Currently, I\u2019d say tool. The people that are having the most success are using AI as a tool. It\u2019s completely conceivable that soon somebody will prompt an AI to look at the recent literature, come up with its own problems, and solve those problems. And it\u2019ll come up with interesting stuff. But that hasn\u2019t happened yet, as far as I\u2019m aware. I don\u2019t want to try to make any predictions about the future, but that\u2019s what\u2019s true currently.<\/p>\n

\n<\/div>\n

Gizmodo<\/strong>: Okay. So I\u2019d like to ask you for some advice. When we see another AI-written, fantastical proof, what do you think is the most important question we should ask ourselves?<\/p>\n

Sawin<\/strong>: I\u2019d say that it is probably less exciting than it sounds (laughs). But it\u2019s probably still somewhat exciting. If somebody\u2019s like, \u201cOh, AI solved this impossible math problem,\u201d it\u2019s definitely not that. It\u2019s not that AI solved an impossible math problem, but it\u2019s not nothing. It\u2019s somewhere in between.<\/p>\n

I\u2019ve definitely seen people whose first reaction is to assume that if AI solved an impossible math problem, like, human mathematics is over. And I\u2019ve definitely seen people whose reaction is to assume that it\u2019s nothing, that AI really didn\u2019t do anything.<\/p>\n

It\u2019s definitely somewhere in between those two. And I\u2019m not sure exactly where it is, but it\u2019s somewhere in between those two.<\/p>\n

Read more AMD\u2019s Plan to Fix RAM Costs: Bring Back Bygone CPUs<\/a><\/p>\n<\/p><\/div>\n","protected":false},"excerpt":{"rendered":"

Mathematician Will Sawin discusses his experience reviewing and refining a mathematical proof devised by OpenAI’s internal model\u2014and what that could mean for mathematics.<\/p>\n","protected":false},"author":1,"featured_media":137,"comment_status":"open","ping_status":"closed","sticky":false,"template":"","format":"standard","meta":{"footnotes":""},"categories":[2],"tags":[],"class_list":["post-138","post","type-post","status-publish","format-standard","has-post-thumbnail","hentry","category-artificial-intelligence"],"yoast_head":"\nAn OpenAI Model \u2018Disproved\u2019 a Famous Math Conjecture. This Mathematician Couldn\u2019t Leave It Alone - Long Haul Moving Pros<\/title>\n<meta name=\"robots\" content=\"index, follow, max-snippet:-1, max-image-preview:large, max-video-preview:-1\" \/>\n<link rel=\"canonical\" href=\"https:\/\/longhaulmovingpros.com\/?p=138\" \/>\n<meta property=\"og:locale\" content=\"en_US\" \/>\n<meta property=\"og:type\" content=\"article\" \/>\n<meta property=\"og:title\" content=\"An OpenAI Model \u2018Disproved\u2019 a Famous Math Conjecture. This Mathematician Couldn\u2019t Leave It Alone - Long Haul Moving Pros\" \/>\n<meta property=\"og:description\" content=\"Mathematician Will Sawin discusses his experience reviewing and refining a mathematical proof devised by OpenAI's internal model\u2014and what that could mean for mathematics.\" \/>\n<meta property=\"og:url\" content=\"https:\/\/longhaulmovingpros.com\/?p=138\" \/>\n<meta property=\"og:site_name\" content=\"Long Haul Moving Pros\" \/>\n<meta property=\"article:published_time\" content=\"2026-06-01T11:40:18+00:00\" \/>\n<meta name=\"author\" content=\"admin\" \/>\n<meta name=\"twitter:card\" content=\"summary_large_image\" \/>\n<meta name=\"twitter:label1\" content=\"Written by\" \/>\n\t<meta name=\"twitter:data1\" content=\"admin\" \/>\n\t<meta name=\"twitter:label2\" content=\"Est. reading time\" \/>\n\t<meta name=\"twitter:data2\" content=\"13 minutes\" \/>\n<script type=\"application\/ld+json\" class=\"yoast-schema-graph\">{\"@context\":\"https:\\\/\\\/schema.org\",\"@graph\":[{\"@type\":\"Article\",\"@id\":\"https:\\\/\\\/longhaulmovingpros.com\\\/?p=138#article\",\"isPartOf\":{\"@id\":\"https:\\\/\\\/longhaulmovingpros.com\\\/?p=138\"},\"author\":{\"name\":\"admin\",\"@id\":\"https:\\\/\\\/longhaulmovingpros.com\\\/#\\\/schema\\\/person\\\/ed9c8f732aec56889e8fd0602fe5af4b\"},\"headline\":\"An OpenAI Model \u2018Disproved\u2019 a Famous Math Conjecture. This Mathematician Couldn\u2019t Leave It Alone\",\"datePublished\":\"2026-06-01T11:40:18+00:00\",\"mainEntityOfPage\":{\"@id\":\"https:\\\/\\\/longhaulmovingpros.com\\\/?p=138\"},\"wordCount\":2697,\"commentCount\":0,\"image\":{\"@id\":\"https:\\\/\\\/longhaulmovingpros.com\\\/?p=138#primaryimage\"},\"thumbnailUrl\":\"https:\\\/\\\/longhaulmovingpros.com\\\/wp-content\\\/uploads\\\/2026\\\/06\\\/e6098af96242ed5da24e4c78c332962c.webp\",\"articleSection\":[\"Artificial Intelligence\"],\"inLanguage\":\"en-US\",\"potentialAction\":[{\"@type\":\"CommentAction\",\"name\":\"Comment\",\"target\":[\"https:\\\/\\\/longhaulmovingpros.com\\\/?p=138#respond\"]}]},{\"@type\":\"WebPage\",\"@id\":\"https:\\\/\\\/longhaulmovingpros.com\\\/?p=138\",\"url\":\"https:\\\/\\\/longhaulmovingpros.com\\\/?p=138\",\"name\":\"An OpenAI Model \u2018Disproved\u2019 a Famous Math Conjecture. This Mathematician Couldn\u2019t Leave It Alone - Long Haul Moving Pros\",\"isPartOf\":{\"@id\":\"https:\\\/\\\/longhaulmovingpros.com\\\/#website\"},\"primaryImageOfPage\":{\"@id\":\"https:\\\/\\\/longhaulmovingpros.com\\\/?p=138#primaryimage\"},\"image\":{\"@id\":\"https:\\\/\\\/longhaulmovingpros.com\\\/?p=138#primaryimage\"},\"thumbnailUrl\":\"https:\\\/\\\/longhaulmovingpros.com\\\/wp-content\\\/uploads\\\/2026\\\/06\\\/e6098af96242ed5da24e4c78c332962c.webp\",\"datePublished\":\"2026-06-01T11:40:18+00:00\",\"author\":{\"@id\":\"https:\\\/\\\/longhaulmovingpros.com\\\/#\\\/schema\\\/person\\\/ed9c8f732aec56889e8fd0602fe5af4b\"},\"breadcrumb\":{\"@id\":\"https:\\\/\\\/longhaulmovingpros.com\\\/?p=138#breadcrumb\"},\"inLanguage\":\"en-US\",\"potentialAction\":[{\"@type\":\"ReadAction\",\"target\":[\"https:\\\/\\\/longhaulmovingpros.com\\\/?p=138\"]}]},{\"@type\":\"ImageObject\",\"inLanguage\":\"en-US\",\"@id\":\"https:\\\/\\\/longhaulmovingpros.com\\\/?p=138#primaryimage\",\"url\":\"https:\\\/\\\/longhaulmovingpros.com\\\/wp-content\\\/uploads\\\/2026\\\/06\\\/e6098af96242ed5da24e4c78c332962c.webp\",\"contentUrl\":\"https:\\\/\\\/longhaulmovingpros.com\\\/wp-content\\\/uploads\\\/2026\\\/06\\\/e6098af96242ed5da24e4c78c332962c.webp\",\"width\":1200,\"height\":675},{\"@type\":\"BreadcrumbList\",\"@id\":\"https:\\\/\\\/longhaulmovingpros.com\\\/?p=138#breadcrumb\",\"itemListElement\":[{\"@type\":\"ListItem\",\"position\":1,\"name\":\"Home\",\"item\":\"https:\\\/\\\/longhaulmovingpros.com\\\/\"},{\"@type\":\"ListItem\",\"position\":2,\"name\":\"An OpenAI Model \u2018Disproved\u2019 a Famous Math Conjecture. This Mathematician Couldn\u2019t Leave It Alone\"}]},{\"@type\":\"WebSite\",\"@id\":\"https:\\\/\\\/longhaulmovingpros.com\\\/#website\",\"url\":\"https:\\\/\\\/longhaulmovingpros.com\\\/\",\"name\":\"Long Haul Moving Pros\",\"description\":\"\",\"potentialAction\":[{\"@type\":\"SearchAction\",\"target\":{\"@type\":\"EntryPoint\",\"urlTemplate\":\"https:\\\/\\\/longhaulmovingpros.com\\\/?s={search_term_string}\"},\"query-input\":{\"@type\":\"PropertyValueSpecification\",\"valueRequired\":true,\"valueName\":\"search_term_string\"}}],\"inLanguage\":\"en-US\"},{\"@type\":\"Person\",\"@id\":\"https:\\\/\\\/longhaulmovingpros.com\\\/#\\\/schema\\\/person\\\/ed9c8f732aec56889e8fd0602fe5af4b\",\"name\":\"admin\",\"image\":{\"@type\":\"ImageObject\",\"inLanguage\":\"en-US\",\"@id\":\"https:\\\/\\\/secure.gravatar.com\\\/avatar\\\/50b1ad2e498f523425ee0a8cc5180a210646db1622662a3d56cc405d3e0c346a?s=96&d=mm&r=g\",\"url\":\"https:\\\/\\\/secure.gravatar.com\\\/avatar\\\/50b1ad2e498f523425ee0a8cc5180a210646db1622662a3d56cc405d3e0c346a?s=96&d=mm&r=g\",\"contentUrl\":\"https:\\\/\\\/secure.gravatar.com\\\/avatar\\\/50b1ad2e498f523425ee0a8cc5180a210646db1622662a3d56cc405d3e0c346a?s=96&d=mm&r=g\",\"caption\":\"admin\"},\"sameAs\":[\"http:\\\/\\\/longhaulmovingpros.com\"],\"url\":\"https:\\\/\\\/longhaulmovingpros.com\\\/?author=1\"}]}<\/script>\n<!-- \/ Yoast SEO plugin. -->","yoast_head_json":{"title":"An OpenAI Model \u2018Disproved\u2019 a Famous Math Conjecture. This Mathematician Couldn\u2019t Leave It Alone - Long Haul Moving Pros","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:\/\/longhaulmovingpros.com\/?p=138","og_locale":"en_US","og_type":"article","og_title":"An OpenAI Model \u2018Disproved\u2019 a Famous Math Conjecture. This Mathematician Couldn\u2019t Leave It Alone - Long Haul Moving Pros","og_description":"Mathematician Will Sawin discusses his experience reviewing and refining a mathematical proof devised by OpenAI's internal model\u2014and what that could mean for mathematics.","og_url":"https:\/\/longhaulmovingpros.com\/?p=138","og_site_name":"Long Haul Moving Pros","article_published_time":"2026-06-01T11:40:18+00:00","author":"admin","twitter_card":"summary_large_image","twitter_misc":{"Written by":"admin","Est. reading time":"13 minutes"},"schema":{"@context":"https:\/\/schema.org","@graph":[{"@type":"Article","@id":"https:\/\/longhaulmovingpros.com\/?p=138#article","isPartOf":{"@id":"https:\/\/longhaulmovingpros.com\/?p=138"},"author":{"name":"admin","@id":"https:\/\/longhaulmovingpros.com\/#\/schema\/person\/ed9c8f732aec56889e8fd0602fe5af4b"},"headline":"An OpenAI Model \u2018Disproved\u2019 a Famous Math Conjecture. This Mathematician Couldn\u2019t Leave It Alone","datePublished":"2026-06-01T11:40:18+00:00","mainEntityOfPage":{"@id":"https:\/\/longhaulmovingpros.com\/?p=138"},"wordCount":2697,"commentCount":0,"image":{"@id":"https:\/\/longhaulmovingpros.com\/?p=138#primaryimage"},"thumbnailUrl":"https:\/\/longhaulmovingpros.com\/wp-content\/uploads\/2026\/06\/e6098af96242ed5da24e4c78c332962c.webp","articleSection":["Artificial Intelligence"],"inLanguage":"en-US","potentialAction":[{"@type":"CommentAction","name":"Comment","target":["https:\/\/longhaulmovingpros.com\/?p=138#respond"]}]},{"@type":"WebPage","@id":"https:\/\/longhaulmovingpros.com\/?p=138","url":"https:\/\/longhaulmovingpros.com\/?p=138","name":"An OpenAI Model \u2018Disproved\u2019 a Famous Math Conjecture. This Mathematician Couldn\u2019t Leave It Alone - Long Haul Moving Pros","isPartOf":{"@id":"https:\/\/longhaulmovingpros.com\/#website"},"primaryImageOfPage":{"@id":"https:\/\/longhaulmovingpros.com\/?p=138#primaryimage"},"image":{"@id":"https:\/\/longhaulmovingpros.com\/?p=138#primaryimage"},"thumbnailUrl":"https:\/\/longhaulmovingpros.com\/wp-content\/uploads\/2026\/06\/e6098af96242ed5da24e4c78c332962c.webp","datePublished":"2026-06-01T11:40:18+00:00","author":{"@id":"https:\/\/longhaulmovingpros.com\/#\/schema\/person\/ed9c8f732aec56889e8fd0602fe5af4b"},"breadcrumb":{"@id":"https:\/\/longhaulmovingpros.com\/?p=138#breadcrumb"},"inLanguage":"en-US","potentialAction":[{"@type":"ReadAction","target":["https:\/\/longhaulmovingpros.com\/?p=138"]}]},{"@type":"ImageObject","inLanguage":"en-US","@id":"https:\/\/longhaulmovingpros.com\/?p=138#primaryimage","url":"https:\/\/longhaulmovingpros.com\/wp-content\/uploads\/2026\/06\/e6098af96242ed5da24e4c78c332962c.webp","contentUrl":"https:\/\/longhaulmovingpros.com\/wp-content\/uploads\/2026\/06\/e6098af96242ed5da24e4c78c332962c.webp","width":1200,"height":675},{"@type":"BreadcrumbList","@id":"https:\/\/longhaulmovingpros.com\/?p=138#breadcrumb","itemListElement":[{"@type":"ListItem","position":1,"name":"Home","item":"https:\/\/longhaulmovingpros.com\/"},{"@type":"ListItem","position":2,"name":"An OpenAI Model \u2018Disproved\u2019 a Famous Math Conjecture. This Mathematician Couldn\u2019t Leave It Alone"}]},{"@type":"WebSite","@id":"https:\/\/longhaulmovingpros.com\/#website","url":"https:\/\/longhaulmovingpros.com\/","name":"Long Haul Moving Pros","description":"","potentialAction":[{"@type":"SearchAction","target":{"@type":"EntryPoint","urlTemplate":"https:\/\/longhaulmovingpros.com\/?s={search_term_string}"},"query-input":{"@type":"PropertyValueSpecification","valueRequired":true,"valueName":"search_term_string"}}],"inLanguage":"en-US"},{"@type":"Person","@id":"https:\/\/longhaulmovingpros.com\/#\/schema\/person\/ed9c8f732aec56889e8fd0602fe5af4b","name":"admin","image":{"@type":"ImageObject","inLanguage":"en-US","@id":"https:\/\/secure.gravatar.com\/avatar\/50b1ad2e498f523425ee0a8cc5180a210646db1622662a3d56cc405d3e0c346a?s=96&d=mm&r=g","url":"https:\/\/secure.gravatar.com\/avatar\/50b1ad2e498f523425ee0a8cc5180a210646db1622662a3d56cc405d3e0c346a?s=96&d=mm&r=g","contentUrl":"https:\/\/secure.gravatar.com\/avatar\/50b1ad2e498f523425ee0a8cc5180a210646db1622662a3d56cc405d3e0c346a?s=96&d=mm&r=g","caption":"admin"},"sameAs":["http:\/\/longhaulmovingpros.com"],"url":"https:\/\/longhaulmovingpros.com\/?author=1"}]}},"_links":{"self":[{"href":"https:\/\/longhaulmovingpros.com\/index.php?rest_route=\/wp\/v2\/posts\/138","targetHints":{"allow":["GET"]}}],"collection":[{"href":"https:\/\/longhaulmovingpros.com\/index.php?rest_route=\/wp\/v2\/posts"}],"about":[{"href":"https:\/\/longhaulmovingpros.com\/index.php?rest_route=\/wp\/v2\/types\/post"}],"author":[{"embeddable":true,"href":"https:\/\/longhaulmovingpros.com\/index.php?rest_route=\/wp\/v2\/users\/1"}],"replies":[{"embeddable":true,"href":"https:\/\/longhaulmovingpros.com\/index.php?rest_route=%2Fwp%2Fv2%2Fcomments&post=138"}],"version-history":[{"count":0,"href":"https:\/\/longhaulmovingpros.com\/index.php?rest_route=\/wp\/v2\/posts\/138\/revisions"}],"wp:featuredmedia":[{"embeddable":true,"href":"https:\/\/longhaulmovingpros.com\/index.php?rest_route=\/wp\/v2\/media\/137"}],"wp:attachment":[{"href":"https:\/\/longhaulmovingpros.com\/index.php?rest_route=%2Fwp%2Fv2%2Fmedia&parent=138"}],"wp:term":[{"taxonomy":"category","embeddable":true,"href":"https:\/\/longhaulmovingpros.com\/index.php?rest_route=%2Fwp%2Fv2%2Fcategories&post=138"},{"taxonomy":"post_tag","embeddable":true,"href":"https:\/\/longhaulmovingpros.com\/index.php?rest_route=%2Fwp%2Fv2%2Ftags&post=138"}],"curies":[{"name":"wp","href":"https:\/\/api.w.org\/{rel}","templated":true}]}}