23-letni amator + ChatGPT rozwiązali problem matematyczny otwarty 60 lat
23-letni amator + ChatGPT rozwiązali problem matematyczny otwarty 60 lat
Liam Price wpisał Problem Erdősa numer 1196 do GPT-5.4 Pro. Jeden prompt. AI myślał 80 minut. I dał odpowiedź której nie znalazł nikt przez sześć dekad.
Problem Erdősa numer 1196. Otwarty od 1965 roku. Postawili go Paul Erdős, András Sárközy i Endre Szemerédi - trzech największych matematyków XX wieku. Dotyczy zbiorów pierwotnych - kolekcji liczb, w których żadna nie dzieli się przez inną.
Przez 60 lat nikt go nie złamał.
Co się stało
Liam Price - 23-letni amator matematyk - wpisał problem do ChatGPT. Konkretnie: GPT-5.4 Pro. Model myślał 80 minut i dał odpowiedź. Wynik opublikował na erdosproblems.com.
Terence Tao - matematyk z medalem Fieldsa, jeden z największych żyjących umysłów - zareagował. Powiedział “nice achievement” z ostrożnym dodaniem że długoterminowa wartość pozostaje niejasna.
Najciekawsza część
AI nie wymyślił niczego nowego. Wziął technikę matematyczną sprzed 90 lat - łańcuchy Markova z wagami von Mangoldta - i zastosował ją tam gdzie nikt nie wpadł. Lichtman i Tao podejrzewają że to podejście może odblokować inne problemy w teorii liczb idące podobnym wzorcem.
To jest nowa kategoria inteligencji. AI nie myśli nowo. AI łączy kropki które my pominęliśmy.
Moja perspektywa
Pierwszy raz w historii AI wszedł do akademickiej matematyki na poziomie publikowalnego researchu. Nie chodzi o “AI piszące maturę”. Chodzi o AI rozwiązujące problemy które uważano za nierozwiązywalne.
Następne pytanie - klimat? Choroby? Co AI może rozwiązać przez “łączenie kropek” w tematach gdzie ludzkość utknęła?
Źródła
- Scientific American - “Amateur armed with ChatGPT ‘vibe maths’ a 60-year-old problem”
- Techmeme - “An amateur solved a 60-year-old Erdős problem using a single GPT-5.4 Pro prompt; Terence Tao says it’s a ‘nice achievement’” (26.04.2026)
- OpenAI X post - “Earlier this month, an Erdős problem that had been open for 60 years was solved with help from GPT-5.4 Pro”
- k4i.com - “GPT-5.4 Solves the Erdős Problem”
- Erdős Problems forum thread #1196