Egzisztenciális megrázkódtatás érte a világ vezető elméit
A világ legelismertebb tudósai közül többen nyíltan beszéltek arról, hogy a gépi bizonyítások megjelenése mély érzelmi válságot okozott a szakmában. Hugo Duminil-Copin Fields-érmes matematikus a Le Monde-nak úgy fogalmazott, hogy az új tanulmányok megjelenése érzelmileg teljesen megrendítette, és úgy érezte, a mesterséges intelligencia gyakorlatilag megsemmisítette az általa éveken át kutatott területet.
Sokan attól tartanak, hogy ha a gépek pillanatok alatt képesek feloldani a legnagyobb elméleti kihívásokat, az emberi kutatás elveszíti a valódi intellektuális tétjét. A generációkon átívelő kutatói célok megszűnése alapjaiban rendíti meg az egyetemi karriereket és a fiatal tehetségek motivációját. A tudósok korábban évtizedeket szenteltek egyetlen sejtés vizsgálatának, ami ma egy gombnyomásra megoldhatóvá vált.
A New York Times hasábjain a szintén Fields-éremmel kitüntetett Terence Tao rendkívül szemléletesen írta le a helyzet drámaiságát. A matematikus szavai hűen tükrözik a szédítő tempót: „Már nincsenek szabályok. Azok az események, amelyektől egy évvel ezelőtt elállt volna a lélegzetem, ma már egyáltalán nincsenek rám hatással.”
A szakma legelismertebb kutatója azonban nem állt meg a kétségbeesésnél, és előállt a Math 2.0 koncepciójával. Az elképzelés alapjaiban határozná meg újra az emberi elme feladatát az automatizált levezetések korában.
