Mô hình chưa công bố của Anthropic đạt được tiến bộ trong một trong những bài toán chưa được giải quyết lớn nhất của toán học

핵심 정리

• 1

  Vấn đề giả thuyết Riemann vẫn chưa được giải quyết trong hơn 150 năm qua.

• 2

  Một phần thưởng trị giá 1 triệu đô la đã được đề xuất cho bất kỳ ai chứng minh được giả thuyết.

• 3

  Mô hình chưa được công bố của Anthropic đã đạt được tiến triển đáng kể, cải thiện giới hạn dưới của các giải pháp tiềm năng.

• 4

  Một nhân viên của Anthropic với ít kiến thức toán học đã khởi xướng quá trình chứng minh, phối hợp nỗ lực của mô hình với 60 phụ thuộc.

• 5

  Mô hình đã thử nghiệm 650 ý tưởng và tạo ra 31 triệu mã thông báo đầu ra để hỗ trợ nghiên cứu.

• 6

  Hai trong số 60 phụ thuộc đã đóng góp các ý tưởng toán học chính, trong khi những người khác tham gia vào các vai trò hỗ trợ khác nhau.

• 7

  Kết quả đã được xác nhận bởi các nhà toán học của Anthropic và sử dụng trợ lý chứng minh mã nguồn mở Lean.

• 8

  Sự kiện này xảy ra sau các đột phá toán học mới gần đây khác dựa vào trí tuệ nhân tạo, khiến các nhà toán học lo lắng về tác động đối với các phương pháp chứng minh truyền thống.