Một mô hình suy luận nội bộ của OpenAI đã bác bỏ một giả thuyết nổi tiếng năm 1946 của Paul Erdős, lần đầu tiên AI giải quyết được một bài toán mở lớn trong toán học.
Các điểm chính:
- Một mô hình OpenAI đã bác bỏ giả thuyết khoảng cách đơn vị của Erdős, bài toán mở suốt 80 năm.
- Bằng chứng dựa trên lý thuyết số đại số và đã vượt qua thẩm định bên ngoài.
- Đây là bài toán mở lớn đầu tiên được AI tự chủ giải quyết.
OpenAI phá vỡ giả thuyết Erdős
Công ty đã announced vào ngày 20 tháng 5 rằng mô hình của họ đã tạo ra một phản ví dụ cho bài toán khoảng cách đơn vị, bài toán hỏi có thể có bao nhiêu cặp điểm trong một tập nhiều điểm sao cho cách nhau đúng một đơn vị. Trong nhiều thập kỷ, các nhà nghiên cứu xem lưới hình vuông là bố trí gần như tốt nhất. Câu đố này dễ phát biểu, nhưng đã chống lại tám mươi năm nỗ lực của những nhà toán học hàng đầu.
Mô hình đã đi theo một hướng khác, xây dựng một cấu trúc tinh vi hơn, drew trên lý thuyết số đại số để nhét được nhiều khoảng cách đơn vị hơn một lưới cho phép, một cấu trúc mà không nhà toán học nào từng theo đuổi nghiêm túc.
Một hội đồng chuyên gia độc lập đã checked lại chứng minh trước khi công ty công bố.
Will Sawin của Princeton nhanh chóng refined lập luận. Phiên bản của ông chỉ ra rằng số khoảng cách đơn vị tăng ít nhất nhanh như n mũ 1,014, cho thấy một lợi thế đa thức so với cận dựa trên lưới cũ. Giới hạn trên vẫn ở gần n mũ 1,333, nên vẫn còn một khoảng trống.
Also Read: Cardano Tops Every Major Chain In Stablecoin Growth, Up 61% In A Week
Gowers ca ngợi một cột mốc toán học
Tim Gowers, chủ nhân Huy chương Fields, đã called công trình này là một cột mốc và nói rằng chưa có chứng minh nào của AI trước đó đến gần được tầm này. Daniel Litt của Đại học Toronto mô tả đây là kết quả AI đầu tiên khiến ông thực sự hào hứng vì bản thân nó, chứ không chỉ như một dấu hiệu cho tương lai.
Các chuyên gia nhấn mạnh tầm quan trọng của con đường tiếp cận. Hầu hết các nhà toán học đã dành nhiều năm cố gắng chứng minh giả thuyết thay vì phá vỡ nó, và rất ít người sẵn sàng kiên trì với một quá trình xây dựng tẻ nhạt như vậy khi chưa thấy dấu hiệu nó sẽ mang lại kết quả. Một AI đánh giá cược đó theo cách khác, kiên trì đi qua vô số ngõ cụt cho đến khi một con đường tưởng như bất khả lại thành công.
Hồ sơ Erdős gập ghềnh của OpenAI
Bước đột phá này không đứng một mình. Vài ngày sau, Google reported rằng một trong các hệ thống của họ đã giải được chín bài toán nhỏ hơn trong danh sách của Erdős, trong đó hai bài đã mở hơn 50 năm.
Quy trình công bố cẩn trọng lần này là lời đáp cho một cú vấp trước đó. Vào tháng 10, công ty đã claimed rằng một mô hình đã giải mười bài toán Erdős, nhưng các phản biện cho thấy nó chỉ đơn giản đào lại các lời giải cũ thay vì chứng minh điều gì mới. Sự cố đó đã thúc đẩy công ty tìm đến thẩm định bên ngoài trong lần này.
Read Next: ETH Loses Its Last Floor And Stares Down A Drop Toward $1,800