We publish a wide range of new mathematical results produced by a interior border template.
As we seek to improve how we share results with the mathematics community, we consulted with the independent body Advisory Group on Mathematics and Artificial Intelligence at the Institute for Advanced Study(opens in a new window) develop best practices, and we relied on their advice and public recommendations(opens in a new window) to inform how we publish these results.
For this release, we are publishing the results in a GitHub repository, with protocols for paper reviews and citations. We continue to explore other community-hosted alternatives for this release that meet the committee’s guidelines. For future versions, we are committed to further improving the quality of articles via citations, mathematical exposition, and presentation of results for better understanding.
As part of our GitHub repository, we share the formalizations of numerous proofs in Lean, a programming language that allows mathematical proofs to be verified by a computer. We will update the repository with more formalizations as we obtain them.
To promote scientific transparency and openness, we also publish additional details about how we obtained the results in the repository. These include 10 summaries of the model’s reasoning, estimates of compute spent in terms of Pro usage on ChatGPT, and statistics on the number of problem attempts. The average result used the equivalent calculation of approximately three hours of thinking on ChatGPT Pro.
We want these advances to push the boundaries of human knowledge and enable new advances in mathematics. We will fund a series of workshops, conferences and special programs around understanding the key outcomes produced by AI. We will share more about this in the near future.
We want to directly equip scientists with cutting-edge capabilities, and we are working to responsibly publish the model that produced these results. This is why it is important to continue to evaluate our internal boundary models in mathematics and other sciences, so that we can accelerate the development of tools to advance these fields. We will continue to act on community feedback and update our standards for future disclosures of major scientific advances.
Gn bussni
