OpenAI Reasoning Model Solves 80-Year-Old Erdős Unit Distance Problem

Summary

OpenAI’s latest reasoning model reportedly produced a mathematically verified proof for an 80-year-old combinatorics problem in discrete geometry, widely identified as the Erdős unit distance conjecture. According to May 31, 2026 reporting, professional mathematicians independently reviewed the proof and judged it sound. The model explored the problem step-by-step without human guidance on approach, applying algebraic number theory techniques including infinite class field towers that had not previously been used in discrete geometry. Experts frame it as a milestone for AI-assisted research but emphasize human verification remains essential.

PreScreening Notes

Score: 9 (Critical) — Landmark AI-assisted research milestone.

Source Analysis

Primary source confirmed: OpenAI May 20, 2026 announcement. Companion arXiv paper (2605.20695v1) with nine mathematicians. Will Sawin explicit bound δ = 0.014 (arXiv 2605.20579).

Research Notes

Additional Sources Found

1. 2026-05-20-openai-erdos-unit-distance-primary — OpenAI primary announcement
2. 2026-05-21-openai-erdos-techtimes-verification — Verification chain, Thomas Bloom endorsement
3. 2026-05-21-openai-erdos-decoder-analysis — “Proof indigestion” (Terence Tao), comparison to failed Oct 2025 claim
4. 2026-05-31-openai-erdos-sawin-explicit-bound — Will Sawin explicit δ = 0.014 refinement

Key Facts Verified

Claim	Status	Notes
AI disproved Erdős conjecture	✅ Verified	Nine mathematicians including Tim Gowers
General-purpose model (not math-specific)	✅ Confirmed	OpenAI primary source
δ = 0.014 explicit bound	✅ Verified	Will Sawin arXiv paper
First prominent open problem solved by AI	✅ Confirmed	OpenAI + companion paper
Proof used algebraic number theory	✅ Verified	Golod-Shafarevich, class field towers

Model disproved the conjecture (found counterexample) — did not "solve" in affirmative sense. OpenAI has not disclosed full reasoning process to reviewers.

Broader Context

Contrasts with discredited October 2025 Erdős announcement. Represents shift from AI as proof assistant to autonomous mathematical discovery. Terence Tao’s “proof indigestion” frames human bottleneck in understanding AI-generated results. Connects to automated-research beyond ML papers (Nature AI Scientist-v2) into pure mathematics. Competitive narrative vs anthropic funding: capability vs capital.

Related Wiki Pages

openai, automated-research, unit-distance-problem, symbolic-reasoning, research-paradigm-shift, ai-scientist

Draft Article

OpenAI Modeli 80 Yıllık Erdős Birim Uzaklık Varsayımını Çürüttü

openai, 20 Mayıs 2026’da genel amaçlı bir reasoning modelinin Paul Erdős’ün 1946 birim uzaklık varsayımını çürüttüğünü duyurdu. Model, yaklaşık 80 yıldır optimal kabul edilen kare ızgara düzenlemesinden daha iyi bir sonsuz aile inşa etti. Dokuz bağımsız matematikçi — Fields madalyalı Tim Gowers dahil — kanıtı doğruladı. Will Sawin, üssü δ = 0,014’e indirgeyerek sonucu kesinleştirdi.

Problem Nedir?

unit-distance-problem, kombinatorik geometrinin en eski açık sorularından biri. Düzlemde n nokta yerleştirildiğinde, birbirinden tam 1 birim uzaklıkta kaç çift oluşturulabileceği soruluyor. Kare ızgara düzenlemesi, n^(1+o(1)) birim uzaklık çifti sağlıyor ve yaklaşık 80 yıldır optimal olduğu varsayılıyordu.

Erdős, optimal sayının n^(1+o(1)) olduğunu iddia etmişti — yani logaritmik faktörler dışında polinomial sınır. openai modeli bunun tersini gösterdi: sabit δ > 0 için en az n^(1+δ) birim uzaklık çifti içeren sonsuz bir aile buldu.

