Import AI 478: Matematica aliniamentului; ProgramBench; și Mirendil arată ce înseamnă RSI

Startup-ul AI Resolution a publicat cercetări privind formalizarea automată a enunțurilor matematice din teoria învățării statistice, întărind astfel siguranța AI. Proiectul a costat aproximativ 135.000 de dolari și a generat 600.000 de linii de cod Lean. În altă parte, sistemul Claude Opus 5.5 a obținut 18,5% la ProgramBench, demonstrând progrese semnificative în reconstrucția programelor software de către AI.