#lean programming language

1 story

#advisory group on mathematics and artifi #artificial intelligence #mathematics #navier-stokes equations #openai #proof verification #startups #technology

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