On September 8th, 2026, OpenAI announced an AI-generated solution to the Navier–Stokes problem, sparking debate about human-machine credit and mathematics' future. De Toffoli and Duede argue that AI providing answers does not constitute genuine mathematical solutions, which require intelligible proofs humans can understand and use, and that mathematics encompasses far more than problem-solving.