Rezolvarea unei probleme matematice vechi de șapte ani cu ajutorul AI
Esentialul: Jared Duker-Lichtman, un matematician de la Universitatea Stanford, a încercat timp de șapte ani să rezolve Problema Erdős 1196, dar a fost ajutat de un matematician amator din Marea Britanie care a folosit ChatGPT pentru a găsi o soluție în doar 80 de minute.
Ce s-a întâmplat
Jared Duker-Lichtman a descoperit Problema Erdős 1196 în timpul studiilor sale universitare și a dedicat patru ani lucrând la o problemă similară, construindu-și doctoratul în jurul acesteia. Problema 1196 i-a rămas nerezolvată chiar și după ce a început cariera academică. În aprilie 2026, a primit un e-mail de la Liam Price, un absolvent de matematică din Marea Britanie, care susținea că a găsit o soluție generată de ChatGPT. După ce Price a introdus problema în AI, acesta a generat raționamente matematice, însă Price a dorit o verificare din partea unui matematician. Jared, inițial sceptic, a analizat soluția și a realizat că aceasta avea sens, rezolvând astfel o problemă ce l-a preocupat timp de șapte ani.
Puncte Cheie
- Jared Duker-Lichtman a lucrat timp de șapte ani la Problema Erdős 1196.
- Liam Price a generat o soluție cu ajutorul ChatGPT în 80 de minute.
- Jared a fost inițial sceptic, dar a găsit raționamentul AI logic.
- Criticii temerilor că AI ar putea înlocui expertiza umană în diverse domenii.
- Jared este optimist cu privire la utilizarea AI în soluționarea problemelor matematice.
Context
Problemele lăsate de matematicianul Paul Erdős sunt cunoscute pentru complexitatea lor, iar soluționarea acestora poate dura decenii. Utilizarea inteligenței artificiale în matematică ridică întrebări despre rolul expertizei umane și despre cum tehnologia poate accelera descoperirile științifice. Jared Duker-Lichtman vede în această experiență o oportunitate de a explora modul în care AI poate contribui la progresul în domeniul matematicii, oferind un nou instrument pentru matematicieni și cercetători.
