Тео Чженьсян попереджає про кризу цінностей у математиці, надмірність доказів, створених ШІ

Китайсько-американський математик Тео Чженьсян на Міжнародному конгресі математиків (ICM) заявив, що математика входить у фундаментальну кризу цінностей та методів дослідження. Він зазначив, що ШІ незабаром зможе виконувати велику кількість дослідницьких математичних завдань за розумну ціну. У останніх тестах чотири системи ШІ зіткнулися з 10 новими дослідницькими питаннями, і принаймні одна з систем знайшла публікаційно придатні рішення для 7 з них, витративши на кожне завдання від 10 до 1000 доларів. Тео Чженьсян вважає, що математика перейде від "недостатності доказів" до "надмірності доказів", а докази, створені ШІ, будуть накопичуватися в очікуванні перевірки. Після перевірки результати все ще потребуватимуть чіткого пояснення, рецензування та організації з боку людини. Справжньою рідкістю стане здатність оцінювати важливість результатів і перетворювати докази на знання, зрозумілі для людства. Він підкреслив, що якщо автор не може чітко та точно пояснити свої результати, навіть якщо докази були створені ШІ та пройшли перевірку, їх не слід публікувати.