Tekoäly matematiikassa: Tekoäly työskentelee ihmisten hyväksi ja heidän parissaan
OpenAI
Epoch AI
Tekoälymallit ovat alkaneet ratkaista pitkäaikaisia matemaattisia otaksumia, mikä on herättänyt laajan kirjon reaktioita matematiikkayhteisössä, käytännöllisestä hyväksynnästä eksistentiaaliseen kriisiin. Jotkut matemaatikot näkevät tekoälyn tuottavuustyökaluna, kun taas toiset pelkäävät matemaattisen kulttuurin ja ihmisen roolin heikkenemistä löytämisessä.
Toukokuussa 2026 OpenAI julkaisi vastaesimerkin "yksikköetäisyyskonjektuurille", kumoten geometrisen graafiteorian konjektuurin, joka oli ollut avoinna vuodesta 1946. Tämä seurasi muita tekoälyn avustamia ratkaisuja pitkäaikaisiin ongelmiin, mikä merkitsi käännekohtaa. Matemaatikot, kuten Abhishek Saha, käyttävät nyt tekoälymalleja rutiinitöihin, kuvaten rooliaan kapellimestarina eikä koko orkesterina. Jotkut, kuten Trefor Bazett, näkevät potentiaalin uudelle kulta-ajalle, viitaten Carnegie Mellonin paperiin, joka ratkaisi Ramsey-teorian ongelman käyttäen SAT-ratkaisijoita, LLM:n tuottamaa koodia ja formaalia todistuksen varmennusta. Timothy Gowers, joka ennusti tämän aikakauden vuonna 2000, suhtautuu ristiriitaisesti, sillä hän on kokenut tekoälyn ratkaisevan omia tutkimusongelmiaan. Hän pelkää matemaattisen kulttuurin tuhoutumista, jos ihmiset lopettavat asiantuntemuksen rakentamisen. Leidenin julistus tekoälystä ja matematiikasta, jonka on allekirjoittanut yli 3000 matemaatikkoa, pyrkii asettamaan suuntaviivoja. Epoch AI raportoi edistymisestä, mutta totesi, että vaikeimmat vertailuluokat ovat edelleen ratkaisematta. Terence Tao vertaa tilannetta 1900-luvun alun perustavaan kriisiin ja näkee sen mahdollisuutena vahvistaa matematiikkaa, kun taas Kirwin Hampshiren essee "Matematiikan pimeä yö" tarjoaa pessimistisemmän näkemyksen, ehdottaen että lohdutukset ovat itsensä pettämistä.
Lähde: The Decoder (DE) —
Alkuperäinen