Nu există zid Agentul de autoformalizare al Math Inc., Gauss, a finalizat proiectul "Teorema numerelor prime puternice" în doar 3 săptămâni – o sarcină la care chiar și Terence Tao și Alex Kontorovich lucrau de peste 18 luni și s-au blocat. "Intrăm într-o epocă de aur în care oricine poate convoca matematicieni artificiali pentru cercetare. Pe măsură ce matematica verificată devine terenul de antrenament pentru AI, creăm universaliști ai mașinilor care vor transcende limitările umane – von Neumann ai erei digitale."

Ce?! Nu am văzut asta venind "Albania a devenit prima țară din lume care are un ministru AI – nu un ministru al AI, ci un ministru virtual format din pixeli și cod și alimentat de inteligență artificială. Numele ei este Diella, care înseamnă soare în albaneză, și va fi responsabilă pentru toate achizițiile publice, a declarat joi prim-ministrul Edi Rama.

Microsoft se îndepărtează de OpenAI pentru Office 365 și aduce Anthropic la bord. Modelele Claude vor fi utilizate pentru anumite funcții Copilot în Word, Excel și PowerPoint în viitor - mai ales acolo unde au performanțe mai bune conform testelor interne, cum ar fi funcțiile foilor de calcul sau prezentările mai atractive. Există două părți ale acestui lucru: pe de o parte, îmbunătățește calitatea produsului, iar pe de altă parte, trimite un semnal către OpenAI, cu care Microsoft este oricum angajat în negocieri dificile. Un alt punct interesant este că Microsoft trebuie să plătească pentru Anthropic prin AWS, în timp ce modelele OpenAI sunt gratuite pentru ei în cadrul parteneriatului existent.