Zece progrese în matematică și știința calculatoarelor teoretice

Anthropic a identificat slăbiciuni criptografice folosind Claude, în timp ce OpenAI a folosit modelul Astra pentru a aborda zece probleme matematice nerezolvate timp de peste un deceniu. OpenAI a investit mai puțin de 2.000 de dolari pentru fiecare problemă și a publicat formalizările rezultatelor, generând astfel discuții între matematicieni despre impactul inteligenței artificiale în domeniu. Terence Tao anticipează o colaborare mai strânsă între oameni și mașini pentru realizarea de matematică de mari dimensiuni.