OpenAI tuyên bố AI đạt được ba đột phá khoa học, liên quan đến giả thuyết toán học, thuật toán máy tính và bài toán thiên niên kỷ

Tin BlockBeats, ngày 27 tháng 10, OpenAI tuyên bố rằng mô hình AI của họ đã đạt được ba đột phá lớn trong lĩnh vực toán học, khoa học máy tính và vật lý, thể hiện khả năng AI tự khám phá và chứng minh các lý thuyết khoa học phức tạp, chứ không chỉ trả lời câu hỏi hoặc hỗ trợ nghiên cứu.

Trong lĩnh vực toán học, AI đã chứng minh giả thuyết làm mịn cục bộ áp dụng cho mọi chiều (nghiên cứu năng lượng tập trung của các hiện tượng như sóng có thể kéo dài bao lâu), và từ đó giải quyết giả thuyết Kakeya (nghiên cứu một cây kim cần không gian tối thiểu bao nhiêu để quay theo mọi hướng trong không gian hữu hạn) và giả thuyết hạn chế Stein (bài toán toán học nghiên cứu quy luật dao động phức tạp).

Trong lĩnh vực khoa học máy tính, AI đã lật ngược giả thuyết thời gian mũ được chấp nhận rộng rãi từ lâu (cho rằng một số bài toán tính toán phức tạp không thể tránh khỏi việc khối lượng tính toán tăng vọt theo quy mô), có nghĩa là trong tương lai có thể tìm ra các thuật toán nhanh hơn.

Trong lĩnh vực vật lý, AI đã đưa ra chứng minh tồn tại toán học nghiêm ngặt cho sắc động lực học lượng tử (lý thuyết giải thích cách các quark kết hợp để hình thành các hạt như proton, neutron) và lý thuyết Yang–Mills (lý thuyết toán học mô tả lực tương tác giữa các hạt cơ bản), liên quan đến một trong bảy bài toán thiên niên kỷ của thế giới.

OpenAI cho biết, các thành tựu toán học và khoa học máy tính đã được xác minh hình thức thông qua công cụ xác minh toán học Lean, và công khai tài liệu chứng minh; các thành tựu vật lý đang được các chuyên gia bao gồm người đoạt giải Nobel Vật lý tham gia xem xét. Các thành tựu liên quan vẫn cần được giới học thuật xác nhận độc lập thêm.