Bu, problemi “çözmek” değil, varsayımı çürütmek anlamına geliyor. Model bir counterexample inşa etti; Erdős’ün üst sınır iddiası artık geçerli değil.

AI Nasıl Keşfetti?

OpenAI’nin açıklamasına göre, dahili genel amaçlı reasoning modeli problemi otonom olarak keşfetti — insan araştırmacılar yaklaşım konusunda yönlendirme yapmadı. Model, başarısız yolları reddederek adım adım mantıksal bir argüman inşa etti; süreç, insan matematikçilerin zor problemlere yaklaşımına benziyor.

Kullanılan teknikler, kombinatorik geometride daha önce uygulanmamış cebirsel sayılar teorisi araçlarını içeriyor:

• Sonsuz class field tower’lar
• Golod–Shafarevich teorisi
• Büyük dereceli, küçük discriminantlı cebirsel sayı cisimleri

OpenAI, model adını ve tam reasoning trace’ini dış incelemecilerle paylaşmadı. Bu eksiklik, sonucun doğrulanmış olmasına rağmen anlaşılmasının zor olduğu “proof indigestion” tartışmasını besliyor — Terence Tao’nun AI tarafından üretilen kanıtlar için kullandığı kavram.

Doğrulama Zinciri

Güvenilirlik, dış doğrulamaya dayanıyor. Dokuz matematikçi — Tim Gowers, Noga Alon, Thomas Bloom, Will Sawin ve diğerleri — kanıtı bağımsız olarak inceledi ve sağlam buldu. Companion arXiv makalesi (2605.20695v1) yayınlandı.

Tim Gowers, sonucu “AI matematiğinde bir dönüm noktası” olarak nitelendirdi ve Annals of Mathematics’e önermekten çekinmeyeceğini belirtti. Will Sawin, 31 Mayıs’ta ayrı bir makalede (arXiv 2605.20579) üssü açıkça δ = 0,014 olarak hesapladı — OpenAI’nin orijinal kanıtı δ > 0 olduğunu gösteriyordu ancak kesin değeri vermiyordu.

Attribution: OpenAI araştırmacısı Lijie Chen, dahili modeli kullanarak kanıtı üretti; Mark Sellke ve Mehtaab Sawhney doğruluk kontrolü yaptı.

Ekim 2025 Başarısızlığıyla Karşılaştırma

Bu gelişme, Ekim 2025’teki tartışmalı Erdős duyurusundan farklı bir zeminde duruyor. O dönemdeki iddia, bağımsız doğrulama olmadan kamuoyuna sunulmuş ve hızla itibar kaybetmişti. The Decoder’ın analizi, o dönemde “proof indigestion” kavramının henüz oturmadığını ve topluluğun erken iddiaya şüpheyle yaklaştığını kaydediyor. Mayıs 2026 sonucu ise:

• Dokuz dış matematikçi tarafından doğrulandı
• Peer-review sürecine uygun companion makale yayınlandı
• Sawin’in bağımsız δ = 0,014 hesaplaması sonucu güçlendirdi
• Thomas Bloom gibi combinatorics uzmanları sonucu bağımsız olarak onayladı

automated-research alanında bu, güvenilirlik için dış doğrulamanın kritik önemini gösteriyor. ai-scientist ve Nature AI Scientist-v2 gibi ML odaklı otomatik araştırma sistemlerinin ötesinde, saf matematikte ilk prominent açık problem ilerlemesi kaydedildi.

TechTimes’ın doğrulama zinciri raporlaması, OpenAI’nin Ekim deneyiminden ders çıkardığını gösteriyor: bu sefer kanıt, duyurudan önce dış uzmanlara gönderildi ve companion makale eş zamanlı hazırlandı. Süreç, AI-assisted research için yeni bir standart oluşturma potansiyeli taşıyor.

”Proof Indigestion” ve İnsan Darboğazı

