Околу 40 водечки светски математичари се собраа во Сан Франциско за да се соочат со реалноста што до неодамна изгледаше далечна. Напредните системи за вештачка интелигенција почнаа самостојно да решаваат олимписки задачи и да проверуваат сложени теореми без човечка помош. Додека дел од истражувачите гледаат на новите алатки како на дигитални асистенти, мнозинството отворено стравува дека чистата теоретска математика ќе биде првата академска дисциплина целосно трансформирана од алгоритмите.
Салата во Калифорнија собра експерти од најпрестижните универзитети, соочени со нов бран софтверски решенија базирани на формална логика. Системите кои користат јазици како „Лин“ (Lean) веќе не халуцинираат факти, туку математички непогрешливо ги верификуваат чекорите во доказите.
Ова претставува пресвртна точка. Досегашните јазични модели често правеа банални грешки во пресметките. Новата генерација алатки ги комбинира невронските мрежи со строги логички верификатори. Машината сега го води целиот доказ од почеток до крај.
Пресвртот стана очигледен откако специјализирани модели освоија сребрен медал на Меѓународната математичка олимпијада. Проблеми за чие решавање на талентирани средношколци им се потребни часови, алгоритмите ги решија за неколку десетици секунди.
„Ако компјутерот може да произведе совршен доказ за прашање што мачело научници со генерации, улогата на професорот фундаментално се менува“, истакнаа присутните на конференцијата.
Математичарите традиционално веруваа дека нивната работа бара интуиција, креативност и естетско чувство што машините никогаш нема да го поседуваат. Тој бедем паѓа пред системи кои пребаруваат милиони логички патеки паралелно.
Помладите истражувачи веќе активно го учат кодирањето во логички платформи. За нив, алгоритмот е соработник што отстранува рутинска работа и наоѓа скриени врски меѓу оддалечени гранки на науката.
Од друга страна, постарите академици стравуваат за судбината на докторските студии и идните генерации истражувачи. Ако примарната работа на еден математичар е да измислува и докажува тези, а софтверот тоа го прави побрзо и попрецизно, се менува самата дефиниција за научно откритие.
