In December 2024, o3-preview scored 87.5% on ARC-AGI-1. This run cost >$4,500 per task.
In July 2026, DeepSeek-V4-Flash scored 87.0% on ARC-AGI-1. This run cost $0.021 per task.
Please realize that all OpenAI has done is bring forward the AI-generated solution to Navier-Stokes by maybe around a year or two. In all likelihood, by 2028, we will have open-source flash models capable of cracking it in under an hour. There will be no way to ban or police this. The profession of mathematics will have to change.
Twenty-five Fields Medal winners have published a joint declaration warning about what they see as a severe misalignment between AI companies and the mathematics community.