“Toán học đang trải qua sự thay đổi lớn nhất trong lịch sử của nó.” Rất vui khi thấy đại diện toán học của chúng tôi #Aletheia được @newscientist đề cập đến trong kết quả của thử thách FirstProof khai mạc, cùng với những cột mốc thú vị khác trong nghiên cứu AI cho Toán học! Những hệ quả đáng để suy nghĩ.