Import AI Nêu Chứng Minh Toán Học Và Găng Tay Của Meta

Physical Superintelligence là một startup AI khoa học. Công ty cho biết hệ thống nghiên cứu do mình phát triển, chạy trên một model của Anthropic không công khai, đã tìm ra chứng minh cho một giả thuyết của Scott Aaronson và Andris Ambainis.

Giả thuyết này được mở từ năm 2008 và bàn về khi nào máy tính lượng tử có thể nhanh hơn theo cấp số mũ so với máy tính thường. Công ty nói Lean, một trợ lý chứng minh, đã chấp nhận bản chứng minh đó.

Hệ thống có bản chứng minh hoàn chỉnh vào ngày thứ ba của lần chạy. Sau đó nó được giao làm việc trên các bài toán mở liên quan, rồi cải thiện kết quả hai lần trước khi Lean chấp nhận bản cuối cùng.

Tác giả nói trong bài phát biểu tại IMF (#477) rằng ông tin đang ở giai đoạn đầu của điểm kỳ dị. Ông định nghĩa đây là thời kỳ tốc độ tiến bộ công nghệ và khoa học vượt tốc độ con người đọc hiểu và nắm bắt nó.

Phần còn lại chuyển sang Meta Reality Labs Research và Tactus, một găng tay cảm biến xúc giác và tư thế được thiết kế để thu thập dữ liệu thao tác tự nhiên. Điểm đáng chú ý là găng tay này giúp ghi lại chi tiết rất nhỏ từ bàn tay khi cầm nắm đồ vật, trong khi camera thường cho dữ liệu kém hơn vì bị che khuất.

Tài liệu về Tactus nêu 3 trụ cột thiết kế, trong đó trụ cột đầu tiên là kiểu dệt 3D mỏng, ôm sát, với độ dày ở đầu ngón tay là 1,5 mm để giảm cản trở khi thao tác tự nhiên. Tác giả cũng nói đây là kiểu phần cứng mà một hệ thống AI tự chủ có thể muốn trả tiền cho con người để đeo, nhằm thu thập dữ liệu và phản hồi từ thế giới.