Proofs and Prompts là một blog cộng đồng dành riêng cho các nhà toán học, nơi họ chia sẻ suy nghĩ về sự thay đổi sâu sắc mà trí tuệ nhân tạo (AI) đang mang đến cho ngành toán học.

Trang “About” của website (proofsandprompts.com/about-proofs-and-prompts) giải thích rõ mục đích ra đời của dự án này.

Toán học đang thay đổi nhanh chóng

Hiện nay, các công cụ AI hỗ trợ viết chứng minh, tìm kiếm tài liệu và đề xuất giả thuyết không còn là chuyện của tương lai. Chúng đã xuất hiện ngay trên bàn làm việc của các nhà toán học, bên cạnh bảng đen và giấy tờ. Điều còn bỏ ngỏ không phải là “liệu điều này có xảy ra hay không”, mà là ý nghĩa của nó đối với:

• Thế nào được coi là một chứng minh?
• Ai là tác giả thực sự của chứng minh đó?
• Cách hình thành trực giác và “gu” toán học sẽ thay đổi ra sao?
• Quá trình đào tạo và trải nghiệm hàng ngày của người làm toán sẽ như thế nào?

Một không gian thảo luận dành riêng cho nhà toán học

Các cuộc bàn luận về AI trong toán học thường diễn ra ở ba nơi: bài báo kỹ thuật đo lường khả năng của mô hình, các bài bình luận công chúng mang tính giật gân, và những blog cá nhân rải rác khắp nơi. Proofs and Prompts muốn tạo ra một không gian tập trung hơn – do nhà toán học viết cho nhà toán học – nơi mọi người có thể suy nghĩ công khai về sự thay đổi này mà không cần phải chứng minh tiền đề, không phải đơn giản hóa vấn đề, cũng không bị giới hạn trong các bảng so sánh hiệu suất hay thông cáo sản phẩm.

Đặc biệt, blog chào đón cả những tiếng nói ít có cơ hội lên tiếng: sinh viên tiến sĩ đang hình thành quan điểm, những người đã thử công cụ nhưng không ấn tượng, và cả những người chưa từng dùng AI và muốn giải thích lý do. Mọi cảm xúc – hứng thú, thờ ơ, lo lắng, nghi ngờ hay tò mò – đều được xem là một phần quan trọng của lịch sử cần được ghi lại.

Đóng góp đa dạng, không áp đặt quan điểm

Bài viết có thể ngắn chỉ hai đoạn kể về một lần AI giúp hoặc làm hỏng chứng minh, cũng có thể là bài luận dài về bản chất của sự hiểu biết toán học khi máy móc có thể tạo ra các bước đúng mà không “hiểu” chúng. Có thể là phê phán thể chế, là trải nghiệm cá nhân chân thực, hoặc là câu chuyện tương tác với các phòng thí nghiệm AI. Blog không tìm kiếm một “đường lối chung” hay sự đồng thuận. Ngược lại, họ mong muốn ghi lại một cách trung thực cảm giác làm toán trong thời kỳ công cụ của ngành đang thay đổi.

Ai đứng sau dự án?

Nhóm sáng lập gồm các nhà toán học trẻ:

• Raphael Appenzeller – chuyên về hình học và geometric group theory, quan tâm đến hình ảnh hóa và phổ biến kiến thức.
• Francesco Fournier-Facio – nhà lý thuyết nhóm tại Cambridge (sắp chuyển sang Heriot-Watt).
• Simon Machado – làm việc tại ETH Zurich (sắp chuyển sang CNRS), theo dõi AI từ thời GPT-3.5.
• Anand Rao Tadipatri – nghiên cứu sinh năm thứ ba tại Cambridge, chuyên về automatic theorem proving và Lean.

Nhóm cũng cam kết tuân thủ Leiden Declaration.

Proofs and Prompts không phải là blog của một người, mà là một dự án chung. Nó sẽ hay, đa dạng và chân thực đến mức nào phụ thuộc hoàn toàn vào những người đóng góp. Nếu bạn là nhà toán học – dù đang dùng AI hàng ngày hay còn giữ khoảng cách – đây là một nơi đáng để theo dõi và tham gia.