Olimlar AI yordamida barcha matematikani shoshilinch rasmiylashtirishdan ogohlantirdi

Bir guruh matematiklar sun'iy intellekt yordamida barcha matematik nazariyalarni tez fursatda rasmiylashtirish chaqiriqlariga nisbatan xavotir bildirishdi. Ularning ta'kidlashicha, tayyorgarliksiz va shoshilinch yondashuv matematik hamjamiyat uchun foydasiz va sifatsiz kodlar paydo bo'lishiga olib keladi.

Olimlar OpenAI va Anthropic kompaniyalarining muvaffaqiyatlarini tan olgan holda, AI yaratgan murakkab formal kodlarni tozalashdan ko'ra noldan qayta yozish osonroq ekanini ta'kidlashdi. Ular AI texnologiyalaridan foydalangan holda matematikani puxta va sifatli rasmiylashtirish rejasini ilgari surishdi.

Oddiy AI texnologiyasi yordamida tarjima qilingan