Knuth đã công bố một bài báo nêu bật một cách sử dụng AI rất thú vị mà những người trung bình, không may, gọi là vibemathing. Nó hoàn toàn trái ngược với "vibe-" bất cứ điều gì: Điều đã xảy ra là Filip Stappers đã đưa ra vấn đề cho Claude với một vòng lặp tự phản ánh rất chặt chẽ, nguyên văn: ** Sau MỖI lần chạy exploreXX py, NGAY LẬP TỨC cập nhật tệp này [plan md] trước khi làm bất cứ điều gì khác. ** Không có ngoại lệ. Đừng bắt đầu cuộc khám phá tiếp theo cho đến khi cuộc khám phá trước đó được tài liệu hóa ở đây. Và sau đó họ đã kiểm tra tỉ mỉ từng trong 31 vòng lặp. Và sau vòng lặp cuối cùng, có vẻ thành công, Knuth đã viết một định lý chứng minh chính thức thực sự để xác minh hoàn toàn các kết quả. Đây là toán học thực sự với việc sử dụng các công cụ mạnh mẽ thật sự tuyệt vời! Tôi nghĩ rằng có thể nói một cách khá an toàn rằng nghiên cứu chứng minh chính thức sẽ chứng minh (haha đã hiểu) là rất quan trọng trong thời đại của những cỗ máy ảo giác.