"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.