Tin tức 
Thông tin Coin 
Về chúng tôi 
OpenAI công bố 3 kết quả nghiên cứu do AI tạo ra trong các lĩnh vực toán học, khoa học máy tính và vật lý. Công ty cho biết kết quả bác bỏ giả thuyết thời gian hàm mũ (ETH) đã vượt qua kiểm chứng hình thức bằng Lean.
Trong thông báo chính thức ngày 26 tháng 10, OpenAI tuyên bố mô hình của công ty đã bác bỏ ETH. Một nhóm bên ngoài do các giáo sư MIT Russell Impagliazzo, Ramamohan Paturi và Ryan Williams dẫn dắt sẽ xem xét kết quả này. OpenAI đã công bố chứng minh bằng ngôn ngữ tự nhiên và cho biết sẽ công khai dữ liệu liên quan để cộng đồng kiểm chứng độc lập.
Trong toán học, OpenAI tuyên bố mô hình đã chứng minh giả thuyết làm trơn cục bộ ở mọi số chiều, qua đó giải được cả giả thuyết Kakeya và giả thuyết giới hạn Stein. Trong vật lý, công ty đưa ra chứng minh về sự tồn tại của lý thuyết trường lượng tử 4 chiều, bao gồm sắc động lực học lượng tử. Nhóm nghiên cứu do David Gross dẫn dắt sẽ kiểm chứng chứng minh này.
Bình luận 0