openai/math
github.com · 497 words · saved by 1 readers
Contribute to openai/math development by creating an account on GitHub.
Readme This repository contains mathematical manuscripts and supporting proof artifacts produced by an unnamed internal OpenAI model. As part of model development, we evaluate our models on open research problems. We expanded these evaluations after performance on our existing mathematical evaluations saturated. Some outputs build upon earlier results produced by the models. This collection includes results at different stages of verification. Not all have accompanying Lean formalizations. We will continue to update this repository with Lean formalizations as we obtain them. Some of the…
saved by
related reading
- The AI math breakthroughs keep coming...youtube.com
- GitHub - lionellevine/MAIS: Open problems, research agendas, and papers in Math for AI Safety — public from draft stage onwardgithub.com
- Google "We Have No Moat, And Neither Does OpenAI"semianalysis.com
- Evan Chen • The Napkin project (v1.6)web.evanchen.cc
- Mathematics in the Library of Babel - Daniel Littdaniellitt.com
- Reaping without sowing – Tobias J. Osborne's research notestjoresearchnotes.wordpress.com
- The fall of the theorem economydavidbessis.substack.com
- GitHub - brexhq/prompt-engineering: Tips and tricks for working with Large Language Models like OpenAI's GPT-4.github.com
- FrontierMath: Open Problems - Unsolved Mathematical Challenges | Epoch AIepoch.ai
- Cookbookcookbook.openai.com
- FrontierMath: Evaluating advanced mathematical reasoning in AI | Epoch AI | Epoch AIepochai.org
- openai-cookbook/examples/fine-tuned_qa/olympics-3-train-qa.ipynb at main · openai/openai-cookbook · GitHubgithub.com