AI bắt đầu quét sạch các bài toán khó, Claude và Codex liên tiếp tìm ra phản ví dụ cho những giả thuyết chưa có lời giải.

Theo dõi từ Động Sát Beating, nhà toán học Levent Alpöge của Anthropic đã sử dụng Claude Fable để tìm ra phản ví dụ ba chiều cho giả thuyết Jacobi. Vấn đề này vẫn chưa được giải quyết từ năm 1939 và còn được đưa vào danh sách các bài toán quan trọng của thế kỷ 21.

Ánh xạ đa thức mà Fable đưa ra có định thức Jacobi luôn bằng −2, nhưng lại đưa ba đầu vào khác nhau đến cùng một đầu ra. Do đó, nó không thể khả nghịch, phiên bản ba chiều và cao hơn đã bị bác bỏ, trong khi phiên bản hai chiều vẫn chưa được giải quyết.

Sau đó, nhà nghiên cứu Aaron Lou của OpenAI đã để Codex nội bộ thử nghiệm độc lập. Mô hình, trong điều kiện không kết nối mạng, cũng tìm ra phản ví dụ về cơ bản giống hệt và viết ra quy trình suy luận.

Trong tương lai, các nhà toán học có thể giao đồng thời nhiều bài toán mở cho các mô hình khác nhau. AI có thể thử sai liên tục, tìm kiếm phản ví dụ, lỗ hổng và hướng đi mới, sau đó sử dụng tính toán ký hiệu hoặc công cụ chứng minh hình thức để kiểm tra. Nhiều hướng mà trước đây không ai có thời gian để khảo sát toàn diện có thể được quét nhanh chóng, và các khám phá khoa học cũng có thể được đẩy nhanh rõ rệt.

Tuy nhiên, vấn đề sẽ không tự động trở nên đơn giản hơn. Mô hình cũng có thể tạo ra hàng loạt các chứng minh sai lầm có vẻ hợp lý, và giới học thuật có thể chuyển từ "không tìm ra câu trả lời" sang "không kịp xác minh câu trả lời".

Rủi ro lớn hơn đến từ những đột phá thực sự. Sự an toàn của RSA phụ thuộc vào việc khó phân tích các số nguyên lớn, còn Diffie-Hellman và mật mã đường cong elliptic phụ thuộc vào việc khó giải logarit rời rạc. Một khi AI tìm ra thuật toán mới đủ nhanh, mã hóa trang web, chữ ký số, giao dịch ngân hàng và một phần hệ thống khóa công khai được sử dụng trong blockchain đều có thể bị vô hiệu hóa, buộc toàn cầu phải khẩn cấp thay đổi tiêu chuẩn mật mã.