Claude Mythos được cho là đã giải quyết bài toán Erdős mang tính bước ngoặt của OpenAI bằng một "chứng minh đơn giản, dễ hiểu".

Claude Mythos được cho là đã giải quyết bài toán Erdős mang tính bước ngoặt của OpenAI bằng một "bằng chứng đơn giản, dễ hiểu" Các nhân viên của Anthropic cho biết Claude Mythos cũng có thể giải quyết "cột mốc toán học AI" của OpenAI. Gần đây, OpenAI đã bác bỏ giả thuyết khoảng cách đơn vị của Erdős, một vấn đề mở trong hình học tổ hợp từ năm 1946. Kỹ sư Sholto Douglas của Anthropic đã viết trên X rằng Mythos giải quyết vấn đề này bằng một "bằng chứng đơn giản, dễ hiểu", một dấu hiệu của "sự vượt trội đáng kể" trong các khám phá toán học do AI thúc đẩy. Nhóm nghiên cứu đã sử dụng một hệ thống thử nghiệm được xây dựng sau khi AI giải quyết bài toán Erdős số 1196: các phiên bản Claude Code riêng lẻ có quyền truy cập Mythos nhận bài toán, phát triển các lộ trình giải pháp, sau đó một phiên bản tóm tắt và phân phối chúng cho các phiên bản khác hoạt động độc lập. Mythos thường đi theo một lộ trình khác so với mô hình của OpenAI. Nhà toán học Daniel Litt gọi kết quả này "kém hơn một chút" so với của OpenAI, nhưng Mythos được cho là cũng đã tìm ra giải pháp của OpenAI. Anthropic đã công bố một phiên bản bằng chứng được chuẩn bị bởi Opus 4.7. Google DeepMind cũng gần đây đã thông báo rằng một hệ thống hỗ trợ AI đã giải quyết chín bài toán Erdős, mặc dù cách tiếp cận của họ dựa vào ngôn ngữ chứng minh hình thức Lean, điều này ít ấn tượng hơn từ góc độ của những người theo chủ nghĩa thuần túy LLM. Tuy nhiên, Claude Code cũng là một công cụ tác nhân, không phải là một LLM thuần túy.