OpenAI cho biết mô hình AI thế hệ tiếp theo Astra đã đạt 10 kết quả nghiên cứu trong toán học và khoa học máy tính lý thuyết, bao gồm hình học đa chiều, lý thuyết mã, độ phức tạp lượng tử và mật mã hậu lượng tử.
Các kết quả được tạo ra bởi một phiên bản nội bộ của Astra trong quá trình tìm lời giải, với chi phí tính toán khoảng 2.000 USD theo mức giá API của Sol. Sau đó, các nhà nghiên cứu dùng cùng mô hình để sắp xếp kết quả thành một bài nghiên cứu.
Danh sách này gồm các bài toán về xếp hình cầu đa chiều, mã nhị phân và mã cầu, nhóm non-sofic, giả thuyết độ cứng Connes, độ phức tạp mạch số học, lặp song song lượng tử, bài toán vector gần nhất, giả thuyết thể tích Ehrhart, số Ramsey đa màu và một giả thuyết trong lý thuyết đồ thị cực trị. Các chứng minh có thể kiểm chứng được tạo bằng hệ thống chứng minh hình thức Lean.