Descoperiri surprinzătoare în utilizarea inteligenței artificiale în matematică
Recent, un inginer software, Neel Somani, a testat abilitățile matematice ale noului model OpenAI, descoperind că acesta a reușit să rezolve o problemă complexă. După ce a introdus problema în ChatGPT și a așteptat 15 minute, modelul a oferit o soluție completă, care a fost verificată cu ajutorul unui instrument numit Harmonic.
Progrese semnificative în rezolvarea problemelor matematice
Somani a dorit să stabilească un punct de referință pentru capacitățile modelelor de limbaj mari (LLM) în soluționarea problemelor matematice deschise. Folosind cel mai recent model, a observat că progresele au început să se înregistreze. ChatGPT a demonstrat o capacitate impresionantă de a enumera axiome matematice, precum formula lui Legendre și postulatul lui Bertrand. Modelul a găsit o soluție elegantă la o problemă similară propusă de matematicianul de la Harvard, Noam Elkies, dar soluția oferită de ChatGPT a adus îmbunătățiri semnificative.
Impactul inteligenței artificiale asupra problemelor lui Erdős
Problemele lui Paul Erdős, care cuprind peste o mie de conjecturi, au devenit ținte atractive pentru matematica asistată de AI. De la lansarea modelului GPT 5.2, volumul problemelor rezolvate a crescut semnificativ. De la Crăciun, 15 probleme de pe site-ul Erdős au fost mutate din categoria „deschise” în „rezolvate”, dintre care 11 soluții au fost creditate cu implicarea modelelor AI.
Perspectivele matematicienilor asupra utilizării AI
Matematicianul Terence Tao a enumerat pe GitHub opt probleme în care modelele AI au realizat progrese semnificative, subliniind că AI devine tot mai util în abordarea problemelor mai puțin cunoscute, care, în multe cazuri, au soluții clare. El a menționat că progresele s-au realizat și prin localizarea și dezvoltarea pe baza cercetărilor anterioare.
Formalizarea și instrumentele automate
Un alt factor esențial este tendința recentă spre formalizare, un proces care facilitează verificarea și extinderea raționamentului matematic. Instrumente automate, precum asistentul de dovezi Lean, au simplificat semnificativ acest demers. AI-ul, prin instrumente ca Aristotle de la Harmonic, promite să automatizeze o parte considerabilă din munca de formalizare.
Recepția comunității matematice
Tudor Achim, fondatorul Harmonic, subliniază importanța utilizării acestor instrumente de către matematicienii de renume. Acesta consideră că utilizarea acestor unelte de către profesori de matematică și informatică reprezintă o dovadă semnificativă a credibilității acestora.
Concluzie
Progresele în utilizarea inteligenței artificiale în rezolvarea problemelor matematice complexe sugerează că modelele de limbaj mari pot juca un rol crucial în avansarea cunoștințelor umane, transformând modul în care abordăm și rezolvăm problemele matematice deschise.
