I prvi put, granica između alata i otkrića počinje da nestaje. ChatGPT-5.2 uspeo je da reši matematički problem koji do sada nije imao dokaz, otvarajući novo poglavlje u načinu na koji razmišljamo o nauci.
Kako je AI rešio problem
Istraživači iz laboratorije Data Analytics Lab pokazali su da komercijalni jezički modeli mogu generisati originalne matematičke dokaze. Fokus je bio na pretpostavci iz 2024. godine, koju su postavili matematičari Ran i Teng. Pretpostavke su ideje koje izgledaju tačno, ali čekaju dokaz. Kada se dokažu, postaju teoreme.
Proces nije bio trenutan. Dokaz je nastao kroz sedam razgovora i četiri verzije argumenta, gde je AI predlagao pravce, a ljudi proveravali logiku.
Šta je “vibe-proving”
Istraživači ovaj pristup nazivaju “vibe-proving”, metod u kojem AI pomaže u istraživanju i organizaciji kompleksnih ideja. Kao što je “vibe-coding” promenio programiranje, ovaj pristup može promeniti matematiku.
Uloga čoveka ostaje ključna
Iako je AI odigrao ključnu ulogu, ljudska verifikacija ostaje neophodna. Provera dokaza i zatvaranje logičkih praznina i dalje zahtevaju vreme i pažnju.
Ovo nije kraj puta. Ovo je početak. AI sada ne samo da pomaže u radu, već učestvuje u otkrićima.
Izvor: “Early Evidence of Vibe-Proving with Consumer LLMs: A Case Study on Spectral Region Characterization with ChatGPT-5.2 (Thinking)” by Brecht Verbeken, Brando Vagenende, Marie-Anne Guerry, Andres Algaba and Vincent Ginis, 21 February 2026, arXiv.
DOI:10.48550/arXiv.2602.18918.