Tóm tắt: Mô hình đã giải quyết các bài toán toán học phức tạp chỉ thông qua lý luận. Cho đến nay, các LLM có điểm số cao nhất đã sử dụng máy tính và viết mã. Đây là một bước tiến lớn mà nhiều người đã nói là không thể đối với những loại mô hình này chỉ cách đây… hôm qua.