Người Việt liên quan tới DeepSeek phát triển mô hình có khả năng tự kiểm chứng các suy luận trong toán học