Quỹ Simons đã công bố một loạt sáng kiến ​​mới nhằm giúp cộng đồng toán học điều hướng sự phát triển nhanh chóng của trí tuệ nhân tạo trong lĩnh vực này, được hỗ trợ bởi 15 triệu USD tài trợ và nguồn lực kết hợp từ tổ chức, Anthropic và OpenAI.

Quỹ sẽ quản lý và trao nguồn tài trợ, bao gồm thông qua kêu gọi đề xuất, hỗ trợ các hội thảo và sáng kiến ​​giúp các nhà nghiên cứu đánh giá các kết quả gần đây được hỗ trợ bởi AI, tìm hiểu và sử dụng các công cụ mới, chia sẻ quan điểm và định hình các tiêu chuẩn chung về cách sử dụng AI trong nghiên cứu toán học. For more context on this story, see our ongoing AI trends.

Công cụ và tính toán ngoài toán học

Ngoài nguồn tài trợ, Anthropic và OpenAI sẽ cung cấp các công cụ AI và tài nguyên máy tính cho các nhà nghiên cứu được Quỹ Simons hỗ trợ. Theo thông báo của tổ chức, sự hỗ trợ đó vượt ra ngoài toán học để bao gồm khoa học cơ bản một cách rộng rãi hơn - một kênh trực tiếp bất thường giữa các phòng thí nghiệm AI hàng đầu và các nhà nghiên cứu hàn lâm đang làm việc.

Sự sắp xếp này đáng chú ý vì cấu trúc của nó: thay vì các phòng thí nghiệm thiết lập chương trình nghị sự, tổ chức này kiểm soát cách thức trao tiền và tài liệu báo chí nhấn mạnh rằng các giải thưởng và nguồn lực sẽ hướng đến cộng đồng.

Tại sao Toán học là tiền tuyến

Toán học đã trở thành một trong những nền tảng thử nghiệm quan trọng nhất đối với AI trong khoa học. Quỹ Simons là tổ chức sớm ủng hộ việc học máy cho khoa học, bao gồm cả việc tài trợ cho việc phát triển trợ lý chứng minh Lean, đã định hình lại cách các nhà toán học chính thức hóa công việc và biến các bằng chứng có sự hỗ trợ của AI trở nên khả thi. Khi các hệ thống AI ngày càng đóng góp nhiều hơn cho khám phá toán học, cộng đồng phải đối mặt với một vấn đề thực tế: làm thế nào để xác minh, đánh giá và tin cậy các kết quả được tạo ra với sự hỗ trợ đáng kể của máy móc.

Vấn đề xác minh đó là trọng tâm của nguồn tài trợ cho sáng kiến ​​mới. Các hội thảo và sáng kiến ​​nhằm "đánh giá các kết quả gần đây được hỗ trợ bởi AI" thừa nhận rằng quy trình đánh giá ngang hàng truyền thống không được thiết kế cho các bằng chứng được soạn thảo bằng hoặc trong một số trường hợp được tạo ra chủ yếu bởi các hệ thống AI.

Khung của Quỹ: Cộng đồng là trên hết

Chủ tịch Quỹ Simons David Spergel coi nỗ lực này là thời điểm để đưa ra quyết định tập thể. Spergel cho biết trong thông báo: “Khi trí tuệ nhân tạo nhanh chóng định hình lại bối cảnh nghiên cứu, chúng tôi muốn giúp cộng đồng toán học đến với nhau và tạo ra con đường tốt nhất về phía trước”. “Bây giờ là lúc nhìn vào toán học một cách tổng thể - không phải như một tập hợp các chứng minh và định lý, mà là sự hiểu biết tập thể được thúc đẩy bởi sự tò mò của con người.”

Spergel đã nói rõ ràng về việc ai sẽ đặt ra các điều khoản cho việc nhận con nuôi. Ông nói: “Cộng đồng nên thúc đẩy các cuộc thảo luận về cách đánh giá, áp dụng và sử dụng những công cụ này chứ không phải bất kỳ công ty hay tổ chức nào”. "Mục tiêu của chương trình là hỗ trợ cộng đồng toán học."

Tuyên bố này được coi là sự tương phản có chủ ý với một động thái quen thuộc trong việc áp dụng AI: các tổ chức riêng lẻ đàm phán các thỏa thuận riêng biệt với các nhà cung cấp mô hình, với các tiêu chuẩn do phòng thí nghiệm hoặc trường đại học nào đặt ra trước tiên. Bằng cách định tuyến nguồn tài trợ thông qua một cuộc gọi mở và nhấn mạnh các tiêu chuẩn tập thể, tổ chức này đang cố gắng thiết lập một điểm phối hợp cho một lĩnh vực có đầu ra - bằng chứng - có thể kiểm chứng một cách bất thường và do đó tiếp xúc một cách bất thường với các lối tắt được hỗ trợ bởi AI.

Mô hình cho các lĩnh vực khác

Sáng kiến này có thể đóng vai trò như một khuôn mẫu ngoài toán học. Các lĩnh vực khoa học cơ bản phải đối mặt với cùng một câu hỏi cơ bản - làm thế nào để tiếp thu các công cụ AI mà không nhượng lại tiêu chuẩn cho nhà cung cấp các công cụ đó - và cơ cấu của Quỹ Simons, trong đó một tổ chức từ thiện trung lập quản lý các tài nguyên do các công ty AI cạnh tranh tài trợ, là một trong những nỗ lực đầu tiên để tìm ra câu trả lời.

Lịch sử của tổ chức đã mang lại sự tin cậy cho tổ chức khi thực hiện vai trò đó: ngoài nguồn tài trợ ban đầu cho trợ lý chứng minh Lean, tổ chức này đã triệu tập các hội thảo, bài giảng và hợp tác khám phá vai trò của AI trong toán học. Cam kết trị giá 15 triệu đô la mới chính thức hóa việc tập hợp quyền lực vào một chương trình được tài trợ vào đúng thời điểm các kết quả được hỗ trợ bởi AI đang đến nhanh hơn mức mà các tiêu chuẩn của cộng đồng có thể hấp thụ được.

---

Stay Ahead of AI

Get the latest AI news, analysis, and breakthroughs — all in one place.

Read more AI news →