Pseudocast #782 – Otvorený list o AI a budúcnosti matematického výskumu

Martir nadväzuje na predchádzajúcu debatu o AI pri matematických problémoch a číta preklad otvoreného listu, podľa ktorého sa ciele spoločností vyvíjajúcich AI môžu rozchádzať s cieľmi matematického výskumu. List zdôrazňuje, že riešenie problému je prostriedkom k hlbšiemu porozumeniu, tvorbe nových metód a odovzdávaniu poznatkov. Martir na historických príkladoch vysvetľuje význam teórií, ktoré vznikali pri hľadaní riešení, a vyjadruje obavu, že rýchla produkcia rozsiahlych dôkazov môže prekročiť možnosti ich spracovania matematickou komunitou.

Kubko namieta, že aj dôkaz vytvorený pomocou AI môže byť prvým krokom, ktorý matematici následne overia, zjednodušia a rozvinú. Diskusia sa sústreďuje na hodnotu výsledku oproti procesu jeho hľadania, zrozumiteľnosť dôkazov a kapacitu odborníkov posudzovať množstvo výstupov. Obaja priznávajú hranice vlastných znalostí a pri konkrétnej práci spomínajú potrebu odborného posúdenia. V závere otvárajú aj otázky uznania predchádzajúcej práce matematikov, autorstva a kontroly technológie jednou spoločnosťou.

Zdroje

• A Severe Misalignment of AI in Mathematics
• Fields Medal
• Langlands program
• Quintic function
• Sedm mostů města Královce
• Galoisova teória
• Topological graph theory

Image by Robert DeLaRosa from Pixabay