The results have been posted to GitHub and include a proof for 'Local smoothing for the Euclidean wave equation'. For the computer science and physics discoveries, OpenAI enlisted what it calls 'shepherds', external experts who oversaw the process of verifying the AI-generated findings. For the mathematics problem, the shepherds advised OpenAI to release the AI output and let researchers work through their own explanations.
The approach marks a shift in how the AI lab collaborates with the academic community, handing more oversight to specialists outside the organisation. The Verge reports that the move reflects a new way of working with academics, as the shepherd model is intended to improve trust and rigour in AI-driven research.
OpenAI has previously released large batches of AI-generated mathematical proofs. The latest trio of discoveries extends that work into new fields and introduces a more structured verification process.

