Có lẽ tôi nên đặt tiêu đề này hấp dẫn hơn, như: Chúng tôi đã giải quyết được ảo giác AI!* * trong bối cảnh hẹp của ML khoa học** ** sử dụng một loạt các xác minh chính thức, chứng minh định lý tự động và lý thuyết danh mục áp dụng