Erdős Pál régi kérdését oldotta meg két magyar matematikus az AI segítségével
Varga Dániel és hallgatója, Dúcz Ákos idén nyáron választ adott Erdős Pál egyik évtizedekkel korábban feltett kérdésére. A probléma azt vizsgálta, elhelyezhető-e véges számú pont a síkon úgy, hogy a pontok bármelyik negyedét kiválasztva mindig legyen közöttük két olyan pont, amelyek távolsága pontosan egy egység. A két magyar matematikus bebizonyította, hogy ilyen ponthalmaz létezik, ezzel az 1070-es számú Erdős-probléma részleges megoldásához járult hozzá.
A kutatásban a mesterséges intelligencia nem matematikai alkotótársként vett részt. Varga és Dúcz szoftverek írására használta, hogy gyorsabban próbálhassanak ki különböző ötleteket és ellenőrizhessenek számolási kérdéseket. Varga szerint az AI egyik válasza annyira meglepőnek bizonyult, hogy fontos lépést jelentett a probléma megoldása felé, de a bizonyítás matematikai tartalmát nem a rendszer hozta létre.
Varga Dániel, a HUN-REN Rényi Alfréd Matematikai Kutatóintézet tudományos főmunkatársa úgy látja, a matematika előtt komoly eredmények állhatnak, a matematikusok jövője azonban bizonytalanabb az AI gyors fejlődése miatt. Dúcz Ákos, az intézet fiatal kutatója és a BME negyedéves mérnökinformatikus hallgatója szerint jelenleg még ő irányítja, hogyan dolgozik együtt a mesterséges intelligenciával. A közös munka egy szakmai gyakorlatból indult, majd TDK-dolgozathoz és elméleti matematikai eredményhez vezetett.
Folytasd az appban — szavazz és szólj hozzá ➔