Matematika i AI – naučnici potvrdili da ChatGPT može dokazivati teoreme
Štreberi pre 6 dana
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
