AlphaEvolve vừa giúp chứng minh các định lý mới trong lý thuyết phức tạp AlphaEvolve của Google DeepMind vừa đạt được những bước đột phá thực sự trong khoa học máy tính lý thuyết. Thay vì tạo ra các chứng minh đầy đủ, nó đã phát hiện ra các cấu trúc tổ hợp mới có thể kết hợp vào các khung chứng minh hiện có, dẫn đến các định lý đã được xác minh và có thể công bố trong lý thuyết phức tạp. Nhóm nghiên cứu đã cải thiện giới hạn không thể xấp xỉ cho MAX-4-CUT và tìm thấy các đồ thị Ramanujan khổng lồ chưa từng thấy trước đây, tất cả đều với độ chính xác có thể chứng minh.