Erdős Pál a XX. század egyik legtermékenyebb és legtöbbet idézett matematikusa volt; számos, kezdetben egyszerűnek tűnő sejtését, kérdését máig kutatják. 1946-ban Erdős egy, a pontok és az őket összekötő egységnyi hosszúságú szakaszok rendeződésére vonatkozó sejtést fogalmazott meg: szerinte adott számú pont esetén a síkban a lehető legtöbb egységnyi távolságú összeköttetést (éleket) a négyzetrács adja — vagyis a szabályos négyzetes háló tűnik optimális elrendezésnek.
A sejtés lényege röviden: ha növeljük a pontok számát, akkor az elérhető egységnyi hosszúságú vonalak (élek) száma nagyjából arányosan növekszik a pontok számával, és a rácsos elrendezés adja a legnagyobb arányt a végtelenbe kiterjesztve.
A mostani fejlemény szerint egy mesterséges intelligencia rendszer olyan konfigurációt talált, amely ellentmond Erdős 1946-os feltételezésének: a gép által javasolt pontelrendezés több egységnyi hosszúságú összeköttetést produkál az adott pontszám mellett, mint a hagyományos négyzetrács. Ez gyakorlatilag cáfolatnak tekinthető az eredeti sejtés egyszerű, általános formájára.
Miért számít ez fontosnak?
- Történeti és elméleti jelentőség: Erdős sejtése évtizedeken keresztül vezérfonalként szolgált kombinatorikus és geometriai problémákban. Egy cáfolat újraértelmezésre kényszeríti azokat a következtetéseket, amelyek a négyzetrács optimális voltára épültek.
- Módszertani fordulat: az eset rámutat arra, hogy a mesterséges intelligencia és számítási keresések nem csupán numerikus vagy gyakorlati feladatoknál hasznosak, hanem képesek konkrét, konstruktív ellenpéldákat találni absztrakt matematikai állításokra is.
- Hatás a szakterületen: az extrém gráfelrendezésekre és egységnyi távolságokkal foglalkozó problémákra vonatkozó bizonyítási stratégiákat újra kell gondolni; a további kutatás a gép által talált konstrukciók matematikai megértésére és általánosítására fog összpontosítani.
A jelenlegi közlemény nem részletezi a mesterséges intelligencia pontos módszereit, a konkrét pontszámot vagy a talált konfiguráció szerkezetét. Ezek a részletek nélkülözhetetlenek lesznek ahhoz, hogy a közösség megvizsgálja, általánosnak tekinthető-e a cáfolat, vagy csak speciális esetet jelent. Mindenesetre az esemény újabb példája annak, hogy a számítógépes eszközök és a mesterséges intelligencia a modern matematika aktív szereplőivé váltak.
Rövidebb történeti emlékeztető: Erdős Pál 1946-os megfogalmazása egyszerű, intuitív képzeten alapult — a kockás füzet mintáján —, és évtizedekig közkeletű meggyőződés volt, hogy a négyzetrács optimális lehet. A mostani AI-féle ellenpélda felrázza ezt a meglátást, és új kutatási irányokat nyithat az extrém távolságokra és grábszerkezetekre vonatkozó problémákban.
Következő lépések: a matematikai közösség feladata lesz a gép által talált megoldás formális ellenőrzése, a konfiguráció általánosításának vizsgálata, illetve annak eldöntése, hogy léteznek-e még erősebb kontraesetek vagy épp korlátozottabb értelemben helytálló formái az eredeti sejtésnek.
