Theo bài đăng trên Hacker News, Simons Foundation công bố chương trình 15 triệu USD giúp giới toán học thích ứng với AI
Simons Foundation được cho là đã công bố một sáng kiến trị giá 15 triệu USD cùng Anthropic và OpenAI nhằm giúp các nhà toán học thích ứng với việc AI ngày càng được sử dụng trong nghiên cứu. Chương trình sẽ tài trợ cho các workshop và dự án do cộng đồng đề xuất thông qua một đợt kêu gọi hồ sơ mở, tập trung vào việc đánh giá kết quả có sự hỗ trợ của AI, học và sử dụng công cụ mới cũng như xây dựng các tiêu chuẩn chung về cách dùng chúng. Anthropic và OpenAI cũng sẽ cung cấp công cụ AI cùng tài nguyên tính toán cho các nhà nghiên cứu được Simons Foundation hỗ trợ, bao gồm cả những người làm trong các lĩnh vực khoa học cơ bản ngoài toán học. Sáng kiến này kế thừa hoạt động trước đây của quỹ trong việc hỗ trợ machine learning cho khoa học và Lean, một hệ thống phần mềm giúp kiểm chứng các chứng minh hình thức, qua đó mở đường cho chứng minh định lý có sự hỗ trợ của AI. Mục tiêu là để chính cộng đồng toán học—thay vì một công ty công nghệ hay tổ chức riêng lẻ—quyết định cách kiểm thử và áp dụng các hệ thống này. Trên thực tế, chương trình có thể mang đến nguồn tài trợ, năng lực tính toán và không gian thảo luận để xây dựng các chuẩn mực đáng tin cậy cho công trình toán học do AI hỗ trợ.
Các nhà toán học và nhóm nghiên cứu có thể theo dõi đợt kêu gọi đề xuất của Simons Foundation để tham gia các workshop hoặc sáng kiến về đánh giá và sử dụng AI trong nghiên cứu. Những nhóm được hỗ trợ có thể nhận thêm công cụ AI và tài nguyên tính toán từ Anthropic và OpenAI.
Đọc bài gốc