OpenAI đã công bố vào ngày 26 tháng 10 năm 2026 rằng các mô hình của họ đã đưa ra các chứng minh bằng ngôn ngữ tự nhiên cho ba kết quả lâu năm chưa được giải quyết, những chứng minh này chưa được xác minh độc lập. Ba kết quả bao gồm: sự mượt mà cục bộ liên quan đến giả thuyết Kakeya, giả thuyết thời gian mũ là sai, và sự tồn tại của sự hoàn thiện của động lực học màu lượng tử và mô hình chuẩn; trong đó, chứng minh sự tồn tại của Yang–Mills được tạo ra vào ngày 9 tháng 9 và việc công bố đã bị hoãn đến ngày 16 tháng 10 sau khi kết quả này được formal hóa trong Lean. Các nhà bình luận có nền tảng lý thuyết độ phức tạp cho rằng việc ETH bị bác bỏ có ảnh hưởng lớn nhất, vì nó là nền tảng cho nhiều kết quả về độ khó và giới hạn dưới.