● Research14.11.2026 · 00:301 nguồn
AI mở khóa sổ tay của Gödel chứa hàng trăm định lý đã chứng minh
Theo theguardian.com
Kurt G để lại 1.009 trang văn bản viết dày đặc, phần lớn bằng một ký hiệu viết tắt lỗi thời, hiện được cho là chứa hàng trăm định lý đã chứng minh bằng AI
Đọc bài gốcĐăng nhập để góp ý