📜 Claude đọc 1.009 trang ghi chú của Gödel và liệt kê 663 định lý
Nhà logic học người Phần Lan Jan von Plato đã giải mã các cuốn sổ bài tập từ đầu những năm 1940 của Kurt Gödel với tốc độ khoảng một trang mỗi tuần kể từ năm 2017. Tháng 9, ông đưa Claude các bản chép lại, và chỉ trong vài ngày, Claude đã trả về một phần giải thích dài 650 trang. Trong số 663 định lý Gödel đã chứng minh, phác thảo hoặc chỉ mới phác họa, khoảng 400 được xác nhận là đúng như đã viết trong trợ lý chứng minh Coq, khoảng 200 cần chỉnh sửa, và khoảng 50 là sai. Claude cũng phát hiện Gödel chỉ cách chứng minh rằng tiên đề lựa chọn là độc lập đúng một định nghĩa sai; đây là kết quả mà sau này Paul Cohen đã giành Huy chương Fields.
⭐ Một nhà logic học mắc kẹt ở tốc độ một trang mỗi tuần đã giao những cuốn sổ cho Claude và nhận lại hàng năm trời đọc hiểu chỉ trong hai ngày.
#AI
Nhà logic học người Phần Lan Jan von Plato đã giải mã các cuốn sổ bài tập từ đầu những năm 1940 của Kurt Gödel với tốc độ khoảng một trang mỗi tuần kể từ năm 2017. Tháng 9, ông đưa Claude các bản chép lại, và chỉ trong vài ngày, Claude đã trả về một phần giải thích dài 650 trang. Trong số 663 định lý Gödel đã chứng minh, phác thảo hoặc chỉ mới phác họa, khoảng 400 được xác nhận là đúng như đã viết trong trợ lý chứng minh Coq, khoảng 200 cần chỉnh sửa, và khoảng 50 là sai. Claude cũng phát hiện Gödel chỉ cách chứng minh rằng tiên đề lựa chọn là độc lập đúng một định nghĩa sai; đây là kết quả mà sau này Paul Cohen đã giành Huy chương Fields.
⭐ Một nhà logic học mắc kẹt ở tốc độ một trang mỗi tuần đã giao những cuốn sổ cho Claude và nhận lại hàng năm trời đọc hiểu chỉ trong hai ngày.
#AI
