OpenAI để Astra viết mười chứng minh
OpenAI dùng Astra để công bố mười kết quả toán học và khoa học máy tính lý thuyết, kèm bài báo 249 trang, chứng chỉ Lean và bản ghi lập luận.
Tin tức và phân tích Xác minh hình thức
1 bài đã kiểm chứng về Xác minh hình thức, sản phẩm và diễn biến ngành.