Lợi nhuận:
- Khả năng sử dụng trí tuệ nhân tạo để tìm ra ý tưởng và phương pháp chứng minh (trực tiếp, mâu thuẫn, quy nạp, phản chứng) và tự kiểm tra tính đúng đắn của từng bước logic
- Khả năng xác định những khoảng trống về bằng chứng, những giả định tiềm ẩn và những bước nhảy vọt không chính đáng đằng sau những cách diễn đạt như 'rõ ràng', 'không ảnh hưởng đến tính tổng quát'
- Khả năng phân biệt giữa tính lưu loát và tính hợp lệ bằng cách tìm kiếm các phản ví dụ trước khi dựa vào bằng chứng mà không chắc chắn về tính xác thực của tuyên bố.
Chứng minh toán học là nguồn gốc chính xác của một khẳng định theo các bước logic từ các tiên đề được chấp nhận và các định lý đã được chứng minh trước đó. Chứng minh là sản phẩm chặt chẽ nhất của toán học: một chuyển đổi logic đơn lẻ không hợp lệ, một thiếu sót hoặc giả định ngầm mà chúng ta gọi là "khoảng trống", sẽ bác bỏ toàn bộ chứng minh. Trí tuệ nhân tạo rất giỏi trong việc tạo ra văn bản trông có vẻ thuyết phục để làm bằng chứng - và đó chính xác là lý do tại sao nó nguy hiểm. Một văn bản có vẻ thuyết phục không phải là một bằng chứng có giá trị. Trong phần này, bạn sẽ tìm hiểu cách sử dụng AI làm đối tác soạn thảo bằng chứng và cách kiểm tra từng bước hợp lý.
Hai định nghĩa đầu tiên. Bản phác thảo chứng minh là bản tóm tắt đưa ra ý chính và khung của chứng minh nhưng không điền đầy đủ mọi chi tiết. Khoảng trống bằng chứng là một bước nhảy vọt trong đó bằng chứng nói rằng "điều đó sẽ xảy ra" nhưng không thực sự chứng minh điều đó. Rủi ro lớn nhất khi làm việc với AI là những khoảng trống được che lấp bởi các câu thuyết phục: văn bản trôi chảy, có đầy đủ các liên từ như “vì vậy” và “rõ ràng”, nhưng với những bước nhảy vọt ở giữa thì điều đó chưa thực sự được chứng minh.
Điểm mạnh và điểm yếu của AI trong bằng chứng
AI thực hiện tốt hai điều trong việc chứng minh: (1) gợi lên ý tưởng tiêu chuẩn về chứng minh một định lý đã biết, (2) đề xuất phương pháp nào (quy nạp, mâu thuẫn, trực tiếp, phản chứng) có thể phù hợp cho một chứng minh. Điểm yếu của nó là: đảm bảo rằng mỗi bước của một bằng chứng nguyên gốc hoặc tinh vi đều thực sự có giá trị. AI có thể tạo ra “bằng chứng ngụy biện” có vẻ đúng nhưng thực tế lại sai - ví dụ: nó có thể bỏ qua trường hợp cơ bản trong bước quy nạp hoặc có thể nói “không phá vỡ tính tổng quát” nhưng đưa ra một giả định thực sự phá vỡ tính tổng quát.
Vì vậy, nguyên tắc vàng trong chứng minh: sử dụng AI để tìm và phác thảo ý tưởng của chứng minh; Hãy tự mình kiểm tra tính hợp lệ của từng bước hợp lý. Trước khi "chấp nhận" một bằng chứng, hãy đảm bảo rằng mỗi "do đó" đều thực sự hợp lệ.
Từng bước: kiểm tra bằng chứng
1. Làm rõ tuyên bố và giả định. Điều gì đang được chứng minh? Theo những giả định nào? Nếu những điều này mơ hồ thì bằng chứng cũng mơ hồ.
2. Biết phương pháp chứng minh. Trực tiếp, bằng mâu thuẫn, quy nạp, phản đối? Biết các yêu cầu về cấu trúc của phương pháp (ví dụ: trong quy nạp, trường hợp cơ sở + bước quy nạp là cần thiết).
3. Đặt câu hỏi với mọi câu “vì vậy”. Tại mỗi lần chuyển đổi hợp lý, "điều này có thực sự tuân theo các bước trước đó không?" hỏi. Những kẽ hở xảo quyệt nhất ẩn sau những cách diễn đạt “rõ ràng”, “dễ thấy”, “không làm mất tính tổng quát”.
4. Tìm kiếm những giả định tiềm ẩn. Bằng chứng có dựa trên một giả định ngầm không? Ví dụ, có thể âm thầm chấp nhận rằng một số là dương hoặc một hàm số là liên tục.
5. Hãy thử một phản ví dụ. Nếu khẳng định là sai thì một phản ví dụ sẽ loại bỏ nó. Trước khi chấp nhận bằng chứng, hãy kiểm tra xem khẳng định đó có thực sự đúng trong những trường hợp đặc biệt đơn giản hay không.
6. Tham vấn cơ quan quản lý đấu thầu. So sánh cách chứng minh tiêu chuẩn của các định lý đã biết với một nguồn đáng tin cậy (sách giáo khoa, nguồn được bình duyệt).
Gợi ý: Cụm từ “không mất tính tổng quát” trong chứng minh là con dao hai lưỡi. Đôi khi nó thực sự hợp lệ (nếu có sự đối xứng), đôi khi nó là một lỗi ẩn. AI sử dụng biểu thức này rất nhiều. Hãy tự biện minh mỗi khi cho rằng “tính tổng quát chưa thực sự bị phá vỡ”; Đừng tin lời AI.
Phương pháp chứng minh và cạm bẫy
phương pháp chứng minh
Cấu trúc
Bẫy AI phổ biến nhất
trực tiếp
Giả định → ... → Kết luận
bỏ qua một bước ở giữa
mâu thuẫn
Giả sử điều ngược lại → tìm mâu thuẫn
Sự mâu thuẫn không có thật
cảm ứng
Trường hợp cơ sở + bước
Quên đi tình huống cơ bản
trái ngược
-Kết luận → -Giả định
phủ định sai
Phản ví dụ (phản bác)
phản ví dụ đơn
Phản ví dụ không hợp lệ
ba trường hợp nhỏ
Trường hợp 1 - Trường hợp cơ sở không đầy đủ. Một giáo viên đã nhờ AI chứng minh công thức "1 + 2 + ... + n = n(n+1)/2" bằng quy nạp. AI đã viết đúng bước quy nạp nhưng chưa bao giờ kiểm tra trường hợp cơ sở (n=1). Giáo viên hỏi "trường hợp cơ sở ở đâu?" anh ấy hỏi; Đã thêm AI. Không có trạng thái cơ bản, cảm ứng không hợp lệ; Kiểm tra 30 giây đã lưu bằng chứng.
Trường hợp 2 - Chia bí mật cho số 0. Một sinh viên nhìn thấy một “chứng minh” lố bịch như “a = b với mọi a, b” và hỏi AI “sai ở đây là ở đâu?” anh ấy hỏi. YZ đã chỉ ra một cách chính xác rằng phép chứng minh chia cho (a − b) trong một bước, và theo giả định a = b, đây là phép chia cho 0. Tại đây AI đã thành công trong vai trò kiểm toán viên; nhưng học sinh vẫn tự tay xác minh bước này.
Trường hợp 3 - Thuyết phục bằng chứng sai sự thật. Một sinh viên kỹ thuật có AI chứng minh sự bất bình đẳng. Lời văn trôi chảy, thuyết phục nhưng khi lấy căn bậc hai trong một bước lại bỏ qua khả năng có cả căn dương và căn âm mà chỉ lấy căn dương. Người sinh viên tìm thấy khoảng trống này khi đặt câu hỏi ở từng bước. Bằng chứng trở nên hợp lệ khi một điều kiện bổ sung (số dương của các biến) được thêm vào.
Bốn mẫu có thể sao chép
1) Yêu cầu bản thảo chứng minh (ý tưởng):
PHƯƠNG PHÁP nào thích hợp để chứng minh khẳng định sau (trực tiếp, mâu thuẫn, quy nạp, phản chứng)? Chỉ đưa ra Ý TƯỞNG CHÍNH và phần cốt lõi của bằng chứng, không viết toàn bộ bằng chứng. Yêu cầu: [tại đây]
2) Từng bước chứng minh:
Chứng minh khẳng định sau bằng [phương pháp]: [yêu cầu]. Viết ra tiên đề/định lý/định nghĩa mà bạn dựa vào cho mỗi bước. KHÔNG sử dụng các biểu thức như "rõ ràng" hoặc "dễ dàng"; Hoàn toàn biện minh cho mỗi lần chuyển đổi. Nếu quy nạp, hãy trình bày riêng trường hợp cơ bản và bước quy nạp.
3) Săn tìm lỗ hổng bằng chứng:
Kiểm tra bằng chứng dưới đây. CHỈ tìm kiếm những khoảng trống hợp lý, những giả định tiềm ẩn và những bước nhảy vọt phi lý. Kiểm tra xem mỗi từ "do đó" có thực sự tuân theo các bước trước đó hay không. Viết ra từng chỗ trống mà bạn tìm thấy ở bước nào. Chứng minh: [tại đây]
4) Tìm phản ví dụ:
Tôi muốn kiểm tra xem xác nhận quyền sở hữu sau đây có ĐÚNG hay không: [claim] trước tiên hãy kiểm tra nó trong các trường hợp đặc biệt đơn giản; cố gắng tìm một COUNTEREXAMPLE. Nếu bạn tìm thấy một phản ví dụ, hãy đưa ra nó; Nếu không tìm được, hãy liệt kê các tình huống bạn đã thử (nhưng đây không phải là bằng chứng, chỉ đang tìm kiếm bằng chứng).
Dấu nhắc yếu / Dấu nhắc mạnh
Yếu: "Chứng minh rằng √2 là vô tỉ."
Kết quả: Chứng minh tiêu chuẩn đã xuất hiện, nhưng một bước (ví dụ: "thì p chẵn") có thể đã bị bỏ qua mà không có lý do chính đáng và bạn sẽ không nhận thấy.
Mạnh: "Chứng minh BẰNG PHƯƠNG PHÁP rằng √2 là số vô tỷ. Viết ra giả định bạn đã sử dụng ở mỗi bước; đồng thời chứng minh các khẳng định trung gian như 'Nếu p2 chẵn thì p chẵn'. Cuối cùng, chỉ ra chính xác mâu thuẫn phát sinh ở đâu."
Kết quả: Mọi nhận định trung gian đều có căn cứ, nguồn gốc mâu thuẫn rõ ràng, không còn kẽ hở.
Những lỗi thường gặp
- Sự trôi chảy khó hiểu với tính hợp lệ. Một văn bản thuyết phục không phải là một bằng chứng có giá trị; Mọi bước đều phải được giám sát.
- Bỏ qua trạng thái cơ bản trong cảm ứng. AI thường quên trường hợp cơ bản; Chỉ bước quy nạp thôi là chưa đủ.
- Chấp nhận “không mất tính tổng quát” mà không cần thắc mắc. Tuyên bố này có thể là một lỗi tiềm ẩn; Hãy biện minh cho nó mọi lúc.
- Không nhìn thấy những giả định ngầm. Các giả định như tính dương, tính liên tục, khác 0, v.v. có thể âm thầm lọt vào chứng minh.
- Tin tưởng vào bằng chứng mà không thử dùng phản ví dụ. Nếu khẳng định sai thì bằng chứng cũng sai; Trước tiên hãy kiểm tra tính xác thực của tuyên bố trong những trường hợp đơn giản.
Thận trọng: AI có thể tạo ra “bằng chứng” ngay cả đối với một tuyên bố thực sự sai - bởi vì nó tạo ra văn bản nên nó không đảm bảo tính hợp lệ về mặt logic. Nếu bạn không chắc chắn về tính chính xác của một tuyên bố, trước tiên hãy tìm một phản ví dụ. “Bằng chứng” của một tuyên bố sai nhất thiết phải có sơ hở; Công việc của bạn là tìm ra khoảng trống đó.
Tóm lại
Bằng chứng là sản phẩm toán học chặt chẽ nhất và AI có thể tạo ra những “bằng chứng” thuyết phục nhưng không hợp lệ. Sử dụng AI để tìm ra ý tưởng và phương pháp chứng minh; Hãy tự mình kiểm tra tính hợp lệ của từng bước hợp lý. Hãy tìm những trường hợp chính, những giả định tiềm ẩn và những sơ hở đằng sau những cụm từ như “rõ ràng” và “không thành kiến”. Nếu bạn không chắc chắn về tính xác thực của tuyên bố, hãy thử một phản ví dụ trước khi tin vào bằng chứng. Sự lưu loát không có giá trị.
Nhiệm vụ ứng dụng
Chọn một định lý tiêu chuẩn (ví dụ: "tổng của hai số chẵn là số chẵn" hoặc "√2 là số vô tỉ"). Nhờ AI chứng minh từng bước với mẫu thứ 2. Sau đó đưa ra bằng chứng tương tự như mẫu thứ 3 một lần nữa để tìm kiếm khoảng trống - hãy để anh ta kiểm tra bằng chứng của chính mình. Sau đó, truy vấn thủ công từng "do đó": có trường hợp cơ bản nào không, có giả định ngầm định nào không, mỗi lần chuyển đổi có hợp lý không? Tìm và lưu ý ít nhất một khoảng cách hoặc điểm cần cải thiện.
danh sách kiểm tra
- [ ] Tôi đã làm rõ tuyên bố và giả định.
- [ ] Tôi đã biết được phương pháp chứng minh và các yêu cầu về cấu trúc của nó.
- [ ] Tôi đã xác minh rằng mỗi từ "do đó" đều tuân theo các bước trước đó.
- [ ] Tôi đã thực hiện kiểm tra trường hợp cơ bản/giả định ngầm.
- [ ] Tôi đã kiểm tra khẳng định này trong các trường hợp đơn giản và tìm kiếm các phản ví dụ.
- [ ] Tôi đã so sánh cách chứng minh tiêu chuẩn của các định lý đã biết với nguồn đáng tin cậy.