Sonuç doğrulanmış olsa da anlaşılması zor. Terence Tao’nun “proof indigestion” kavramı, AI’nın ürettiği kanıtların insan matematikçiler tarafından kontrol edilebilir ancak sezgisel olarak sindirilemez olabileceğini ifade ediyor. Bu durum, symbolic-reasoning ve research-paradigm-shift tartışmalarının merkezine oturuyor.

Model, discrete geometry’de daha önce kullanılmamış cebirsel sayılar teorisi tekniklerini birleştirdi. İnsan uzmanlar sonucu doğrulayabildi; ancak keşif sürecinin tam izini göremedikleri için, AI’nın “nasıl düşündüğünü” anlamak henüz mümkün değil.

Neden Önemli?

Bu gelişme, automated-research perspektifinden birkaç ilke taşıyor:

1. Otonom keşif: Genel amaçlı reasoning modeli, math-specific sistem olmadan prominent bir açık problemi ilerletti.
2. Doğrulama zorunluluğu: AI kanıt üretebilir; ancak insan doğrulaması hâlâ şart.
3. Disiplinlerarası teknik transfer: Cebirsel sayılar teorisi araçları, kombinatorik geometriye taşındı.

Yazılım geliştiriciler için mesaj net: reasoning modelleri, kodlama ve agentic görevlerin ötesinde orijinal bilimsel keşfe katkı sağlayabilir. Ancak güvenilirlik, dış uzman incelemesi olmadan varsayılamaz.

Aynı hafta anthropic’in 965 milyar dolar değerlemeli Series H turu, “sermaye vs yetenek” anlatısını güçlendiriyor: Anthropic compute ve güvenlik yatırımı yaparken, OpenAI matematikte somut bir capability kanıtı sundu.

Teknik Detaylar

Sawin’in δ = 0,014 sınırı, n nokta için n^1,014’ten fazla birim uzaklık çifti anlamına geliyor. Yöntem, Golod–Shafarevich kriteri argümanıyla küçük normlu asal sayılara sahip büyük dereceli cebirsel sayı cisimleri inşa etmeye dayanıyor.

OpenAI modeli, kare ızgara inşasını aşan sonsuz bir aile sundu. Bu, unit-distance-problem literatüründe polinomial iyileştirmenin ilk kesin kanıtı.

Kare ızgara düzenlemesi, n nokta için yaklaşık n birim uzaklık çifti sağlıyor — yani n^1 mertebesinde. Erdős, bunun optimal olduğunu ve üst sınırın n^(1+o(1)) olduğunu varsaymıştı. AI’nın bulduğu construction, sabit δ > 0 ile n^(1+δ) alt sınırı kanıtlıyor; bu, varsayımın tamamen yanlış olduğu anlamına geliyor.

Cebirsel sayılar teorisi bağlantısı, problemi combinatorics’ten number theory’ye taşıyor. Infinite class field tower’lar, daha önce discrete geometry literatüründe kullanılmamıştı. Model, bu teknikleri birleştirerek insan uzmanların denemediği bir yol keşfetti — symbolic-reasoning perspektifinden otonom keşfin en güçlü örneği.

Companion makale (arXiv 2605.20695v1) dokuz matematikçinin ortak imzasını taşıyor. Noga Alon’un katılımı, extremal combinatorics alanındaki otoritenin sonucu ciddiye aldığını gösteriyor. Will Sawin’in takip makalesi (2605.20579), üssü açık hale getirerek sonucu daha da kesinleştirdi.

Uzman Perspektifleri

Tim Gowers’ın “Annals of Mathematics’e önermekten çekinmem” ifadesi, sonucun en prestijli matematik dergilerinden birinde yayınlanmaya layık olduğu yönünde güçlü bir sinyal. Terence Tao’nun “proof indigestion” uyarısı ise daha temkinli bir not: kanıt doğru olabilir, ancak matematik topluluğunun AI’nın keşif sürecini anlaması yıllar sürebilir.

research-paradigm-shift bağlamında, bu gelişme iki kamp arasındaki tartışmayı derinleştiriyor. Optimistler, AI’nın insan matematikçilerin ulaşamadığı teknik kombinasyonları keşfedebileceğini savunuyor. Skeptikler ise model adının gizli kalması ve reasoning trace’inin paylaşılmamasının tekrarlanabilirliği engellediğini belirtiyor.

