Rất vui được chia sẻ tiến bộ mới trong AI cho Toán học @GoogleDeepMind . Trong tổ hợp cực, AlphaEvolve đã giúp thiết lập các giới hạn dưới mới cho NĂM số Ramsey cổ điển - một vấn đề khó khăn đến mức ngay cả Erdős cũng đã bình luận về độ khó của nó. Lịch sử cho thấy, việc tính toán để suy ra những giới hạn này yêu cầu các thuật toán tìm kiếm được thiết kế riêng, do con người tạo ra. Đối với nhiều giới hạn này, các kết quả tốt nhất trước đây đã ít nhất một thập kỷ tuổi. AlphaEvolve thay đổi điều này bằng cách hoạt động như một meta-algorithm duy nhất tự động phát hiện các quy trình tìm kiếm cần thiết để tìm ra những giới hạn mới này. 📷