Minh họa vượt ra ngoài chứng minh: Khi toán học không chỉ là định lý

Trong nhiều thập kỷ, giới toán học lấy việc chứng minh định lý làm thước đo thành công cao nhất. Nhưng khi AI có thể sinh ra định lý với tốc độ chưa từng thấy, câu hỏi đặt ra là: liệu toán học có còn là độc quyền của những chứng minh hình thức? Một nhóm nhà toán học, nghệ sĩ và nhà giáo dục đã cùng nhau tìm câu trả lời, và họ cho rằng minh họa — vẽ, hình ảnh, trực giác — chính là phần không thể thiếu của toán học con người.

Khi định lý không còn khan hiếm

Bryna Kra [4] mô tả vấn đề cốt lõi: trong nhiều năm, việc sản xuất định lý trở thành thước đo quan trọng nhất của thành công. Vị trí học thuật và giải thưởng đều dựa trên đó. Nhưng đó luôn chỉ là đại diện cho một thứ khó đo lường hơn: sự thấu hiểu.

"Các định lý sâu sắc từng khan hiếm và khó khăn, nên chúng xác định đáng tin cậy những tư tưởng sâu sắc. AI đã phá vỡ hệ thống này." — Bryna Kra

Khi AI có thể churn ra định lý, sự khan hiếm đó biến mất. Silvia De Toffoli và Eamon Duede [5] còn đi xa hơn: họ bác bỏ ý tưởng toán học là một trò chơi mà máy móc có thể giành chiến thắng. Mục tiêu của toán học không chỉ là lời giải có thể kiểm chứng. Toán học là "một thân tri thức được cộng đồng học thuật tham gia, diễn giải và tiêu hóa", không phải một danh sách kết quả.

Matilde Marcolli [6] thậm chí cho rằng những định lý lớn chưa bao giờ là điểm mấu chốt, chỉ là một hệ giá trị mà cộng đồng chọn lựa — và các lựa chọn có thể được thực hiện lại.

Vẽ là biết

Bài báo của Stange và Harriss bắt đầu từ một truyền thống bị lãng quên: việc vẽ tay trong đào tạo toán học tại École Polytechnique của Gaspard Monge vào thế kỷ 19. Tại hội thảo tháng 1 tại Institut Henri Poincaré, nhà sử học Frédéric Brechenmacher nói rõ: "Vẽ là biết."

Truyền thống đó bị gạt sang một bên trong thế kỷ 20, nhưng vẫn tồn tại và trỗi dậy trong cuộc tranh luận những năm 1990 về mối quan hệ giữa chứng minh và ý nghĩa. Khi Arthur Jaffe và Frank Quinn công bố bài báo gây ảnh hưởng [9], nhiều nhà toán học phản hồi — nổi tiếng nhất là Bill Thurston với "On Proof and Progress in Mathematics" [10].

Cộng đồng Illustrating Mathematics phát triển từ truyền thống vẽ và tạo ra các đối tượng toán học này. Họ tập trung vào vai trò của minh họa như một phương pháp nghiên cứu: không chỉ giải thích mà còn khám phá toán học.

Minh họa cấu trúc phức tạp trong nghiệm của đa thức bậc ba

Bài học từ "starscape" đại số

Công trình về algebraic starscapes [14] của nhóm là một ví dụ khiêm tốn. Những bức ảnh cho thấy cấu trúc tinh xảo trong nghiệm phức của đa thức bậc ba. Khi nhóm chuyển sang dùng shader để vẽ (ảnh bên phải), một bản nháp code ngây thơ đã biến hình tròn thành hình ellipse.

Nhưng họ nhận ra rằng sự biến dạng ngoài ý muốn lại tiết lộ một chiều kích cấu trúc có ý nghĩa. Những bức ảnh này cho thấy toán học chưa được khám phá, chứ không phải giải thích những gì đã biết.

Shader biến hình tròn thành ellipse, tiết lộ cấu trúc ẩn

Minh họa có thể "chặt chẽ" không?

