Những khám phá toán học thú vị nhất trong 722 bài báo mới của OpenAI

Cánh cửa của toán học AI đã mở ra. Vào ngày 7 tháng 10, OpenAI đã công bố 722 bài báo toán học sử dụng một mô hình AI để xem xét một loạt các chủ đề đáng kinh ngạc, từ những bí ẩn toán học lâu đời đến những cải tiến nhỏ trong những vấn đề hiếm khi được để ý tới.

Tất nhiên, vẫn chưa có thời gian để các nhà toán học sàng lọc tất cả các kết quả này, chứ chưa nói đến việc thực sự kiểm tra chúng: một số bài báo dài hàng trăm trang, dày đặc các tính toán phức tạp. Nhiều bài trong số đó chưa được hình thức hóa – rút gọn thành các bước có thể được máy tính kiểm tra – nghĩa là có rất ít sự đảm bảo rằng chúng chính xác. Ba bài đã được rút lại. Tuy nhiên, ngay cả một đợt sàng lọc sơ bộ qua hàng loạt bài báo cũng cho thấy một số kết quả có khả năng tạo ra tiếng vang lớn.

Một số bài báo liên quan đến các bài toán Thiên niên kỷ, một bộ gồm bảy bài toán toán học thường được coi là nằm trong số những bài toán quan trọng và thách thức nhất trong lĩnh vực này. Việc giải được bất kỳ bài toán nào trong số này đều đi kèm với giải thưởng $1 triệu từ Viện Toán học Clay. Kể từ khi thành lập vào năm 2000, chỉ có một bài toán đã được giải quyết, mặc dù các nhà toán học hiện đang điều tra một tuyên bố gần đây từ OpenAI rằng một trong các mô hình của họ đã giải được một bài toán khác, liên quan đến phương trình Navier-Stokes của động lực học chất lưu.