"Matematica trece prin cea mai mare schimbare din istoria sa." Mă bucur să vedem că agentul nostru de matematică #Aletheia prezentat de @newscientist pentru rezultatele sale la provocarea inaugurală FirstProof, alături de alte repere interesante în cercetarea AI pentru matematică! Implicații care merită luate în considerare. Link în firul de discuție.

Încântat să vă împărtășesc: #Aletheia, agentul nostru de cercetare în matematică, tocmai a rezolvat autonom 6/10 probleme FirstProof notoriu de dificile, cel mai bun rezultat din prima provocare! Pentru mine, acest lucru este chiar mai mare decât realizarea noastră istorică de aur IMO de anul trecut; Aceste probleme provoacă chiar și matematicienii de top. Ne împărtășim rezultatele în mod transparent, vedem hârtia și gândurile complete în discuție. 👇