#philosophy of math

1 story

#ai #mathematics #navier-stokes #proof #startups #technology

AI answered Navier-Stokes. That is not the same as solving it
OpenAI cracked a Millennium Problem, and two philosophers say the win reveals what math was never about.
What's new · 3m