5 vijesti
Tim od 20 istraživača iz DeepMinda i MIT CSAIL-a objavio je prvu large-scale evaluaciju LLM-ova za autonomno generiranje formalnih dokaza u Lean theorem proveru. Agent kombinira LLM generaciju s Lean simboličkom verifikacijom i autonomno rješava 9 od 353 otvorenih Erdősovih problema te dokazuje 44 od 492 OEIS konjektura.
Kada mnogi korisnici koriste AI za kreativne zadatke, svi dobivaju slične prijedloge — "kolaps raznolikosti ideja". Istraživači uvode ex ante protokol s koeficijentom nagomilavanja Δ i omjerom raznolikosti ρ. Sva tri testirana frontier modela padaju ispod praga parnosti s ljudima u kratkim pričama, marketinškim sloganima i alternativnim upotrebama.
Tim Jiaxiana Yana i suradnika objavio je 23. travnja 2026. BioMiner — multimodalni AI sustav za automatsko vađenje protein-ligand bioaktivnosti iz znanstvene literature. Sustav procesira tekst, tablice i molekularne strukture, postiže F1 0.32 na novom benchmarku BioVista (16,457 entrija iz 500 publikacija) i u demonstracijskoj aplikaciji izvuče 82,262 podatka iz 11,683 papira.
Google Photos dobio je značajku Auto Frame koja 2D fotografiju interpretira kao 3D scenu, procjenjuje geometriju i parametre kamere, a zatim latentnim difuzijskim modelima generira sadržaj izvan originalnog kadra za alternativne kompozicije.
Istraživači su predstavili Camera Artist, multi-agent sustav koji modelira stvarne filmske radne tokove za generiranje narativnog videa. Sustav koordinira specijalizirane AI agente koji simuliraju redatelja, snimatelja i montažera za koherentno vizualno pripovijedanje.