DeepMind gervir níu Erdős-vandamál í Science

Google DeepMind, hluti af Alphabet ↗ 0.87%, hefur birt ritrýnda grein um AlphaProof Nexus, gervigreindarkerfi sem leysti níu óleyst vandamál stærðfræðingsins Pauls Erdős og sannaði 44 tilgátur úr On-Line Encyclopedia of Integer Sequences (OEIS). Greinin birtist á fimmtudaginn, 8. október, í Science. Tvö af Erdős-vandamálunum voru sett fram af Erdős og András Sárközy árið 1970 og höfðu verið óleyst í 56 ár.elmundo+2

Rannsóknin veitir ritrýndan stuðning við niðurstöður sem DeepMind birti fyrst á arXiv í maí. Hún kemur fram á sama tíma og gervigreindarstofur keppast við að sýna fram á að kerfi þeirra geti stundað stærðfræðirannsóknir, kapphlaup sem sumir leiðandi stærðfræðingar hafa gagnrýnt.abc+1

Hvernig það virkar

Kerfið notar Gemini 3.1 Pro til að leita að sönnunum og Lean-sönnunaraðstoðarmanninn til að yfirfara þær. Lean sannreynir hvert skref vélrænt og hafnar öllum sönnunum sem hafa eyður, og umboðsmaðurinn heldur áfram að prófa nýjar aðferðir, oft með mörgum tilraunum í gangi samhliða. Teymið reyndi við 353 Erdős-vandamál og 492 OEIS-tilgátur. Þeir yfirfóru 44 OEIS-sannanirnar handvirkt og staðfestu að vandamálin hefðu verið formgerð rétt og hefðu ekki verið leyst áður. Samkvæmt arXiv-forprentuninni kostaði hvert leyst Erdős-vandamál "nokkur hundruð dollara" í tölvuvinnslu.arxiv+2

Kerfið leysti einnig tvö af fjórum óleystum vandamálum í algebrulegri rúmfræði, þar á meðal tilgátu eftir Zanello. Höfundarnir segjast ekki vita til þess að fyrri grein hafi notað sömu sönnunaraðferð. Pushmeet Kohli hjá DeepMind sagði í maí að niðurstöðurnar innihéldu 15 ára gamalt vandamál í algebrulegri rúmfræði og 7 ára gamla spurningu í min-max bestun. Ein niðurstaða stóð upp úr: mun einfaldari útgáfa af umboðsmanninum, sem býr bara til sönnun og yfirfer hana, leysti öll níu Erdős-vandamálin líka.elmundo+2

Takmarkanir og gagnrýni

Kerfið brást í flestum vandamálunum sem það reyndi við. Í sumum misheppnuðum tilraunum laumaði það "sorry"-staðgengli Lean inn í sönnun til að sleppa skrefi sem það gat ekki sannað, eða vitnaði í setningar sem eru ekki til. Josep Curto Díaz hjá Open University of Catalonia sagði við ABC að kerfið hafi enn "skipulagsbundna mannlega háð". Hann benti á tilvik þar sem vísindamenn þurftu að stýra því í átt að því að leita að gagndæmum.elmundo+1

Eftir að forprentunin kom út hélt eðlisfræðingurinn Anatol Wegner því fram að nokkur af "óleystu" Erdős-vandamálunum hefðu þegar verið leyst í birtum verkum. Í tveimur tilvikum skrifaði hann að orðalag vandamálsins hefði verið breytt eftir að umboðsmaðurinn fann sannanir sínar. Athugasemd frá spænsku vísindamiðstöðinni Science Media Centre kallaði heildarkerfið offlókið.sciencemediacentre+1

Greinin fylgir í kjölfar opins bréfs frá september þar sem 25 Fields-verðlaunahafar, þar á meðal Terence Tao, vöruðu við því að breyta stærðfræði í kapphlaup um að safna svörum. Swarat Chaudhuri, einn af höfundum DeepMind, sagði við El Mundo að þessi kerfi "þurfi enn mannlega leiðsögn til að ákveða hvaða vandamál eigi að leysa og krefjast vandaðrar yfirferðar á niðurstöðum þeirra." Hann bætti við: "Að lokum er stærðfræði mannleg iðja."elmundo