ChainThink thông báo, ngày 1 tháng 8, OpenAI lần đầu tiên công bố chính thức mô hình trọng tâm tiếp theo là Astra, với phiên bản nội bộ đạt được các kết quả mới trên 10 vấn đề toán học và khoa học máy tính lý thuyết chưa được giải quyết lâu năm.
Kết luận cốt lõi của những vấn đề này chưa có tiến triển nào trong ít nhất 10 năm, phần lớn đã đình trệ lâu hơn nữa. Trong đó, Astra lần đầu tiên xây dựng được nhóm không sofic, giải quyết một vấn đề mở cốt lõi trong lý thuyết nhóm;
Đồng thời bác bỏ giả thuyết cứng của Connes và giải quyết 3 bài toán của Erdős. Các thành tựu còn lại bao gồm các giới hạn mới và chứng minh độ khó liên quan đến bài toán đóng gói hình cầu, lý thuyết mã hóa, độ phức tạp lượng tử và các vấn đề mật mã sau lượng tử.
OpenAI cho biết, số token mà mô hình sử dụng để tìm ra 10 kết quả này tương đương khoảng 2.000 USD theo giá Sol API.
Các lập luận toán học liên quan được Astra tạo ra, sau đó con người hỗ trợ biên tập thành bài báo, và mô hình chuyển đổi từng chứng minh thành chứng chỉ Lean để máy tính kiểm tra từng bước xem suy luận có hợp lệ hay không.