#navier-stokes equations

2 stories

#artificial intelligence #mathematics #openai #technology #advisory group on mathematics and artifi #ai agents #clay mathematics institute #fluid dynamics #incomprehensible #lean programming language #millennium problem #proof

OpenAI's math proofs fall short of expert standards
OpenAI released hundreds of solutions to hard math problems, but mathematicians say the lab ignored key guidelines on human understanding and formal verification.
TechCrunch · 2m
OpenAI's math breakthrough is unreadable
OpenAI's AI agents solved a legendary math problem, but mathematicians can't understand the proof.
Futurism · 1m