Bénultság és tiltakozáshullám a Fields-érmesek körében
A gépi bizonyítások közzététele példátlan felháborodást és döbbenetet keltett a matematikai elit soraiban. Hugo Duminil-Copin, a legmagasabb szakmai elismerésnek számító Fields-éremmel kitüntetett francia professzor nyers őszinteséggel osztotta meg érzéseit a nyilvánossággal.
„A megrázkódtatás óriási. Meg vagyok bénulva” – nyilatkozta Hugo Duminil-Copin a sajtónak a több száz tétel villámgyors gépi megoldásának hírére reagálva. A kutató szavai híven tükrözték azt az intellektuális bizonytalanságot, amely az új publikációk nyomán eluralkodott az intézetekben.
A szakmai tiltakozás hamarosan szervezett formát öltött, amikor Hugo Duminil-Copin vezetésével összesen 28 Fields-érmes kutató közös nyilatkozatot fogalmazott meg. A felhíváshoz villámgyorsan több mint 8000 nemzetközi matematikus és egyetemi oktató csatlakozott aláírásával.
A petíció nyomatékosan figyelmeztetett a mesterséges intelligencia rohamos térnyerése és a hagyományos matematikai kutatás közötti mély elhangolódásra. A kutatók szerint a gépek nemcsak segítik a munkát, hanem alapjaiban zilálják szét az emberi intuícióra épülő akadémiai kultúrát.
Martin Hairer, a lausanne-i EPFL Fields-érmes tudósa a folyamat legsúlyosabb következményére mutatott rá. A svájci professzor arra hívta fel a figyelmet, hogy „ellenőrzés nélkül az MI sterilizálhatja a területet”, megszüntetve a valódi szellemi felfedezés örömét és pedagógiai alapjait.
A tiltakozás mögött álló szakmai fenntartások lényegét a gépi levezetések működése világítja meg. A felhasznált Lean tételbizonyító környezet ugyanis egy olyan sajátosságra épül, amely alapvető törést okoz az emberi tudományművelésben.
