A matematika magas téttel

A matematikusok nem egyszerűen rátalálnak a sejtésekre — vadásszák őket, megszállottan keresik, és néha Fields-érmet kapnak a bizonyításukért. Minél tovább ellenáll egy probléma, annál nagyobb dicsőség jár a megoldójának.

Amikor a gépek is beszállnak

Idén júniusban valami érdekes történt. London és Berkeley matematikusai összefogtak, hogy összeállítsanak egy listát 50 problémával — de volt egy fontos feltétel: minden feladatot automatikusan ellenőrizhetőnek kell lennie. Ez nem csupán akademikus játék — ez a híd az emberi intuíció és a gépi verifikáció között.

A London Institute for Mathematical Sciences munkatársa, Yang-Hui He a kis fiát is elhozta az egyik workshopra. Míg a gyerek éppen süteményt majszolt, a matematikusok azon dolgoztak, hogy beküldjék a problémákat — csomóelmélet, algebra, topológia, számelmélet. Van valami megható abban, ahogy az évszázados hagyomány találkozik a következő generációval.

Három probléma, ami álmatlan éjszakákat okoz

A három köb összege

Az x³ + y³ + z³ = k egyenlet egyszerűnek tűnik, de a matematikusok évtizedek óta küzdenek vele. 2020-ban Booker és Sutherland megoldotta a k=42 esetet — ez 1,3 millió számítógépes órát vett igénybe, önkéntes otthoni gépeken szétosztva. A következő célpont a 114. A probléma: a legkisebb megoldás várhatóan 30 számjegyű lesz, és a brute force megközelítés akár 100 millió dollárba is kerülhet.

Az Apéry-rejtély

A irracionális számok — amelyek nem fejezhetők ki törtekként — mély titkokat rejtegetnek. Míg a π és a √2 mindenki számára ismerős, az irracionalitás bizonyítása rendkívül nehéz. A π irracionalitásának bizonyítása kétezer évet váratott magára. 1978-ban Roger Apéry bizonyította, hogy a ζ(3) irracionális, egy titokzatos "szendvicselési" technikával. Amikor megkérdezték, honnan jött a bizonyítása, állítólag azt mondta: egy virágcserépben találta. Ez a rejtély azóta is megoldatlan.

A magányos futó sejtése

Képzeld el: futók egy körpályán, mind másmilyen, de állandó sebességgel haladnak. A sejtés szerint egyszer minden futó a lehető legtávolabb lesz mindenki mástól — a "legmagányosabb" pillanatában. Egyszerűen megfogalmazható, de a bizonyítása pokoli nehéz.

Az MI bedobja a gépet

A legizgalmasabb része ennek a projektnek a mesterséges intelligenciához fűződő kapcsolata. Az Epoch AI kifejezetten azért állította össze a listát, hogy mérje az MI fejlődését. És itt jön a poén: az OpenAI nemrég azt állította, hogy megoldotta a Navier-Stokes egyenletet — az egyik hét Millennium-díjask其中之一, amelyek mindegyike egymillió dollárt ér.

Szeptember végéig a lista néhány problémáját megoldották, de a gyűjtemény még mindig tele van kihívásokkal. Az OpenAI bejelentette, hogy a még nem kiadott belső MI-modellje több mint 100 nyitott kérdést oldott meg — bár az nem világos, ebből hány szerepel ezen a specifikus listán.

Miért érdekel ez a tech világot?

Lehet, hogy azt kérdezed: mit keresnek a évszázados matematikai sejtések a modern szoftverfejlesztés vagy cloud hosting mellett? Nos, többet, mint gondolnád.

Először is, a matematikai problémamegoldás hajtja a számítási innovációt. A "három köb összege" brute force megközelítése elosztott számítást igényelt több ezer önkéntes gépen — ez előfutára a modern cloud infrastruktúrának.

Másodszor, az MI és a formális verifikáció metszéspontja érinti a szoftver-megbízhatóság minden aspektusát. Amikor a matematikusok ragaszkodnak ahhoz, hogy a problémák "automatikusan ellenőrizhetők" legyenek, ugyanazt gyakorolják, amit a szoftvermérnökök formális módszereknek neveznek — azokat az elveket, amelyek a biztonságos rendszereket megbízhatóvá teszik.

Harmadszor, és talán a legfontosabb: a lehetetlennek tűnő problémák megoldásának szelleme pontosan az, ami a technológiai innovációt hajtja. Legyen szó a Riemann-hipotézis bizonyításáról vagy a következő skálázható hosting platform megépítéséről, a megközelítés hasonló: azonosítsd a korlátokat, találj elegáns megoldásokat, és ellenőrizd a munkádat.

A matematikai közösség együttműködése az MI-szervezetekkel új fejezetet nyit a felfedezésben. Ez az 50 probléma nem csupán akademikus kíváncsiság — ezek mérőeszközök az ember és az MI közötti szellemi partnerséghez. És egy olyan korban, ahol MI-asszisztált fejlesztőeszközöket és vibe coding platformokat építünk, izgalmas végigkövetni, ahogy az MI a matematika legkeményebb kihívásaival küzd.

A virágcserép rejtélye megoldatlan. De valahol talán egy MI egyre közelebb jár ahhoz, hogy megértse, hogyan találta meg Apéry a bizonyítását.