Stærðfræðingur segist „skelfdur“ eftir að gervigreind umturnaði stærðfræðinni á einni viku

Á aðeins einni viku tilkynntu tvö af fremstu gervigreindarfyrirtækjum heims niðurstöður sem hafa skekið stærðfræðisamfélagið: OpenAI segist hafa leyst 90 ára gamalt stærðfræðivandamál sem milljón dollara verðlaun voru lögð til höfuðs, á meðan Anthropic greindi frá því að Claude-gervigreindin hefði formfest eina frægustu sönnun sögunnar. Þessar hröðu tilkynningar hafa valdið því að stærðfræðingar sveiflast á milli undrunar og ótta.

Árþúsundavandi leystur

Þriðjudaginn 8. september tilkynnti OpenAI að um 10.000 gervigreindarfulltrúar, sem keyrðu á óútgefnu líkani sem er öflugra en GPT-6 Astra, hefðu leyst Navier-Stokes tilvistar- og mýktarvandamálið á 88 klukkustundum. Vandamálið, sem er eitt af sex eftirstandandi árþúsundavandamálum sem Clay-stærðfræðistofnunin skilgreindi árið 2000, snýst um hvort jöfnurnar sem stýra hreyfingu vökva geti valdið skyndilegum óendanleika, eða „sprungið“. Gervigreindarfulltrúar OpenAI komust að þeirri niðurstöðu að svo væri.cnbc+2

Lausnin, sem bíður óháðrar staðfestingar, byggir á vinnu spænsku stærðfræðinganna Diego Córdoba og Luis Martínez-Zoroa, sem þróuðu undirliggjandi tækni á rannsóknartímabili sem stóð yfir í ár. En deilur skyggðu strax á tilkynninguna. Nokkrum klukkustundum áður en OpenAI birti niðurstöður sínar birti Tristan Buckmaster, stærðfræðingur við NYU, yfirlýsingu þar sem hann fullyrti að hann og Levent Alpöge, rannsakandi hjá Anthropic, hefðu unnið að sama vandamáli með því að nota aðferð Córdoba og Martínez-Zoroa, og og að OpenAI hefði flýtt sér að birta eftir að hafa frétt af framförum þeirra. Buckmaster heldur því fram að OpenAI hafi reynt að hafa áhrif á hver fengi heiðurinn af verkinu.techcrunch+4

Síðasta setning Fermats formfest

Nokkrum dögum áður greindi Anthropic frá því að Claude hefði lokið við fyrstu heildstæðu, tölvustýrðu formfestinguna á síðustu setningu Fermats í Lean-sönnunarforritinu. Kerfið vann að mestu leyti sjálfstætt í 11 daga, bjó til um 13 milljónir kóðalína og sannaði 29.500 millisetningar á leiðinni. Kevin Buzzard við Imperial College í Lundúnum, sem hefur stýrt hliðstæðu margra ára starfi við að formfesta sömu sönnun, kallaði þetta „ótrúlegt afrek í sjálfvirkri formfestingu“.aitechdaily+2

Niðurstaðan felur ekki í sér nýja sönnun, Andrew Wiles sannaði setninguna árið 1995, heldur er um að ræða tölvustýrða kóðun á fyrirliggjandi sönnun, verkefni sem stærðfræðingar bjuggust við að myndi taka mörg ár.letsdatascience+1

„Ég er í alvöru skelfdur“

Þessi tímamót hafa orðið til þess að vísindamenn líta í eigin barm. Í viðtali við Wired News Corp ↘ 0.03% sem birtist á laugardag lýsti Steven Strogatz, stærðfræðingur við Cornell-háskóla, sjálfum sér sem „í alvöru skelfdum“ yfir breytingahraðanum. „Vísindin eru spennandi,“ sagði hann, „en þeim fylgir mikill mannlegur ágreiningur.“ Strogatz, sem er meðhöfundur „Big Math“, væntanlegrar bókar um stærðfræði sem er að færast út fyrir mannlegan skilning, sagði kapphlaup einkafyrirtækjanna að hluta til drifið áfram af von um ábótasamar almennar hlutafjárútboð. Hann benti á að eftir því sem gervigreind flýtir fyrir stærðfræðilegum uppgötvunum sé óvíst hvaða afleiðingar það hafi fyrir rannsakendur sem hafa helgað allan sinn feril þessum viðfangsefnum.wired