OpenAI says an AI produced a solution to a famous open math problem about how fluids move. They also shared a human-readable explanation, plus a proof written in a proof-checking program called Lean.
ForStudents and educators studying advanced mathematics · People learning how computer proof-checking works