Researchers have found discrepancies between OpenAI's natural language proof of the Navier-Stokes equations and its machine-verified Lean code, raising questions about AI-generated mathematical results.
OpenAI is reportedly close to solving the Hodge conjecture, following its recent success in tackling the Navier-Stokes existence and smoothness problem.
OpenAI allegedly pressured mathematicians to credit the company's AI model for solving the Navier-Stokes problem, threatening one researcher's career.
Researcher Tristan Buckmaster alleges OpenAI used his team's data to solve the Navier-Stokes problem and pressured him to exclude a co-author during negotiations.
OpenAI claims to have solved the 90-year-old Navier-Stokes Millennium Prize Problem using 10,000 AI agents and a next-generation model.
OpenAI claims to have solved a $1 million Millennium Prize Problem using 10,000 AI agents, amid accusations of plagiarism from an NYU mathematician.
OpenAI agents have solved the Navier-Stokes Millennium Prize Problem, marking a significant breakthrough in AI's ability to tackle complex scientific challenges.
OpenAI is accused of stealing a research approach to solve a Millennium Prize Problem using user data from Codex.
