Odd Lots: How AI Is Upending the World of Mathematics (Podcast)
Last month, OpenAI announced that it had produced an AI-generated proof for the Navier-Stokes problem, one of the most famous unsolved questions in mathematics. LLMs used to be bad at counting, but now they are solving math problems that have stumped humans for decades.
This is a short extract from a report by Bloomberg. The full text stays with the publisher — follow the link to read it there.
Read at source
