Phương pháp luận của OpenAI trong tạo lập chứng minh hình thức: phân tích kỹ thuật về chi phí tính toán và triển khai tác nhân tự độngCông nghệ