Mô hình thế hệ mới của OpenAI, Astra, giải được mười bài toán với chi phí tính toán 2.000 đô la Mỹ

Vào ngày 1 tháng 8, OpenAI đã công bố mười đột phá trong lĩnh vực toán học và khoa học máy tính lý thuyết, được thực hiện bởi một phiên bản nội bộ của mô hình chủ lực thế hệ tiếp theo mang tên Astra. Theo bảng giá của Sol API, tổng chi phí token cần thiết để tìm ra lời giải cho các bài toán này vào khoảng 2.000 đô la. Mười đột phá này bao gồm: các cận trên cho bài toán xếp cầu dày đặc (dense sphere packing) trong không gian nhiều chiều, cải tiến các cận cho mã nhị phân và mã cầu, chứng minh sự tồn tại của các nhóm Sophie không giải được (non-solvable Sophie groups), bác bỏ giả thuyết cứng nhắc Connes (Connes rigidity conjecture), các cận dưới mới cho độ phức tạp mạch số học, định lý lặp song song lượng tử, chứng minh độ khó xấp xỉ theo hệ số đa thức cho bài toán vector gần nhất (closest vector problem), giả thuyết thể tích Ehrhart (Ehrhart volume conjecture), các cận dưới siêu mũ cho số Ramsey đa màu, và các giả thuyết về số cực trị.