Î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. 👇