Bài báo AlphaProof của chúng tôi có trong số báo tuần này của @Nature! Vào năm 2024, các tác nhân chứng minh của @GoogleDeepMind là AlphaProof & AlphaGeometry đã cùng nhau tạo ra một bước nhảy vọt đáng kể trong AI bằng cách đạt tiêu chuẩn huy chương bạc trong việc giải quyết các bài toán IMO. Bài báo trên Nature mô tả những đổi mới kỹ thuật cần thiết—đặc biệt là vòng lặp RL kết nối ngôn ngữ tự nhiên và tính chính xác biểu tượng—đã làm cho AlphaProof trở thành hiện thực.