Một thuật toán do mô hình AI tìm ra đã bác bỏ giả thuyết APSP và Exact Triangle, đồng thời giải quyết bài toán All-Pairs Shortest Paths trong thời gian subcubic thực sự. Một bài báo mới cùng bản hình thức hóa Lean kèm theo khẳng định những kết quả này bác bỏ Randomized Integer Word-RAM 3SUM Conjecture vốn được một số bảng xếp hạng dựa trên LLM liệt kê là một trong những bài toán mở quan trọng nhất của toán học. Anthropic, đơn vị tạo ra mô hình Claude dùng để tìm ra chứng minh, đã dùng một mô hình nghiên cứu nội bộ để kiểm chứng các phát hiện sau khi các tác giả hoàn thành bản thảo đầu tiên. Để hoàn tất công bố, công ty đã trả thù lao và cấp quyền truy cập Claude cho các chuyên gia học thuật để hỗ trợ viết bài sau khi xác định được chứng minh và bản hình thức hóa.
Nguồn chính
- SOURCEmarketbrief.now