Lợi nhuận:
- Khả năng phân biệt nơi trí tuệ nhân tạo tiết kiệm thời gian trong các nhiệm vụ toán học (chiến lược, dự thảo, chỉnh sửa) và nơi cần xác minh (tính toán chính xác, tính hợp lệ của bằng chứng) theo mức độ rủi ro
- Có thể nhận ra ảo giác phát sinh như thế nào trong toán học (định lý bịa đặt, bước sai, công thức không tồn tại) và hiểu tại sao mô hình ngôn ngữ không phải là máy tính
- Khả năng triển khai quy trình làm việc kiểm tra từng đầu ra bằng giải pháp từng bước, xác minh công cụ xác định và kỷ luật kiểm tra ngược.
Toán học là một lĩnh vực mà một dấu sai sẽ bác bỏ toàn bộ kết quả. Việc quên dấu trừ trong tích phân, bỏ qua bước "rõ ràng" trong phép chứng minh hoặc sử dụng số mũ không chính xác trong công thức—tất cả đều làm mất hiệu lực hoàn toàn của kết quả. Đó là lý do tại sao việc sử dụng trí tuệ nhân tạo (AI) trong toán học đòi hỏi kỷ luật cẩn thận hơn nhiều lĩnh vực khác. Trong phần này, chúng ta sẽ kiểm tra xem các công cụ mà chúng ta gọi là mô hình ngôn ngữ lớn (LLM - Mô hình ngôn ngữ lớn; một loại trí tuệ nhân tạo tạo ra văn bản bằng cách dự đoán thống kê) thực sự tiết kiệm thời gian trong các nhiệm vụ toán học ở đâu và chúng có thể nguy hiểm ở đâu; và bạn sẽ học cách xác minh từng đầu ra theo từng bước.
Đầu tiên, một khái niệm rõ ràng: Ảo giác là khi AI tạo ra thông tin không thực sự đúng, với sự tự tin hoàn toàn, như thể nó là sự thật. Trong toán học, điều này xuất hiện dưới dạng tên của một định lý bịa đặt, một bước đại số sai hoặc một công thức không tồn tại. Điểm quan trọng là: LLM không phải là một máy tính. Nó là một trình tạo văn bản dự đoán "từ có khả năng xảy ra tiếp theo nhất". Nó hầu như luôn tạo ra phép toán đúng vì nó đã thấy rất nhiều phép toán đúng trong dữ liệu huấn luyện; nhưng sự khác biệt giữa "luôn luôn đúng" và "luôn luôn đúng" là tất cả mọi thứ trong toán học.
Trí tuệ nhân tạo hoạt động ở đâu trong toán học và ở đâu không?
Hãy coi AI như một đối tác ý tưởng và kế hoạch chi tiết thông minh: nhanh chóng nhưng phải được xác minh. Sự khác biệt sau đây là xương sống của mô-đun này.
Nhiệm vụ
Đóng góp của AI
trách nhiệm con người
Tìm cách giải quyết một vấn đề
Đề xuất các chiến lược giải pháp khác nhau
Lựa chọn và thực hiện chiến lược phù hợp
phép tính đại số/ký hiệu
Tạo bản phác thảo, giải phương trình nhanh chóng
Xác thực từng bước bằng SymPy hoặc thủ công
dự thảo bằng chứng
Cung cấp khuôn khổ và ý tưởng
Kiểm tra từng chuyển đổi logic
phép tính số
Viết mã Python
Chạy mã và xác nhận kết quả
hình dung
Tạo mã đồ họa
Nhìn đồ thị phản ánh toán học
Tạo bài học/câu hỏi
Tạo bản phác thảo, mẫu, bộ phân tâm
Khẳng định tính chính xác và phù hợp về mặt sư phạm
Theo nguyên tắc chung: sử dụng AI để tìm và chỉnh sửa đường dẫn đến tài khoản chứ không phải chính tài khoản đó; Luôn xác minh kết quả bằng công cụ xác định (SymPy, máy tính, kiểm tra thủ công). "Xác định" ở đây có nghĩa là "luôn cung cấp đầu ra giống nhau và chính xác cho cùng một đầu vào"; Các thư viện điện toán tượng trưng như SymPy thì như thế này, LLM thì không.
Từng bước: quy trình làm việc AI an toàn trong toán học
1. Xác định vấn đề một cách rõ ràng. Một câu hỏi mơ hồ mang lại một câu trả lời mơ hồ. Thay vì “Đánh giá tích phân này”, hãy nói “Giải tích phân không xác định ∫ x·e^x dx từng bước bằng tích phân từng phần và hiển thị từng bước.”
2. Yêu cầu giải pháp từng bước. Hãy hỏi AI về các bước trung gian chứ không chỉ là kết quả. Các bước là cách duy nhất để bắt lỗi.
3. Xác minh bằng công cụ độc lập. Xác thực kết quả ký hiệu cho SymPy và kết quả bằng số cho phép tính. Đây là nguyên tắc trung tâm của mô-đun này.
4. Kiểm tra ngược lại. Lấy lại kết quả của đạo hàm bằng cách lấy tích phân; thay thế gốc của phương trình; kiểm tra xem xác suất có nằm trong khoảng từ 0 đến 1 hay không. Toán học có đầy đủ các công cụ để tự kiểm soát.
5. Luôn hoài nghi. Khi AI nói "định lý này nói", hãy xác nhận tên và phát biểu của định lý từ một nguồn đáng tin cậy. Tên định lý tự tạo là phổ biến.
Gợi ý: Hỏi từng đầu ra AI "làm cách nào tôi có thể kiểm tra điều này một cách độc lập?" Tiếp cận bằng câu hỏi. Trong toán học, hầu hết mọi kết quả đều có cách xác minh: nghịch đảo đạo hàm-tích phân, thay thế triệt để, phân tích thứ nguyên, trường hợp giới hạn. Nếu bạn không thể tìm ra cách xác minh, đừng tin vào kết quả.
ba trường hợp nhỏ
Trường hợp 1 - Định lý tự tạo. Một giáo viên hỏi AI "tôi dùng định lý nào để chứng minh sự bất đẳng thức này?" anh ấy hỏi. AI đã đề xuất một định lý không tồn tại được gọi là “bất đẳng thức Hölmgren-Bernoulli” và đưa ra một tuyên bố đầy thuyết phục. Khi giáo viên tìm kiếm tên trong một nguồn tài liệu toán học, không có kết quả nào xuất hiện. Lời giải thực sự là bất đẳng thức Cauchy-Schwarz cổ điển. Thời gian mất: 20 phút; Nhưng nếu không có thói quen kiểm tra thực tế thì thông tin sai lệch sẽ được truyền tải trong bài giảng.
Trường hợp 2 - Lỗi tín hiệu. Một sinh viên kỹ thuật đã hỏi AI về kết quả ∫ (2x − 3) dx. YZ cho x2 − 3x + C (đúng), nhưng ở bước tiếp theo, khi tính tích phân xác định [0,2], anh ta thay −3·2 bằng +6 và nhận được −2 thay vì 10. Học sinh kiểm tra kết quả bằng cách lấy đạo hàm; Anh ấy đã mắc lỗi trong 2 phút.
Trường hợp 3 - Đã đạt được xác nhận. Một giáo viên trung học đã yêu cầu AI tạo ra các câu hỏi phương trình bậc hai cho bài kiểm tra 15 câu hỏi. Mặc dù khả năng phân biệt đối xử là tiêu cực ở 2 trong số 15 câu hỏi nhưng AI đã đưa ra “gốc rễ thực sự”. Giáo viên giải và so sánh tất cả các câu hỏi bằng SymPy; Anh đã phát hiện và sửa 2 lỗi trong 5 phút. Nếu không xác minh, học sinh sẽ bị đánh giá bằng đáp án sai.
Bốn mẫu có thể sao chép
1) Giải pháp từng bước và có thể kiểm chứng:
Vai trò của bạn: trợ lý toán học. Giải quyết vấn đề sau TỪNG BƯỚC: [vấn đề]. Viết ra quy tắc/định lý bạn đã sử dụng ở mỗi bước. Cuối cùng, hãy cho tôi biết bằng một câu về cách tôi có thể xác minh kết quả một cách độc lập (ví dụ: nghịch đảo đạo hàm/tích phân, thay thế gốc). Nếu có một bước bạn không chắc chắn, hãy đánh dấu bước đó là "bước này phải được xác minh".
2) Khẳng định định lý/khái niệm:
Hãy cho tôi biết về [định lý/khái niệm]. Viết phát biểu chuẩn ĐẦY ĐỦ của định lý, tên chung của nó nếu có và các điều kiện của nó. Nếu không có định lý chuẩn nào cho tên đó, hãy nói rõ ràng "tên này không chuẩn" và đừng bịa đặt. Nêu rõ những lĩnh vực bạn không chắc chắn.
3) Kiểm tra giải pháp của riêng tôi:
Dưới đây là giải pháp của tôi. Kiểm tra từng bước, nếu có LỖI thì chỉ ra bước nào và tại sao; Nếu đúng thì nói "bước này đúng". Đừng viết một giải pháp mới; chỉ cần kiểm tra các bước của tôi. Giải pháp của tôi: [tại đây]
4) Đề xuất chiến lược (không phải tài khoản):
Đề xuất 3 PHƯƠNG PHÁP/chiến lược khác nhau để giải quyết vấn đề sau (không tính toán). Viết ưu và nhược điểm của từng phương pháp trong một câu. Nêu rõ cái nào phù hợp nhất cho vấn đề này và tại sao.
Dấu nhắc yếu / Dấu nhắc mạnh
Yếu: "Giải tích phân này: ∫ x·sin(x) dx"
Kết quả: Câu trả lời một dòng; Không có bước trung gian, không xác minh, không thể bắt được lỗi.
Mạnh: "Giải tích phân bất định ∫ x·sin(x) dx TỪNG BƯỚC bằng tích phân từng phần. Hiển thị sự lựa chọn của u và dv ở mỗi bước. Cuối cùng, vi phân kết quả và kiểm tra và cho biết liệu nó có trở về x·sin(x) hay không."
Kết quả: Các bước có thể kiểm tra, xác minh tích hợp (kiểm tra ngược phái sinh) và khả năng nhìn thấy lỗi.
Những lỗi thường gặp
- Tin tưởng một cách mù quáng vào kết quả. Giọng điệu tự tin của LLM không đảm bảo tính chính xác. Ngay cả câu có vẻ tự tin nhất cũng có thể sai.
- Không muốn một bước trung gian. Khi bạn chỉ muốn kết quả thì không thể mắc sai lầm được.
- Không xác minh bằng các phương tiện xác định. Đừng coi bất kỳ kết quả nào là đương nhiên nếu không có SymPy, máy tính hoặc kiểm tra ngược thủ công.
- Không xác nhận tên định lý/công thức. Những cái tên định lý bịa đặt là loại ảo giác nguy hiểm nhất.
- Không đưa ra bối cảnh. Không đề cập đến trình độ của học sinh và các phương pháp được phép (ví dụ: “sử dụng đạo hàm”) dẫn đến giải pháp không thể sử dụng được.
Thận trọng: Đảm bảo xác minh đầu ra AI trước khi chuyển nó cho học sinh hoặc đồng nghiệp. Trong toán học, thông tin sai sẽ tạo ra một chuỗi lỗi khác cho đến khi được sửa chữa. Đầu ra chưa được xác minh không bao giờ có thể thay thế cho sự chấp thuận của người có thẩm quyền.
Tóm lại
Trí tuệ nhân tạo là công cụ phác thảo, chiến lược và tổ chức mạnh mẽ trong toán học; nhưng nó không phải là một máy tính hay một công cụ kiểm tra bằng chứng. Nguy cơ ảo giác là có thật, và một sai lầm nhỏ trong toán học đã bác bỏ toàn bộ kết luận. Vì vậy, nguyên tắc cơ bản rất rõ ràng: giải quyết từng bước, xác minh bằng phương pháp tất định, kiểm tra ngược lại, xác nhận các định lý, vẫn hoài nghi. Chúng tôi sẽ đào sâu tư duy xác thực này trong từng bài trong suốt mô-đun này.
Nhiệm vụ ứng dụng
Chọn một bài toán có độ khó vừa phải từ lĩnh vực của bạn (tích phân, hệ phương trình hoặc câu hỏi xác suất). Để AI giải từng bước với mẫu 1 ở trên. Sau đó xác minh kết quả theo cách độc lập (nghịch đảo đạo hàm-tích phân, thay thế căn bản hoặc SymPy). Trong ít nhất một bước, "Tôi tự hỏi liệu có thể có sai sót ở đây không?" Dừng lại và kiểm tra. Viết ra những phát hiện của bạn trong 5-6 câu: AI đã hoạt động ở đâu, cần xác nhận ở đâu?
danh sách kiểm tra
- [ ] Tôi đã xác định vấn đề một cách rõ ràng và đúng ngữ cảnh.
- [ ] Tôi đã yêu cầu AI đưa ra giải pháp từng bước chứ không chỉ là kết quả.
- [ ] Tôi đã xác minh kết quả bằng công cụ xác định hoặc thủ công.
- [ ] Tôi đã thực hiện ít nhất một lần kiểm tra ngược (phân biệt ngược, thay thế căn bản, v.v.).
- [ ] Tôi đã xác nhận định lý/công thức nói trên từ một nguồn đáng tin cậy.
- [ ] Tôi chưa chuyển bất kỳ kết quả nào chưa được xác minh.