Claude giúp một nhà logic học ở Helsinki đọc các sổ tay tốc ký của Gödel, phát hiện hàng trăm định lý

The Guardian đưa tin rằng Jan von Plato, người đứng đầu dự án của Đại học Helsinki nghiên cứu 16 “sổ tay” đầu thập niên 1940 của Kurt Gödel (1.009 trang, phần lớn được viết bằng hệ tốc ký Gabelsberger đã lỗi thời) từ năm 2017, đã cung cấp cho Claude các bản phiên âm, những cuốn sách trước đây của ông về Gödel và tài liệu nghiên cứu liên quan vào tháng 9. Theo von Plato, chỉ trong vài ngày Claude đã tạo ra một bản giải thích dài 650 trang về các sổ tay, và ông cho biết bản này phải được kiểm tra từng trang.

Những gì von Plato nói Claude tìm ra. Khi được hỏi liệu các sổ tay có chứa chứng minh rằng tiên đề lựa chọn độc lập hay không, Claude đã tái dựng một chứng minh mà von Plato nói là “gần như” hoàn chỉnh, nhưng có một định nghĩa sai mà Gödel đã nêu đúng từ hai năm trước đó. Ông cho biết chứng minh được tái dựng đã vượt qua trình trợ giúp chứng minh Coq. Khi được yêu cầu trích xuất mọi định lý Gödel đã chứng minh, phác thảo hoặc nảy ra ý tưởng, Claude liệt kê 663 định lý. Von Plato nói khoảng 400 định lý đã được xác minh đúng như được nêu bằng Coq, khoảng 200 cần chỉnh sửa và khoảng 50 là sai. Ông cũng cho biết Claude xác định được hơn một chục chủ đề về logic chưa được nghiên cứu tiếp.

Điểm cần thận trọng. Joel David Hamkins của Đại học Notre Dame, người chưa xem bản tái dựng, nói với The Guardian rằng nếu bản này đứng vững thì đó là điều “đáng chú ý và có ý nghĩa lịch sử”, nhưng việc phần nào là của Claude và phần nào là của Gödel là câu hỏi dành cho các nhà sử học; việc nó giống chứng minh của Cohen không có nghĩa Gödel đã có chứng minh đó.