Світогляд | ​​Математика під тиском алгоритмівУ математиці доказ — це не просто ві...

​​Математика під тиском алгоритмівУ математиці доказ — це не просто відповідь, а пояснення, чому вона правильна. Саме тому математику вважають найнадійнішою з наук: будь-хто може перевірити кожен крок. Але штучний інтелект уже генерує докази, які виглядають бездоганно, а людина не здатна їх перевірити до кінця — бо не розуміє, як саме машина дійшла до результату. Просто ігнорувати такі докази не вдається: ШІ іноді розв'язує задачі, до яких математики не могли підступитися роками. Хто не використовує ці результати — програє конкуренцію за гранти й публікації. Але ризик конкретний: на математичних доказах тримаються шифрування банківських переказів, розрахунки мостів, моделі дозування ліків. Якщо в основі лежить неперевірений доказ, помилка може вилізти вже не в журнальній статті, а в реальній конструкції. До того ж нові теореми будуються на попередніх — одна хибна ланка отруює весь ланцюг, і ніхто цього не помітить. 2 червня 2026 року 16 дослідників із 15 університетів оприлюднили Лейденську декларацію — заклик захистити математику від цих загроз. Документ підтримав Міжнародний математичний союз. На момент публікації його підписали понад 130 математиків.@ohliad @svitohliad @enfol