OpenAI’nin model adını açıklamaması, rekabetçi gerekçelerle açıklanabilir; ancak bilimsel şeffaflık açısından eleştiri alıyor. Gelecekteki AI-matematik işbirliklerinde model ve süreç paylaşımının standardı henüz oluşmadı.

Reasoning modellerinin combinatorics dışındaki alanlara uygulanması — number theory, topology, algebra — araştırmacıların bir sonraki adımı olabilir. Sakana AI’nin AI Scientist-v2’si ML makaleleri üretirken, OpenAI’nin saf matematikteki başarısı farklı bir paradigmaya işaret ediyor: general-purpose reasoning, domain-specific sistemlerden daha geniş keşif potansiyeli taşıyabilir.

Sonraki Adımlar

Matematik topluluğu, Annals of Mathematics veya benzeri bir dergide resmi yayın sürecini izleyecek. OpenAI’nin model adını ve reasoning trace’ini paylaşıp paylaşmayacağı, gelecekteki AI-matematik işbirliklerinin şeffaflık standardını belirleyebilir.

Diğer prominent açık problemlere reasoning modeli uygulanması, automated-research alanında yeni bir dalga başlatabilir. Ancak Ekim 2025 deneyiminin gösterdiği gibi, erken ve doğrulanmamış iddialar itibar riski taşıyor — dış doğrulama olmadan milestone ilan etmek tehlikeli.

---

Kaynaklar

• OpenAI: Model Disproves Discrete Geometry Conjecture
• Will Sawin: Explicit Lower Bound (arXiv 2605.20579)
• WION: OpenAI AI Model Math Breakthrough

(See prescreening/evaluation sections above.)

Editorial Notes

Approved angle: AI’nın otonom olarak 80 yıllık açık matematik problemini çürütmesi — doğrulama zinciri, “proof indigestion” ve Ekim 2025 başarısızlığıyla karşılaştırma.

Format: Deep-dive (1500–2500 words)

Instructions for reporting agent:

• Use “çürüttü” (disproved), NOT “çözdü” (solved) — model found counterexample to Erdős conjecture.
• Explain problem accessibly: n points in plane, maximize unit-distance pairs; Erdős conjectured n^(1+o(1)) optimal.
• Include verification chain: 9 mathematicians including Tim Gowers (Fields Medalist); Will Sawin refined δ = 0.014.
• Contrast with discredited October 2025 Erdős claim — credibility through external verification.
• Terence Tao “proof indigestion” concept: humans can verify but struggle to understand AI reasoning.
• OpenAI has NOT disclosed model name or full reasoning trace.
• Techniques: algebraic number theory, Golod-Shafarevich, infinite class field towers — explain at high level.
• Cross-reference 2026-06-01-florida-sues-openai-safety only if noting OpenAI news cycle duality (capability vs liability).

Headline suggestions (Turkish):

1. OpenAI modeli 80 yıllık Erdős birim uzaklık varsayımını çürüttü
2. AI matematikte dönüm noktası: Erdős conjecture’a δ = 0.014 ile polinomial iyileştirme
3. Tim Gowers onayladı: OpenAI’nin reasoning modeli combinatorics’te 80 yıllık varsayımı çürüttü

Key points to include:

• Problem posed by Paul Erdős in 1946; square grid believed optimal for ~80 years
• AI construction achieves n^(1+δ) for δ > 0; Sawin explicit bound δ = 0.014
• General-purpose reasoning model, not math-specific system
• Nine external mathematicians verified; companion arXiv paper (2605.20695v1)
• First time AI autonomously advanced prominent open problem in pure mathematics
• Human verification essential; full model reasoning not disclosed
• Contrast October 2025 failed Erdős announcement

Timeliness check (2026-06-01): Primary announcement May 20; Sawin refinement May 31. No contradictory developments. Story current for deep-dive. Approved.