Import AI 442: câștigători și pierzători în economia AI; automatizarea dovezilor matematice; și industrializarea spionajului cibernetic

Numina-Lean-Agent este un sistem de inteligență artificială capabil să efectueze raționamente matematice, demonstrând eficiența sa în rezolvarea problemelor de la competiția matematică Putnam 2025. Creat de o echipă internațională de cercetători, această aplicație subliniază potențialul mare al modelelor generale în domeniul matematicii. În paralel, testarea modelelor Opus 4.5 și GPT-5.2 sugerează o industrializare a atacurilor cibernetice, având implicații considerabile pentru securitatea cibernetică.