Các nhà nghiên cứu tại Phần Lan sử dụng trí tuệ nhân tạo để giải mã hơn 1.000 trang ghi chép của nhà toán học Kurt Gödel, phát hiện hàng trăm kết quả chưa từng được công bố.
Các nhà nghiên cứu tại Phần Lan sử dụng trí tuệ nhân tạo để giải mã hơn 1.000 trang ghi chép của nhà toán học Kurt Gödel, phát hiện hàng trăm kết quả chưa từng được công bố.