Senaste
Rapporter om OpenAI-modeller som löser stora matematikproblem pekar på en djupare fråga: att generera bevis blir billigare, medan verifiering, tillskrivning och publicering fortfarande rör sig i mänsklig takt.
Alla inlägg
OpenAIs juridiska lansering handlar mindre om en ny grundmodell än om systemet runt den: domänhämtning, betrodda verktyg, behörigheter, benchmarks och granskningsvägar.
OpenAI säger att AI-agenter hittade en Navier–Stokes-singularitet och formaliserade beviset i Lean. Den svårare berättelsen är vad som händer sedan: granskning, erkännande och kraften i privata agentsvärmar inom matematiken.
