Claude Fable 5 de la Anthropic infirmă o presupunere matematică veche de 87 de ani cu o formulă minusculă

Un matematician antropic a folosit modelul de limbaj mare al companiei pentru a infirma o presupunere matematică care a rezistat rezoluției timp de 87 de ani, oferind unul dintre cele mai izbitoare exemple de până acum de inteligență artificială care a avansat matematica pură.

Levent Alpöge, un matematician la compania de inteligență artificială Anthropic, a anunțat că a găsit un contraexemplu pentru conjectura jacobiană, o problemă celebră și de lungă durată în geometria algebrică. A ajuns la rezultat folosind modelul Claude Fable 5 de la Anthropic, care fusese lansat publicului cu doar câteva săptămâni mai devreme. Descoperirea, raportată pentru prima dată de ScienceDaily și SciTechDaily și extrasă dintr-un articol publicat inițial în The Conversation, a transmis un val de entuziasm în comunitatea matematică. Pentru cititorii care urmăresc cele mai recente dezvoltări AI, rezultatul subliniază cât de repede modelele de frontieră trec de la trucurile de salon la lucrări științifice cu adevărat productive.

O formulă suficient de mică pentru o singură postare

Ceea ce face descoperirea atât de uimitoare este compactitatea sa. Potrivit SciTechDaily, contraexemplul este o funcție tridimensională remarcabil de simplă - o formulă suficient de scurtă pentru a se potrivi într-un singur post pe X. Contraexemplul asistat de AI infirmă conjectura jacobiană peste două dimensiuni, lăsând în același timp deschisă forma bidimensională inițială a conjecturii.

Nuanța asta contează. Rezultatul nu rezolvă întreaga problemă, care rămâne încă din secolul al XIX-lea. În schimb, dezvăluie o limită neașteptată: versiunea generalizată, cu dimensiuni superioare, a conjecturii este falsă, chiar dacă cazul la care matematicienii le-a păsat inițial majoritatea rămâne nerezolvat.

Istoria din spatele problemei

Conjectura iacobiană se referă la funcții polinomiale - mașini matematice care preiau numere și produc numere noi urmând o anumită regulă. În această setare, numerele pot reprezenta puncte dintr-un spațiu, precum coordonatele de pe o hartă. O funcție ia acele coordonate și le transformă, mutând punctele în diferite poziții. Matematicienii pot examina cât de ușor o funcție rearanjează spațiul calculând determinantul său jacobian. Conjectura întreabă în esență: dacă acel determinant este o constantă diferită de zero, funcția are în mod necesar o inversă polinomială?

Problema are o istorie de poveste. A fost declarat pentru prima dată de matematicianul ceh Ludwig Kraus în 1884, apoi generalizat la orice număr de dimensiuni de către matematicianul german Ott-Heinrich Keller în 1939. A fost considerat atât de important încât medaliatul Fields Stephen Smale l-a inclus în lista sa influentă din 1998 de Probleme matematice pentru secolul următor.

De-a lungul vieții sale lungi, conjectura a atras multe dovezi pretinse, inclusiv încercări ale lui Beniamino Segre și Wolfgang Gröbner, doi matematicieni celebri din secolul al XX-lea. Niciunul nu a rezistat. Faptul că acum a apărut un contraexemplu - cu ajutorul unui model în stil chatbot - ilustrează modul în care AI se dovedește la fel de utilă pentru descoperirea de obiecte matematice neașteptate, precum și pentru construirea de dovezi.

De ce a căzut cazul cu dimensiuni superioare

Distincția cheie este între două și trei (sau mai multe) dimensiuni. Conjectura jacobiană bidimensională originală, versiunea care a ocupat geometrii algebrici de generații, este încă deschisă. Ceea ce Alpöge și Claude Fable 5 au găsit este un contraexemplu în trei dimensiuni, care este suficient pentru a doborî conjectura generalizată pe care Keller a formulat-o în 1939.

Acesta este un rezultat semnificativ în sine. Mulți cercetători bănuiseră că dacă presupunerea ar fi adevărată, ar fi adevărată peste tot. Un contraexemplu curat în dimensiunea trei restrânge spațiul posibilităților și reformează întrebarea rămasă: două dimensiuni sunt cu adevărat speciale sau există și un contraexemplu care pândește acolo?

Concizia contraexemplului este în sine remarcabilă. Fortune a raportat că matematicienii se confruntă cu o „schimbare foarte rapidă și foarte neliniștitoare”, în timp ce instrumentele AI rezolvă probleme vechi de un secol una după alta. O formulă mică care răstoarnă o problemă aprobată de un medaliat Fields este exact genul de dezvoltare care alimentează această neliniște și acea entuziasm.

Rolul în creștere al AI în matematică

Matematicienii care lucrează cu modele mari de limbaj au produs recent mai multe rezultate notabile, iar contraexemplul conjecturii jacobiene se deosebește de multe progrese anterioare. Mai degrabă decât să trimită printr-o căutare cu forță brută, colaborarea dintre Alpöge și Claude Fable 5 a produs un răspuns concis, verificabil de om - genul de rezultate pe care matematicienii îl pot verifica și pe care îl pot construi.

Descoperirea evidențiază, de asemenea, un model mai larg. Modelele de frontieră sunt din ce în ce mai capabile să exploreze spații combinatorii vaste și să propună obiecte candidate de care un om nu s-ar putea împiedica niciodată. Când acei candidați sunt suficient de scurti pentru a fi verificați manual, combinația dintre amploarea AI și raționamentul uman devine puternică.

Ce înseamnă pentru viitor

Ce înseamnă aceasta pentru viitorul matematicii - și pentru matematicienii umani - rămâne de văzut, așa cum a menționat SciTechDaily. Contraexemplul nu îi face pe matematicieni învechiți; în orice caz, accentuează întrebarea deschisă și oferă cercetătorilor o nouă țintă precisă. Dar întărește faptul că AI a depășit rezumatul manualelor și a intrat în centrul muncii matematice creative.

Rezultatul este, de asemenea, o validare de profil înalt pentru Anthropic. Claude Fable 5, lansat publicului cu doar câteva săptămâni înainte de descoperire, a fost folosit de unul dintre matematicienii companiei pentru a rezolva o problemă care a zădărnicit unele dintre cele mai mari minți ale secolului trecut. Pentru ca o companie care se concurează să demonstreze că modelele sale pot raționa la frontieră, puține aprobări sunt mai credibile decât o conjectura din 1939 care se sparge în cele din urmă.

Rămâi înaintea AI

Ritmul descoperirilor bazate pe inteligență artificială se accelerează în știință, matematică și industrie. Marcați biroul nostru de știri de ultimă oră AI pentru o acoperire continuă a lansărilor de modele, descoperiri în cercetare și schimbări de politică.

Citiți mai multe știri AI →