Aristotle, AI sistem kompanije Harmonic, samostalno je riješio 30 godina staru verziju Erdős Problema #124 — što istraživači nazivaju prvim pravim korakom u eru “vibe proving” matematike.
Sistem je do rezultata došao za šest sati, a zatim formalno verifikovao dokaz u Lean-u za samo jednu minutu. Ovo je omogućeno novom beta verzijom Aristotlea, koja kombinuje snažnije rezonovanje i prirodni jezički interfejs za pisanje dokaza korak po korak.
Vilad Tenev, osnivač Harmonica, opisuje “vibe proving” kao proces gdje AI intuitivno otkriva strukturu rješenja, a zatim ga mašine strogo matematički potvrđuju. Harmonicov napredak dolazi nakon investicije od 120 miliona dolara i odličnih rezultata na IMO testovima, čime se kompanija svrstava uz Google i OpenAI u domenu matematičkog zaključivanja.
Ovo je korak prema matematičkoj superinteligenciji — svijetu u kojem AI generiše i provjerava dokaze brže nego što ljudi mogu. Takvi alati mogli bi otvoriti vrata naprednoj matematici mnogo široj publici i ubrzati rješavanje problema koji su decenijama bili van domašaja.
Ukratko iz svijeta tehnologije:
- AI i AI agenti ostvarili su 14,2 milijarde dolara globalne online prodaje na Crni petak, od čega je samo u SAD-u ostvareno 3 milijarde, pokazuju podaci Salesforcea.
- Virgin Australia potpisala je ugovor s OpenAI-jem kako bi ChatGPT pokretani alati bili direktno ugrađeni u način na koji ljudi pretražuju i planiraju letove.
- Div u oblasti data inteligencije, Databricks, pregovara o podizanju 5 milijardi dolara investicija uz procijenjenu vrijednost od 134 milijarde — što je oko 32 puta više od očekivanih ovogodišnjih prihoda od 4,1 milijardu.
- Režiser Avatara, James Cameron, nazvao je generativnu AI „zastrašujućom“, rekavši da ona kreira lik, glumca i performans od nule, za razliku od njegove tehnologije snimanja pokreta koja slavi „trenutak između glumca i režisera“.
- Deutsche Telekom i Schwarz Group navodno planiraju zajedničku „AI gigatvornicu“ u Njemačkoj, ciljajući na 20 milijardi dolara vrijedne EU fondove kako bi konkurisali SAD-u i Kini.
AI alati koji su trenutno u trendu:
- Math V2 – DeepSeekov open-source model za matematičko zaključivanje.
- Perplexity – AI sistem za odgovaranje na pitanja, sada s trajnom memorijom.
- GELab-Zero-4B – StepFunov novi SOTA open-source model za korištenje računara.
