analiza aiqbench

The article centers on OpenAI's assertion that its models can solve the Navier-Stokes existence and smoothness problem, a major challenge in mathematical fluid dynamics. This claim has triggered significant debate within the mathematics community regarding the validity of AI-generated proofs versus traditional human verification. The discussion highlights the current limitations and epistemological questions surrounding using large language models for rigorous mathematical discovery.