Giai thoại về việc học toán qua LLMs: Tôi đang cố gắng tìm hiểu về biến đổi Fourier, và thật sự thì chứng minh này không có ý nghĩa gì với tôi. Nó "hoạt động" nhưng cảm giác hoàn toàn không trực quan với tôi. Nhưng, trong khi tắm, tôi đã nảy ra một ý tưởng cho một chiến lược chứng minh mới, trực quan hơn...

Thay vì thực sự làm điều đó, tôi chỉ đơn giản nói với Gemini 3 Fast về phác thảo mơ hồ của chiến lược chứng minh mà tôi mong muốn. Và nó hoạt động!!! Trước khi có AI, tôi nghĩ tôi đã từ bỏ; vật lộn với một chiến lược chứng minh mới với những thứ mà tôi hiểu kém là rất khó!

Điều tốt nhất mà tôi có thể làm trong quá khứ là tìm kiếm một loạt các sách giáo khoa khác để xem liệu tôi có thể tìm thấy một chiến lược chứng minh khác không. Nhưng bây giờ, tôi có thể chuyển đổi một trực giác mơ hồ thành một chiến lược chứng minh thay thế được chính thức hóa trong chưa đầy một phút!

Tôi "hiểu" kết quả rõ ràng hơn bây giờ: đối với tôi, chứng minh này rõ ràng là chứng minh mà Chúa muốn cho tính chất tích chập, và củng cố trực giác của tôi về khái niệm này mạnh mẽ hơn nhiều so với chứng minh trong sách giáo khoa.