Bạn kiểm được lời giải toán của AI ngay cả khi không có đáp án, bằng những phép thử độc lập với cách giải: thay kết quả ngược vào đề, đạo hàm lại nguyên hàm, thử với số cụ thể, xét trường hợp đặc biệt, so dấu và độ lớn. Ý tưởng chung là không đọc lại lời giải theo đúng đường AI đã đi, vì đi lại đúng con đường đó thì dễ sa vào đúng cái hố đó.
Bài này đi qua tám phép thử, mỗi phép kèm một ví dụ tính tay đúng ở mức giải tích và đại số tuyến tính năm nhất. Phần cuối gợi ý cách chọn phép thử hợp với từng loại bài, vì không phải bài nào cũng thay ngược được. Đây là kỹ năng dùng được cả khi bạn kiểm bài của chính mình hay của bạn cùng nhóm, không riêng gì lời giải từ chatbot.
Kiểm độc lập khác đọc lại ở chỗ nào
Khi đọc lại một lời giải, mắt người có xu hướng đồng ý với từng dòng, vì dòng sau được viết để nối tiếp dòng trước. Nếu bước ba sai, bước bốn sẽ "đúng" so với bước ba, và cảm giác mọi thứ trơn tru đánh lừa người đọc. Với lời giải của chatbot, hiệu ứng này mạnh hơn vì văn phong rất mạch lạc.
Kiểm độc lập nghĩa là dùng một con đường khác để chạm vào kết quả. Nếu lời giải tìm nghiệm bằng biến đổi, bạn kiểm bằng cách thay nghiệm vào. Nếu lời giải tính nguyên hàm bằng từng phần, bạn kiểm bằng đạo hàm. Nếu lời giải ra một công thức tổng quát, bạn kiểm bằng vài giá trị cụ thể. Hai con đường khác nhau mà cùng chạm một điểm thì xác suất cả hai cùng sai giảm mạnh.
Một lợi ích ít được nói tới: các phép kiểm độc lập thường nhanh hơn nhiều so với giải lại từ đầu. Đạo hàm một biểu thức dễ hơn tìm nguyên hàm; nhân hai ma trận dễ hơn tìm ma trận nghịch đảo. Đó là lý do người làm toán chuyên nghiệp vẫn kiểm theo kiểu này, dù chẳng có AI nào trong vòng.
Bốn phép thử cho bài có đáp số cụ thể
Thay ngược vào đề. Hệ x cộng y bằng 5 và 2x trừ y bằng 1. Lời giải cho x bằng 2, y bằng 3. Thay vào: 2 cộng 3 bằng 5, đúng; 4 trừ 3 bằng 1, đúng. Một phút, xong. Với phương trình có điều kiện, nhớ thay cả vào điều kiện, vì nghiệm thoả phương trình đã biến đổi chưa chắc thoả đề gốc.
Đạo hàm lại nguyên hàm. Lời giải ghi nguyên hàm của x nhân e mũ x là (x trừ 1) nhân e mũ x, cộng hằng số C. Đạo hàm vế phải theo quy tắc tích: e mũ x cộng (x trừ 1) nhân e mũ x, bằng x nhân e mũ x. Trùng với hàm dưới dấu tích phân, vậy kết quả đúng.
Nhân lại để kiểm nghịch đảo và phân tích. Ma trận nghịch đảo thì nhân với ma trận gốc phải ra ma trận đơn vị. Phân tích nhân tử thì nhân bung ra phải ra biểu thức ban đầu. Trị riêng thì kiểm bằng tổng và tích: với ma trận hai hàng hai cột có hàng đầu là 2 và 1, hàng sau là 1 và 2, trị riêng là 1 và 3; tổng bằng 4 đúng bằng vết, tích bằng 3 đúng bằng định thức 4 trừ 1.
Ước lượng độ lớn. Trước khi đọc đáp số, tự đoán khoảng: tích phân từ 0 đến 1 của x bình phương phải nằm giữa 0 và 1, và nhỏ hơn một nửa vì đồ thị nằm dưới đường thẳng y bằng x. Đáp số đúng là một phần ba. Lời giải nào ra 2 hay số âm là sai ngay từ cảm giác độ lớn.
Bốn phép thử cho bài ra công thức tổng quát
Thử giá trị nhỏ. Công thức tổng 1 cộng 2 cộng đến n bằng n nhân (n cộng 1) chia 2: n bằng 1 ra 1, n bằng 2 ra 3, n bằng 3 ra 6, đều khớp khi cộng tay. Tổng bình phương 1 đến n bằng n nhân (n cộng 1) nhân (2n cộng 1) chia 6: n bằng 3 ra 3 nhân 4 nhân 7 chia 6 bằng 14, khớp với 1 cộng 4 cộng 9.
Thử trường hợp đặc biệt, trường hợp biên. Công thức có tham số a thì thử a bằng 0, a bằng 1, a rất lớn. Nếu một công thức diện tích cho ra số âm khi tham số bằng 0, hoặc một xác suất vượt 1 khi tham số lớn, thì công thức có vấn đề.
Xét tính đối xứng. Nếu đề đối xứng giữa x và y mà kết quả không đối xứng, có lẽ đã nhầm ở đâu đó. Ví dụ tìm giá trị lớn nhất của x cộng y trên đường tròn x bình phương cộng y bình phương bằng 2: đề đối xứng, đáp đúng đạt tại điểm x bằng y bằng 1, giá trị lớn nhất là 2. Lời giải nào ra một điểm có hoành độ khác tung độ thì nên nghi ngờ.
Kiểm chiều và đơn vị. Trong bài ứng dụng, mọi số hạng cộng với nhau phải cùng đơn vị. Một công thức vận tốc mà có số hạng mang đơn vị mét vuông là sai. Bài thuần tuý cũng có thể kiểm kiểu này: nếu nhân mọi độ dài lên gấp đôi, diện tích phải gấp bốn, thể tích phải gấp tám.
Chọn phép thử theo loại bài
Không phải bài nào cũng kiểm được bằng cùng một cách. Bảng dưới gợi ý phép thử nhanh nhất cho các dạng bài hay gặp ở năm nhất và năm hai.
| Loại bài | Phép thử nhanh nhất | Lưu ý |
|---|---|---|
| Giải phương trình, hệ phương trình | Thay ngược nghiệm vào đề gốc | Thay cả vào điều kiện xác định |
| Tìm nguyên hàm | Đạo hàm kết quả | Hai đáp án khác dạng có thể chỉ chênh nhau một hằng số |
| Tính tích phân xác định | Ước lượng độ lớn, dấu; tính xấp xỉ bằng hình thang thô | Kiểm hàm có gián đoạn trong đoạn lấy tích phân không |
| Tính giới hạn | Thay vài giá trị rất gần điểm cần tính | Thay số chỉ gợi ý, không chứng minh |
| Ma trận nghịch đảo, phân tích | Nhân lại | Kiểm thứ tự nhân vì ma trận không giao hoán |
| Công thức tổng quát theo n | Thử n bằng 1, 2, 3 | Khớp vài giá trị chưa phải chứng minh, nhưng lệch một giá trị là đủ để bác |
| Xác suất | Kiểm nằm giữa 0 và 1, tổng các khả năng bằng 1 | Có thể mô phỏng bằng bảng tính để so |
Điều đáng nhớ nằm ở cột lưu ý: phép thử bằng số có thể bác bỏ một kết quả chắc chắn, nhưng chỉ ủng hộ chứ không chứng minh được kết quả đó đúng. Một công thức đúng với n bằng 1, 2, 3 vẫn có thể sai ở n bằng 4.
Kiểm phần lập luận, không chỉ kiểm đáp số
Với bài chứng minh hay bài cần trình bày, đáp số đúng chưa đủ. Một cách kiểm lập luận là viết lại lời giải dưới dạng chuỗi mũi tên: từ giả thiết A suy ra B, từ B suy ra C. Ở mỗi mũi tên, hỏi xem nó là "suy ra" hay "tương đương". Nhiều lỗi nằm ở chỗ lời giải dùng một chiều suy ra rồi kết luận như thể hai chiều.
Ví dụ: từ x bằng 2 suy ra x bình phương bằng 4 là đúng, nhưng chiều ngược lại thì không, vì x cũng có thể bằng trừ 2. Một lời giải giải phương trình bằng cách bình phương hai vế rồi kết luận nghiệm mà không thay lại là đang dùng mũi tên một chiều như hai chiều.
Cách thứ hai là tìm chỗ lời giải dùng giả thiết. Mỗi giả thiết của đề thường phải được dùng ít nhất một lần; nếu có giả thiết không xuất hiện ở đâu, hoặc lời giải không cần nó, thì hoặc đề cho thừa, hoặc lời giải đang chứng minh một điều mạnh hơn mức có thể, và khả năng sai cao. Đây cũng là thói quen tốt khi bạn tự viết chứng minh.
Một quy trình kiểm ngắn khi học với chatbot
Gộp các phép thử ở trên, bạn có thể dùng trình tự sau mỗi lần nhận lời giải từ AI cho bài tập luyện thêm. Bài tập tính điểm thì làm theo quy định của lớp.
- Trước khi đọc lời giải, tự ước lượng đáp số: dấu, khoảng độ lớn, có đối xứng gì không.
- Đọc đề AI chép lại, đối chiếu với đề gốc từng ký hiệu.
- Chọn một phép thử độc lập theo bảng ở trên và làm ngay, trước khi đọc chi tiết các bước.
- Nếu phép thử khớp, đọc lại các bước để học cách làm; nếu không khớp, tìm bước đầu tiên mà kết quả trung gian bắt đầu lệch với phép thử.
- Hỏi lại chatbot đúng bước đó bằng câu lệnh hẹp, ví dụ: "Bước 3 dùng quy tắc nào? Hãy kiểm lại riêng phép đạo hàm ở bước này, chưa cần giải tiếp."
- Ghi vào vở kiểu lỗi bắt được và phép thử đã bắt ra nó.
Khi chép đề vào chatbot, chỉ chép phần toán. Đừng dán cả tệp bài tập có họ tên, lớp, mã số sinh viên, hay đề thi nội bộ mà giảng viên chưa công bố.
Khi không phép thử nào dùng được
Có những bài mà phép thử nhanh không áp được: chứng minh một bất đẳng thức tổng quát, chứng minh một tập là không gian con, hay xác định tính hội tụ của một chuỗi khó. Lúc đó cách kiểm chủ yếu vẫn là đọc lập luận với giáo trình mở bên cạnh, đối chiếu từng định nghĩa và định lý được dùng.
Bạn vẫn có thể gỡ một phần bằng số: tính vài số hạng đầu của chuỗi để xem tổng riêng có vẻ dừng lại hay tăng mãi, thử bất đẳng thức với vài bộ số ngẫu nhiên để tìm phản ví dụ, hay vẽ đồ thị để thấy hình dạng. Những việc này không chứng minh được gì nhưng giúp bạn biết nên tin hướng nào trước khi đọc kỹ.
Nếu sau tất cả mà vẫn không chắc, đó là lúc mang câu hỏi tới giảng viên hoặc trợ giảng, kèm theo những gì bạn đã kiểm. Một câu hỏi kiểu "em đã thử n bằng 1 đến 5 thấy đúng nhưng không hiểu bước quy nạp ở dòng 4" sẽ nhận được câu trả lời tốt hơn nhiều so với câu "bài này giải sao ạ".
Câu hỏi thường gặp
Thay số kiểm được thì có cần đọc lời giải nữa không?
Nếu mục tiêu chỉ là đáp số thì phép thử đủ để bạn yên tâm phần lớn. Nhưng mục tiêu học là nắm cách làm, nên vẫn nên đọc lời giải sau khi đã kiểm, để biết nó đi đường nào và tự làm lại được không cần nhìn.
Hai nguyên hàm khác nhau thì cái nào đúng?
Có thể cả hai cùng đúng. Nguyên hàm chỉ xác định sai khác một hằng số, nên hai biểu thức trông khác hẳn vẫn có thể chênh nhau đúng một hằng số. Đạo hàm cả hai, nếu cùng ra hàm dưới dấu tích phân thì cả hai đều chấp nhận được.
Thử với n bằng 1, 2, 3 đều đúng thì công thức đã đúng chưa?
Chưa. Thử vài giá trị chỉ là bằng chứng ủng hộ, không phải chứng minh. Muốn khẳng định cho mọi n cần chứng minh, thường bằng quy nạp. Ngược lại, chỉ cần một giá trị không khớp là đủ để kết luận công thức sai.
Có nên nhờ một chatbot khác kiểm lời giải của chatbot này?
Có thể dùng như một lớp tham khảo, nhưng hai công cụ có thể cùng sai theo một kiểu vì học từ nguồn văn bản giống nhau. Phép kiểm độc lập bằng số, bằng đạo hàm ngược hay nhân lại ma trận vẫn đáng tin hơn sự đồng thuận giữa hai mô hình.
Ước lượng độ lớn thế nào khi không quen?
Bắt đầu bằng câu hỏi đơn giản: đáp số dương hay âm, lớn hơn hay nhỏ hơn 1, nằm giữa giá trị nhỏ nhất và lớn nhất nào của hàm. Với tích phân, nhân độ dài đoạn với giá trị lớn nhất và nhỏ nhất của hàm để có cận trên và cận dưới thô.
Kiểm lời giải AI mất thời gian quá thì có đáng không?
Đáng, vì chính việc kiểm là phần học. Một phép thử chọn đúng thường chỉ mất một hai phút, ít hơn nhiều so với hậu quả khi bạn học thuộc một cách giải sai rồi mang vào bài thi. Dần dần bạn sẽ kiểm nhanh như phản xạ.