What OpenAI’s latest controversy tells us about the future of math
AI companies are making impressive mathematical strides. Human mathematicians are losing out.
TL;DR
- OpenAI claims to have solved the Navier–Stokes existence and smoothness problem, a Millennium Prize Problem.
- The announcement is marred by accusations that OpenAI used the AI-assisted work of Tristan Buckmaster and Levent</t> Alpöge without credit.
- OpenAI denies the accusations but admitted being inspired by rumors of Buckmaster and Alpöge's efforts.
- The incident suggests AI models may be crucial for advanced mathematics, possibly requiring significant resources beyond academic institutions.
- Buckmaster and Alp öge worked on a simplified version of the problem for nearly a year using publicly available models.
- OpenAI's solution was reportedly achieved rapidly using an internal model at a high cost.
- The controversy raises concerns about transparency, academic collaboration norms, and the future of human mathematicians in the field.
- There is a possibility that AI models could be trained on human research, influencing their problem-solving approaches.
- The reliance on expensive, internal AI models by companies could limit access and change the nature of mathematical progress.