OpenAI công bố các đột phá khoa học lớn trong bối cảnh vấp phải sự phản đối từ giới học thuật
OpenAI đã công bố các đột phá khoa học quan trọng trong các lĩnh vực toán học, khoa học máy tính và vật lý — bao gồm tuyên bố chứng minh được phỏng đoán Kakeya — đồng thời thay đổi phương thức công bố bằng cách hợp tác với các chuyên gia do hãng tự tay lựa chọn. Mặc dù các đột phá này cho thấy năng lực ngày càng mở rộng của AI trong việc giải quyết các bài toán khoa học nền tảng, các phương thức công bố hạn chế và chọn lọc của OpenAI lại gây ra sự bức xúc lớn trong cộng đồng nghiên cứu, những người đòi hỏi quyền truy cập mở và quy trình bình duyệt công khai. Ba đột phá này bao gồm việc chứng minh phỏng đoán Kakeya ở mọi chiều không gian, nghiên cứu sắc động lực học lượng tử trong Mô hình Chuẩn của vật lý, và bác bỏ Giả thuyết Thời gian Hàm mũ trong khoa học máy tính, mặc dù việc xác minh vẫn gặp nhiều khó khăn do quyền truy cập bị hạn chế và các chứng minh được máy tính kiểm tra rất phức tạp.
## KIẾN THỨC NỀN
Phỏng đoán Kakeya là một bài toán hình học cổ điển liên quan đến không gian tối thiểu cần thiết để quay một cây kim theo các hướng khác nhau, vốn gắn liền với các lĩnh vực toán học nâng cao. Lean là một trình chứng minh định lý tương tác hoặc trợ lý chứng minh hình thức được sử dụng để chính thức hóa các phát biểu toán học và xác minh chứng minh thông qua trình biên dịch.