Rất vui được chia sẻ: #Aletheia, đại lý nghiên cứu toán học của chúng tôi, vừa tự động giải quyết 6/10 bài toán FirstProof nổi tiếng khó khăn, kết quả tốt nhất trong thử thách đầu tiên! Đối với tôi, điều này còn lớn hơn cả thành tích vàng IMO lịch sử của chúng tôi năm ngoái; những bài toán này thách thức ngay cả những nhà toán học hàng đầu. Chúng tôi chia sẻ kết quả của mình một cách minh bạch, xem bài báo và những suy nghĩ đầy đủ trong chủ đề. 👇