Tóm tắt tuần này: - chúng tôi đã phát hành máy tính đa năng sử dụng agent - bị đánh bại bởi một con người duy nhất trong cuộc thi heuristics atcoder - đã giải quyết 5/6 bài toán IMO mới với các chứng minh bằng ngôn ngữ tự nhiên Tất cả những điều này đều dựa trên cùng một hệ thống học tăng cường.