Skip to content
OPENAI, компанијата зад ChatGPT, објави стотици трудови со целосни или делумни решенија за математички проблеми што научниците не можат да ги решат со години, а во некои случаи и со децении.
Објавувањето предизвика неверица кај водечките математичари и предизвика дебата за тоа што ја носи иднината за математиката во ерата на вештачката интелигенција.
Размерот на настанот веќе е опишан од некои со терминот „матпокалипса“ или математичка апокалипса.
Пред неколку дена, OpenAI објави 722 математички трудови, организирани во 372 групи поврзани резултати. Трудовите беа создадени од внатрешен модел на вештачка интелигенција кој сè уште не е јавно достапен.
Денот по објавувањето, компанијата повлече три трудови поради откриена грешка и направи корекции на уште 14 трудови. Според ажурираните податоци, 719 трудови се јавно достапни.
Математичарите не можат да поверуваат колку многу напреднала вештачката интелигенција
Брзината со која вештачката интелигенција напредувала во математиката е особено изненадувачка. Пред помалку од две години, моделите на вештачката интелигенција се бореа со математички проблеми на ниво на испити во средно училиште, а сега се справуваат со некои од најтешките нерешени прашања во модерната наука.
Тимоти Гоуерс, професор по математика на Кембриџ и Колеџот де Франс, за Скај њуз изјави дека е шокиран од брзината на напредокот.
„Се наоѓаме во многу необична ситуација. Гледаме цунами, сè уште сме на плажа, го гледаме, но сè уште не нè достигнало целосно“, рече Гоуерс.
Според него, вештачката интелигенција напреднала од нивото на просечен докторант на ниво на врвен математичар во изминатата година.
Проблеми на кои луѓето работеле целиот свој живот
Објавените резултати вклучуваат трудови од теоријата на броеви, геометријата, математичката физика и теоретската компјутерска наука.
Една се однесува на таканаречената хипотеза за уникатни игри, важен нерешен проблем во теоретската компјутерска наука што ги окупира истражувачите со децении. Вештачката интелигенција понуди доказ за оваа хипотеза, а нејзината валидност сега треба детално да се проучи.
Американскиот компјутерски научник и математичар Скот Аронсон од Универзитетот во Тексас во Остин напиша дека неговата сопруга, математичарката Дана Мошковиц, работела на овој проблем практично целата своја кариера.
Аронсон ја опиша објавата како еден од најголемите денови во историјата на математиката, но исто така предупреди дека речиси никој досега не успеал темелно да ги разбере повеќето од новите докази.
Тој го спореди чувството на математичарот со позицијата на човек кој го поминал целиот свој живот учејќи да преживее во недостапна дождовна шума, само за одеднаш да се појави голем туристички комплекс со сите можни погодности до него.
Со други зборови, математичарите кои поминале години градејќи го знаењето потребно за решавање на одредени проблеми сега гледаат како вештачката интелигенција брзо нуди резултати што не можеле да ги постигнат.
Но, дали решенијата се навистина точни?
Тоа е едно од клучните прашања. Иако OpenAI објави голем број резултати, многу од нив сè уште не се независно потврдени. Околу 42 проценти од неговите главни резултати имаат формални докази во Lean, систем што овозможува компјутерска верификација на математички искази.
Но, дури и само компјутерската верификација не значи дека оригиналниот проблем е решен. Треба да се потврди дека она што компјутерот го потврдил е навистина исто како математичката изјава што требало да се докаже.
Потребата од дополнителна претпазливост беше истакната со повлекувањето на три трудови на 7 октомври. OpenAI призна дека грешка во еден доказ, исто така, ги компромитирала резултатите од два поврзани труда.
Компанијата, исто така, предупреди дека некои трудови без формални докази може да содржат грешки.
Добитник на највисоката награда за математика: Тие го уништија моето поле на истражување
Реакцијата на францускиот математичар Уго Думинил-Копен, добитник на медалот Филдс во 2022 година, една од најпрестижните награди во математиката, покажува колку објавата влијаела врз математичарите.
Како што пишува денес „Ле Монд“, Думинил-Копин призна дека плачел откако дознал за новите резултати. Дури 16 проблеми со кои се занимавал OpenAI се директно поврзани со неговото истражување.
„Тие го уништија моето поле на истражување“, рече тој за време на видеоконференција одржана пред неколку дена.
Според него, во еден случај, вештачката интелигенција изработила 13 трудови одеднаш, кои претставуваат различни фази од истражувачка програма што вообичаено би им одзела на математичарите години работа.
Думинил-Копин, исто така, се плаши дека поради можноста за вештачка интелигенција, младите луѓе би можеле да ја изгубат мотивацијата да се занимаваат со математика. Тој, исто така, предупреди дека научниците би можеле да почнат да ги кријат своите идеи од страв дека компаниите за вештачка интелигенција ќе ги победат.
Математичарите повикуваат на прекин на соработката со OpenAI
Објавата, исто така, предизвика отворен конфликт помеѓу дел од математичката заедница и OpenAI.
Здружението за човечка математика ги повика математичарите да престанат да соработуваат со компанијата.
Во соопштението се наведува дека објавувањето на повеќе од 700 трудови истовремено не е показател за квалитетна научна работа, туку демонстрација на моќ.
Здружението верува дека научните истражувања треба да останат фокусирани на човековото разбирање, а не само на производство на резултати што дури ни самите истражувачи не можат лесно да ги протолкуваат.
Изјавата ја сподели и познатиот математичар Теренс Тао, иако тоа не значи дека тој нужно се согласува со сите нејзини тврдења.
Од друга страна, Скот Аронсон верува дека е нереално да се бара од компаниите за вештачка интелигенција да не решаваат отворени математички проблеми. Според него, целта на математиката е токму да наоѓа решенија, без оглед на тоа кој ги пронашол.
Сепак, тој предупредува дека математичката заедница има право да бара поголема одговорност и транспарентност од компаниите што развиваат вештачка интелигенција.
Сè започна со еден од најтешките математички проблеми.
Најновото соопштение доаѓа околу еден месец откако OpenAI презентираше предложен доказ поврзан со равенките Навиер-Стокс.
Тоа е еден од седумте таканаречени милениумски проблеми, кои беа издвоени од Американскиот институт за математика со глина во 2000 година. Се очекува награда од еден милион долари за решавање на секој од нив.
Навиер-Стоксовите равенки го опишуваат движењето на течностите и гасовите и се исклучително важни за разбирање на бројни феномени, од протокот на воздух околу авионите до однесувањето на океаните и атмосферата.
Во септември, OpenAI презентираше резултат што го смета за голем математички пробив, но не тврдеше дека официјално ја освоил наградата.
Најновата збирка трудови не претставува дефинитивно решение за ниту еден од преостанатите проблеми на милениумот, иако вклучува резултати поврзани со неколку од нив.
OpenAI: Сакаме да ги забрзаме научните откритија
OpenAI вели дека неговата цел е да ги забрза математичките истражувања и да им овозможи на научниците да прават нови откритија со помош на вештачката интелигенција.
Компанијата соопшти дека разговарала со независна советодавна група математичари поврзани со Институтот за напредни студии во Принстон пред објавувањето.
Трудовите ги објави на GitHub, со можност за последователни ажурирања и корекции, и најави подобрувања во начинот на кој се презентираат идните резултати.
Но, дебатата што следеше покажува дека не е само прашање дали вештачката интелигенција може да реши тешки математички проблеми.
Исто така, поставува многу пошироко прашање: како изгледа иднината на науката во која машините можат да произведат стотици нови докази побрзо отколку што луѓето можат да ги читаат, проверуваат и разбираат?
