AI Today - SkyAI

Đẩy nhanh quá trình khám phá với Sáng kiến AI cho Toán học

Sáng kiến này tập hợp một số tổ chức nghiên cứu uy tín nhất trên thế giới để tiên phong trong việc sử dụng AI trong nghiên cứu toán học.

  • 5 min read
Đẩy nhanh quá trình khám phá với Sáng kiến AI cho Toán học
Sáng kiến này tập hợp một số tổ chức nghiên cứu uy tín nhất trên thế giới để tiên phong trong việc sử dụng AI trong nghiên cứu toán học.

Đẩy nhanh quá trình khám phá với Sáng kiến AI cho Toán học

Sáng kiến này quy tụ năm tổ chức nghiên cứu uy tín nhất thế giới để tiên phong trong việc sử dụng AI trong nghiên cứu toán học.

Toán học là ngôn ngữ nền tảng của vũ trụ, cung cấp các công cụ để mô tả mọi thứ từ các định luật vật lý đến sự phức tạp của sinh học và logic của khoa học máy tính. Trong nhiều thế kỷ, các lĩnh vực của nó đã được mở rộng chỉ bằng sự khéo léo của con người. Tại Google DeepMind, chúng tôi tin rằng AI có thể đóng vai trò là một công cụ mạnh mẽ để hợp tác với các nhà toán học, tăng cường khả năng sáng tạo và đẩy nhanh quá trình khám phá.

Hôm nay, chúng tôi giới thiệu Sáng kiến AI cho Toán học, được hỗ trợ bởi Google DeepMind và Google.org. Nó quy tụ năm tổ chức nghiên cứu uy tín nhất thế giới để tiên phong trong việc sử dụng AI trong nghiên cứu toán học.

Các tổ chức đối tác khai mạc là:

  • Imperial College London
  • Institute for Advanced Study
  • Institut des Hautes Études Scientifiques (IHES)
  • Simons Institute for the Theory of Computing (UC Berkeley)
  • Tata Institute of Fundamental Research (TIFR)

Các đối tác của sáng kiến sẽ làm việc hướng tới các mục tiêu chung là xác định thế hệ vấn đề toán học tiếp theo chín muồi cho những hiểu biết sâu sắc do AI thúc đẩy, xây dựng cơ sở hạ tầng và công cụ để thúc đẩy những tiến bộ này và cuối cùng là đẩy nhanh tốc độ khám phá.

Sự hỗ trợ của Google bao gồm tài trợ từ Google.org và quyền truy cập vào các công nghệ hiện đại nhất của Google DeepMind, chẳng hạn như chế độ lý luận nâng cao có tên là Gemini Deep Think, tác nhân khám phá thuật toán của chúng tôi, AlphaEvolve và hệ thống hoàn thành bằng chứng hình thức của chúng tôi, AlphaProof. Sáng kiến sẽ tạo ra một vòng phản hồi mạnh mẽ giữa nghiên cứu cơ bản và AI ứng dụng, mở ra cánh cửa cho sự hợp tác sâu sắc hơn.

Một thời điểm then chốt cho AI và toán học

Sáng kiến AI cho Toán học ra đời vào thời điểm có những tiến bộ vượt bậc trong khả năng suy luận của AI; công việc của chúng tôi đã chứng kiến sự tiến bộ nhanh chóng trong những tháng gần đây.

Vào năm 2024, các hệ thống AlphaGeometry và AlphaProof của chúng tôi đạt tiêu chuẩn huy chương bạc tại Olympic Toán học Quốc tế (IMO). Gần đây hơn, mô hình Gemini mới nhất của chúng tôi, được trang bị Deep Think, đã đạt được mức hiệu suất huy chương vàng tại IMO năm nay, giải quyết hoàn hảo năm trong số sáu vấn đề và đạt 35 điểm.

Và chúng tôi đã thấy những tiến bộ hơn nữa với một phương pháp khác của mình, AlphaEvolve, được áp dụng cho hơn 50 vấn đề mở trong phân tích toán học, hình học, tổ hợp và lý thuyết số và đã cải thiện các giải pháp đã biết tốt nhất trước đó trong 20% số đó. Trong khám phá toán học và thuật toán, nó đã phát minh ra một phương pháp mới, hiệu quả hơn để nhân ma trận — một phép tính cốt lõi trong máy tính. Đối với vấn đề cụ thể là nhân ma trận 4x4, AlphaEvolve đã khám phá ra một thuật toán chỉ sử dụng 48 phép nhân vô hướng, phá vỡ kỷ lục 50 năm do thuật toán của Strassen thiết lập vào năm 1969. Trong khoa học máy tính, nó đã giúp các nhà nghiên cứu khám phá ra các cấu trúc toán học mới cho thấy một số vấn đề phức tạp nhất định thậm chí còn khó giải quyết hơn đối với máy tính so với chúng ta đã biết trước đây. Điều này cung cấp cho chúng ta một sự hiểu biết rõ ràng hơn và chính xác hơn về các giới hạn tính toán, điều này sẽ giúp hướng dẫn các nghiên cứu trong tương lai.

Sự tiến bộ nhanh chóng này là một minh chứng cho khả năng phát triển nhanh chóng của các mô hình AI. Chúng tôi hy vọng sáng kiến mới này có thể khám phá cách AI có thể đẩy nhanh quá trình khám phá trong nghiên cứu toán học và giải quyết các vấn đề khó khăn hơn.

Chúng ta mới chỉ bắt đầu hiểu mọi thứ AI có thể làm và cách nó có thể giúp chúng ta suy nghĩ về những câu hỏi sâu sắc nhất trong khoa học. Bằng cách kết hợp trực giác sâu sắc của các nhà toán học hàng đầu thế giới với khả năng mới lạ của AI, chúng tôi tin rằng các con đường nghiên cứu mới có thể được mở ra, nâng cao kiến thức của nhân loại và hướng tới những đột phá mới trong các ngành khoa học.

Recommended for You

Cách một mô hình Gemma đã giúp khám phá ra một con đường điều trị ung thư tiềm năng mới

Cách một mô hình Gemma đã giúp khám phá ra một con đường điều trị ung thư tiềm năng mới

Chúng tôi đang ra mắt một mô hình nền tảng 27 tỷ tham số mới để phân tích tế bào đơn được xây dựng trên dòng mô hình mở Gemma.

Giới thiệu Mô hình Sử dụng Máy tính Gemini 2.5

Giới thiệu Mô hình Sử dụng Máy tính Gemini 2.5

Có sẵn trong bản xem trước thông qua API, mô hình Sử dụng Máy tính của chúng tôi là một mô hình chuyên dụng được xây dựng dựa trên khả năng của Gemini 2.5 Pro để cung cấp năng lượng cho các tác nhân có thể tương tác với giao diện người dùng.