Claude formalizează complet Teorema lui Fermat

Anthropic anunță că Claude a realizat prima formalizare completă și verificată de computer a Teoremei lui Fermat, transformând demonstrația matematică într-o formă care poate fi verificată automat de asistentul Lean. Claude a lucrat în mare parte autonom timp de 11 zile și a generat aproximativ 13 milioane de linii de cod Lean, cu aproape 29.500 de teoreme intermediare în formalizarea finală. Proiectul a folosit zeci de agenți Claude care au colaborat prin platforma Prove2Me. Anthropic – Formalizing Fermat's Last Theorem

De ce este important: Claude nu a descoperit o nouă demonstrație a Teoremei lui Fermat. Aceasta fusese demonstrată de Andrew Wiles în anii '90. Noutatea este că AI-ul a reușit să transforme o demonstrație matematică extrem de complexă într-o formalizare verificată integral de computer. Astfel de sisteme ar putea accelera semnificativ verificarea demonstrațiilor și cercetarea matematică, reducând riscul ca erori subtile să treacă neobservate.

SUA: The Seattle Times și Newsday dau în judecată OpenAI și Microsoft

The Seattle Times și Newsday au dat în judecată OpenAI și Microsoft, acuzând companiile că au folosit fără permisiune articole jurnalistice, inclusiv materiale aflate în spatele paywall-urilor, în seturi de date utilizate pentru dezvoltarea și operarea unor produse AI precum ChatGPT și Copilot. Cele două publicații susțin că sistemele pot reproduce sau parafraza conținutul lor, ceea ce ar putea reduce traficul către site-urile publicațiilor și numărul de abonamente. Reuters – Seattle Times și Newsday dau în judecată OpenAI și Microsoft

De ce este important: noul proces adaugă două publicații importante unei dispute juridice tot mai ample privind drepturile de autor și antrenarea modelelor AI. OpenAI susține că modelele sale sunt antrenate pe date disponibile public și că utilizarea acestora este protejată de principiul fair use, în timp ce publicațiile cer inclusiv distrugerea unor copii, seturi de date sau modele care ar conține operele lor. Cazul poate contribui la stabilirea limitelor juridice pentru utilizarea conținutului jurnalistic de către companiile AI.

India investește până la 7,4 miliarde de dolari într-un campus AI de 1 GW

O subsidiară a Tata Consultancy Services (TCS) și partenerii săi intenționează să investească până la 700 de miliarde de rupii, aproximativ 7,4 miliarde de dolari, pentru dezvoltarea unui campus de centre de date AI cu o capacitate de până la 1 GW, în Telangana. HyperVault, subsidiara TCS implicată în proiect, a securizat 264 de acri în Hyderabad, iar dezvoltarea va fi realizată în mai multe etape. Infrastructura este destinată companiilor AI și hyperscalerilor și va putea susține sisteme de GPU-uri pentru antrenare și inferență. Reuters – India investește 7,4 miliarde de dolari într-un campus AI

De ce este important: competiția globală pentru AI se transformă într-o competiție pentru energie, cipuri și centre de date. Un campus de 1 GW ar plasa India printre principalii jucători în infrastructura necesară pentru dezvoltarea și operarea modelelor AI de mari dimensiuni. Investiția arată, de asemenea, ambiția Indiei de a deveni un centru global pentru infrastructura AI, nu doar o piață importantă pentru produsele dezvoltate de companiile americane și chineze.

128 de țări ajung la un acord privind armele autonome

128 de state au ajuns la Geneva la un acord privind un text care ar putea deschide calea către primele reguli internaționale referitoare la armele autonome. Negocierile au avut loc în cadrul Convenției privind anumite arme convenționale și s-au desfășurat după mai bine de un deceniu de discuții. Textul este însă neobligatoriu din punct de vedere juridic, iar SUA și Rusia susțin în principal dezvoltarea unor reguli naționale, mai degrabă decât adoptarea unor restricții internaționale obligatorii. Reuters – States reach agreement at autonomous weapons talks in Geneva

De ce este important: AI poate permite sistemelor militare să identifice, urmărească și selecteze ținte cu niveluri tot mai mari de autonomie. Acordul reprezintă un pas diplomatic important, dar nu stabilește încă reguli obligatorii privind utilizarea acestor tehnologii. Discuția devine astfel una dintre cele mai importante intersecții dintre AI, securitate și drept internațional: câtă autonomie poate primi o mașină atunci când decizia sa poate avea consecințe letale?

Tesla Cybercab intră imediat sub investigația autorităților americane

Autoritatea americană pentru siguranța traficului, NHTSA, a deschis o investigație privind Tesla Cybercab, analizând modul în care compania a stabilit că vehiculul respectă standardele federale de siguranță. Cybercab este conceput pentru operare autonomă și are un design neobișnuit pentru un automobil tradițional, fără comenzile convenționale asociate unui vehicul condus de un șofer. Investigația vine în momentul în care Tesla începe să introducă vehiculul în serviciile sale autonome din Statele Unite. NHTSA – Tesla Cybercab Investigation

De ce este important: investigația apare exact când Tesla încearcă să treacă de la demonstrații și testare la operarea comercială a unor vehicule fără șofer. Cazul poate avea implicații pentru întreaga industrie a automobilelor autonome, deoarece autoritățile trebuie să stabilească modul în care regulile de siguranță existente se aplică unor vehicule proiectate fără elemente tradiționale precum volanul și pedalele. Decizia NHTSA ar putea influența și modul în care vor fi aprobate viitoarele generații de robotaxiuri.

Anthropic își amână IPO-ul, posibil la o evaluare de până la 2 trilioane de dolari

Anthropic își amână planurile pentru listarea la bursă, compania urmând să înceapă, cel mai devreme, procesul de promovare a IPO-ului la jumătatea lunii octombrie. Prospectul este așteptat spre sfârșitul lunii septembrie, potrivit unor surse citate de Reuters. Evaluarea companiei ar putea ajunge la 2 trilioane de dolari, în timp ce Anthropic lucrează și la o facilitate de credit de până la 15 miliarde de dolari. Reuters – Anthropic IPO launch shifts toward mid-October

De ce este important: un IPO la o asemenea evaluare ar reprezenta un test major pentru apetitul investitorilor față de companiile de frontieră din AI. Anthropic are nevoie de capital semnificativ pentru infrastructură, cipuri și dezvoltarea modelelor sale, iar o listare publică ar putea oferi acces la resurse financiare suplimentare. În același timp, evaluarea de până la 2 trilioane de dolari va pune o presiune enormă pe companie pentru a demonstra că veniturile și perspectivele sale pot justifica așteptările pieței.

Surse