Hệ thống của PSI dùng mô hình Anthropic chứng minh giả thuyết điện toán lượng tử bỏ ngỏ từ 2008
Công ty khởi nghiệp Physical Superintelligence cho biết một hệ thống nghiên cứu nội bộ của họ đã chứng minh một giả thuyết điện toán lượng tử khi vận hành mô hình Anthropic chưa công bố.
Theo Physical Superintelligence, hệ thống hoàn thành bản chứng minh vào ngày thứ ba và được Lean chấp thuận, với Lean là công cụ hỗ trợ chứng minh kiểm tra từng bước bằng máy tính. Physical Superintelligence cho biết hệ thống sau đó tiếp tục xử lý các bài toán mở liên quan và tự cải thiện kết quả hai lần trước thời điểm Lean chấp thuận phiên bản cuối cùng.
Tác giả Jack Clark nhận định kết quả này là dấu hiệu ban đầu của điểm kỳ dị, khi tiến độ khoa học kỹ thuật vượt quá khả năng tiếp thu của con người. Tác giả lưu ý các nhà nghiên cứu nhân tạo phần lớn hoạt động tự động đang mở rộng tri thức, tạo ra những kết quả mà con người sau đó cần phải thấu hiểu.
