"Nhóm toán học từng vạch trần "phép màu" giả của OpenAI nay đã xác nhận: Mô hình lý luận mới thực sự chứng minh được giả thuyết hình học treo lơ lửng từ năm 1946. Cuộc lội ngược dòng ngoạn mục."
Sao lại có hai lần "embarrassing claim"? Vài tháng trước, OpenAI từng bị giới toán học chỉ trích dữ dội vì công bố kết quả "đột phá" nhưng hóa ra là lỗi suy luận. Lần này, họ chơi lớn hơn: mời chính những người từng "bắt quả tang" mình vào cuộc thẩm định.
- Kết quả: Mô hình *reasoning* mới (có thể là o3 hoặc phiên bản nâng cấp) đã chứng minh giả thuyết *Morton's conjecture* - một bài toán hình học đại số không ai giải nổi suốt 8 thập kỷ.
- Các nhà toán học tại Đại học Cambridge và MIT xác nhận: chứng minh hợp lệ, không có "data leaking" hay suy luận ảo.
Cột mốc thay đổi cuộc chơi
Đây không chỉ là chiến thắng về thuật toán. Nó cho thấy AI đã vượt qua ranh giới "mô phỏng" để bước vào "sáng tạo toán học thực thụ".
Các mô hình trước đây giỏi tìm pattern trong dữ liệu, nhưng với bài toán hình học trừu tượng kiểu này, không có dataset mẫu để học. Bắt buộc phải xây dựng suy luận logic từ con số 0.
Mở ra kỷ nguyên "AI đồng tác giả"
Hãy tưởng tượng: sinh viên toán không cần mò mẫm 5 năm để tìm hướng chứng minh. Họ đặt câu hỏi, AI đưa ra 10 con đường khả thi, người thẩm định và hoàn thiện.
- Nhưng cạm bẫy vẫn còn: AI vẫn có thể hallucinate. Lần này có người thật giám sát, lần sau thì sao?
- Chi phí tính toán khủng khiếp - một bài toán có thể tiêu tốn hàng trăm nghìn USD điện.
[Kết luận]
OpenAI vừa chứng minh AI không chỉ biết "chat" hay "vẽ" - nó có thể làm toán học thuần túy. Nhưng lịch sử 80 năm của bài toán cũng nhắc nhở: đừng vội tung hô trước khi có xác nhận từ người thật. Câu hỏi đặt ra: Với "đôi cánh" này, AI sẽ giúp ta chạm tới những giới hạn nào của tri thức loài người?
0 Nhận xét