{"id":52006,"date":"2026-05-25T13:31:03","date_gmt":"2026-05-25T17:31:03","guid":{"rendered":"https:\/\/mjtsai.com\/blog\/?p=52006"},"modified":"2026-08-17T09:46:20","modified_gmt":"2026-08-17T13:46:20","slug":"openai-models-proof-of-erds-unit-distance-problem","status":"publish","type":"post","link":"https:\/\/mjtsai.com\/blog\/2026\/05\/25\/openai-models-proof-of-erds-unit-distance-problem\/","title":{"rendered":"OpenAI Model’s Proof of Erdős Unit Distance Problem"},"content":{"rendered":"

OpenAI<\/a> (Hacker News<\/a>):<\/p>\n

\n

This proof is an important milestone for the math and AI communities. It marks the first time that a prominent open problem, central to a subfield of mathematics, has been solved autonomously by AI. It also demonstrates the depth of reasoning these systems now support.<\/p>\n

[…]<\/p>\n

The proof is available here<\/a>. The companion paper by leading external mathematicians is available here<\/a>. You can find an abridged version of the model’s chain of thought here <\/a>.<\/p>\n<\/blockquote>\n\n

Update (2026-08-17<\/a>): Timothy Gowers<\/a>:<\/p>\n

\n

I would like to find a coherent explanation of the conjunction of the following facts.<\/p>\n

    \n
  1. The most notable mathematical results proved by LLMs have tended to be ones that we would classify as examples or counterexamples, where counterexamples are, broadly speaking, existence statements that disprove statements that we expected to be true.<\/li>\n
  2. Many statements can be formulated as existence statements when we would usually think of them as universal statements, and vice versa, so what we consider to be an example depends on the mathematical context of a statement as well as its logical form.<\/li>\n
  3. LLMs are pretty good at proving universal statements as well: it’s just that the strongest statements they have proved that we would think of as theorems have mainly not been at the level of the strongest statements that we would think of as counterexamples.<\/li><\/ol>\n<\/blockquote>","protected":false},"excerpt":{"rendered":"

    OpenAI (Hacker News): This proof is an important milestone for the math and AI communities. It marks the first time that a prominent open problem, central to a subfield of mathematics, has been solved autonomously by AI. It also demonstrates the depth of reasoning these systems now support. […] The proof is available here. The […]<\/p>\n","protected":false},"author":1,"featured_media":0,"comment_status":"open","ping_status":"closed","sticky":false,"template":"","format":"standard","meta":{"apple_news_api_created_at":"2026-05-25T17:31:07Z","apple_news_api_id":"5e9088ee-4f6a-45fa-9ea4-cddfd00b97dc","apple_news_api_modified_at":"2026-08-17T13:46:23Z","apple_news_api_revision":"AAAAAAAAAAAAAAAAAAAAAA==","apple_news_api_share_url":"https:\/\/apple.news\/AXpCI7k9qRfqepM3f0AuX3A","apple_news_coverimage":0,"apple_news_coverimage_caption":"","apple_news_is_hidden":false,"apple_news_is_paid":false,"apple_news_is_preview":false,"apple_news_is_sponsored":false,"apple_news_maturity_rating":"","apple_news_metadata":"\"\"","apple_news_pullquote":"","apple_news_pullquote_position":"","apple_news_slug":"","apple_news_sections":"\"\"","apple_news_suppress_video_url":false,"apple_news_use_image_component":false,"footnotes":""},"categories":[2],"tags":[1351,259,2361],"class_list":["post-52006","post","type-post","status-publish","format-standard","hentry","category-technology","tag-artificial-intelligence","tag-math","tag-openai"],"apple_news_notices":[],"_links":{"self":[{"href":"https:\/\/mjtsai.com\/blog\/wp-json\/wp\/v2\/posts\/52006","targetHints":{"allow":["GET"]}}],"collection":[{"href":"https:\/\/mjtsai.com\/blog\/wp-json\/wp\/v2\/posts"}],"about":[{"href":"https:\/\/mjtsai.com\/blog\/wp-json\/wp\/v2\/types\/post"}],"author":[{"embeddable":true,"href":"https:\/\/mjtsai.com\/blog\/wp-json\/wp\/v2\/users\/1"}],"replies":[{"embeddable":true,"href":"https:\/\/mjtsai.com\/blog\/wp-json\/wp\/v2\/comments?post=52006"}],"version-history":[{"count":2,"href":"https:\/\/mjtsai.com\/blog\/wp-json\/wp\/v2\/posts\/52006\/revisions"}],"predecessor-version":[{"id":52925,"href":"https:\/\/mjtsai.com\/blog\/wp-json\/wp\/v2\/posts\/52006\/revisions\/52925"}],"wp:attachment":[{"href":"https:\/\/mjtsai.com\/blog\/wp-json\/wp\/v2\/media?parent=52006"}],"wp:term":[{"taxonomy":"category","embeddable":true,"href":"https:\/\/mjtsai.com\/blog\/wp-json\/wp\/v2\/categories?post=52006"},{"taxonomy":"post_tag","embeddable":true,"href":"https:\/\/mjtsai.com\/blog\/wp-json\/wp\/v2\/tags?post=52006"}],"curies":[{"name":"wp","href":"https:\/\/api.w.org\/{rel}","templated":true}]}}