GPT-5.6

GPT-5.6 Sol Pro giải bài toán tối ưu lồi tồn tại 30 năm, chứng minh được xác thực bằng Lean

GPT-5.6 Sol Pro, với prompt mô phỏng theo phương pháp chứng minh Giả thuyết Phủ Chu trình Kép của OpenAI, đã giải bài toán tối ưu lồi không sử dụng đạo hàm tồn tại 30 năm. Chứng minh cận dưới bậc hai đã được xác thực bằng Lean, cho thấy tiềm năng của AI trong nghiên cứu toán học thuần túy.