corpus.blog
Claim your blog
Record · corpus.blog/posts/01a0c50f-3970-7065-9031-f9df0846dec0

Amazing: Erdős’ Unit Distance Problem was Disproved! It was achieved by AI!

Combinatorics and more | Gil Kalai’s blog · published 20 May 2026

A record is what was published and who pointed at it. The text of the post is not held here: read it at the source, or at its Wayback capture.

Read the post at gilkalai.wordpress.com Wayback capture
0blogs citing
First cited
—
Most recent
—
Rank this month
not ranked
External links
27
Words captured
788

Cited by

No blog we hold has cited this post yet.

Links from this post

Link
Host
An OpenAI model has disproved a central conjecture in discrete geometry Read at the source ↗
openai.com
https://cdn.openai.com/pdf/74c24085-19b0-4534-9c90-465b8e29ad73/unit-distance-proof.pdf
cdn.openai.com
https://cdn.openai.com/pdf/74c24085-19b0-4534-9c90-465b8e29ad73/unit-distance-remarks.pdf
cdn.openai.com
https://mathoverflow.net/a/511485/1532
mathoverflow.net
Examples for the use of AI and especially LLMs in major mathematical developments [closed]
mathoverflow.net
https://www.youtube.com/watch?v=Br4l9YjCyRU
youtube.com
https://arxiv.org/abs/2605.20579v1
arxiv.org
https://www.erdosproblems.com/forum/thread/90
erdosproblems.com
https://teorth.github.io/optimizationproblems/constants/84a.html
teorth.github.io
The unit distances problem Read at the source ↗
blog.geomblog.org
https://blog.computationalcomplexity.org/2026/05/two-erdos-problems-on-points-in-plane.html
blog.computationalcomplexity.org
Dispatches from the possibly last days of human relevance Read at the source ↗
scottaaronson.blog
But Dumbo could already fly? Read at the source ↗
theintrinsicperspective.com
https://arxiv.org/abs/2605.28781
arxiv.org
https://pohoatza.wordpress.com/2026/06/01/another-one-bites-the-dust-the-elekes-ronyai-problem/
pohoatza.wordpress.com
https://arxiv.org/abs/1601.06404
arxiv.org
https://www.erdosproblems.com/forum/thread/blog:6
erdosproblems.com
https://youtu.be/KbNctTQnVHI?si=cfVkxMfOD1k7HJd8
youtu.be
https://arxiv.org/abs/2507.15679
arxiv.org
https://terrytao.wordpress.com/2026/05/03/primitive-sets-and-von-mangoldt-chains-erdos-problem-1196-and-beyond/
terrytao.wordpress.com
https://arxiv.org/abs/2605.22763v1
arxiv.org
https://www.erdosproblems.com/forum/thread/blog:2
erdosproblems.com
https://leidendeclaration.ai/
leidendeclaration.ai
https://aimath.robertj1.com/
aimath.robertj1.com
https://vibemathed.com/
vibemathed.com
https://arxiv.org/abs/2605.24130
arxiv.org
https://arxiv.org/abs/2605.21305
arxiv.org
Elsewhere on gilkalai.wordpress.com (3)