Câu hỏi trung tâm của hội thảo: làm sao một minh họa có thể chặt chẽ? Nhóm dựa trên quan điểm của Valeria Giardino về các biểu diễn như công cụ tư duy [18], xem xét "affordances" — những cách đọc, thao tác và suy luận mà hình vẽ mời gọi.

• Một định nghĩa mạnh hơn: affordances là các thuộc tính của minh họa mà một chứng minh xác nhận là chính xác.
• Ngược lại, chứng minh có thể cho thấy một thuộc tính bề ngoài không phải là affordance. Ví dụ, hình ảnh ban đầu của tập Mandelbrot dường như cho thấy nó không liên thông [19], nhưng trong ảnh pixel hóa, một đặc điểm mảnh hơn bước pixel có thể bị bỏ sót [20].

Về khả năng gây chú ý và tiết lộ, nhóm học hỏi từ nghệ thuật: phương pháp "crit" — thảo luận tác phẩm với phần giới thiệu tối thiểu để tiết lộ cách nó được tiếp nhận. Jean Schmitt, giáo sư nghệ thuật, đã giúp thiết lập khung crit này.

Vibecoding và hai bước cách tri thức

Các mô hình ngôn ngữ lớn (LLM) mang đến cả cơ hội lẫn rủi ro. Về minh họa, khả năng sinh code của chúng khiến việc tạo hình trở nên dễ tiếp cận hơn bao giờ hết. Nhưng bằng cách vibecoding, chúng ta đang ở cách tri thức hai bước: ngay cả thuật toán tạo ra cũng có thể không được hiểu.

Về chứng minh, vấn đề "tiêu hóa" nay lên sân khấu trung tâm. Tháng 9/2026, sau gợi ý của Ioannis Tsiokos, GPT-6 Astra tìm ra Chair44 — viên gạch một mặt ba chiều không tuần hoàn đầu tiên. Tsiokos chia sẻ bài báo 61 trang [16] và nói rằng ông hiểu lập luận hình học trực quan nhưng không hiểu toán học. Chaim Goodman-Strauss sau đó chưng cất lập luận thành tám trang [17] với sơ đồ mũi tên khớp nhau, đưa ra chứng minh phân cấp cổ điển về tính không tuần hoàn.

Hình minh họa về chính hình dạng đó — trong bài của Tsiokos — là manh mối then chốt để tiết lộ ý tưởng cốt lõi.

Xây dựng hạ tầng cho những giá trị rộng hơn

Các ý tưởng từ nghệ thuật làm hiển hiện điều vốn luôn ngầm định trong cộng đồng toán học: làm nhà toán học cũng là trở thành khán giả hào hứng cho công trình của người khác. Chúng ta coi trọng thẩm mỹ, sự thanh lịch và thấu hiểu, và phát triển những giá trị chia sẻ này qua tương tác.

Hạ tầng hỗ trợ những giá trị rộng hơn này cũng đang phát triển:

• Geometry Labs United [23] kết nối các nhóm tại nhiều trường đại học, nơi sinh viên làm việc cùng nghiên cứu sinh và giảng viên, khám phá toán học như nghiên cứu, thực nghiệm và trực quan hóa.
• Trong nhiều trường hợp, chứng minh có thể mang tính bối cảnh hơn, chứng minh các affordances của một thực nghiệm hoặc minh họa cụ thể.
• Học bằng cách làm cũng phù hợp với giáo dục toán học. Hortensia Soto cho thấy vật liệu vật lý hỗ trợ hành động, nhận thức và cảm giác của người học trên con đường thấu hiểu [24].

Trả lời lời kêu gọi của Grant Sanderson [7] về việc công nhận những thứ ngoài chứng minh, có thể chỉ cần thừa nhận và phát triển công việc đã được làm. Công việc này đang diễn ra trong cộng đồng Illustrating Mathematics, trong Triết học Thực hành Toán học, trong Geometry Labs, và nhiều nơi khác.

Điều còn thiếu, như Sanderson lập luận, là sự hỗ trợ. Với sự hỗ trợ đó, chúng ta có thể đạt được điều Bryna Kra mô tả: một nền toán học tiếp tục

"mở rộng năng lực lý luận của chúng ta và mở mang trí óc trước những cách hiểu mới."