Main Page: Difference between revisions
Main Page and first result page: published claims and public follow-ups (sources linked) |
New result page: modularity over imaginary quadratic fields, with its public follow-ups (sources linked); Main Page link |
||
| Line 9: | Line 9: | ||
== Browse == | == Browse == | ||
* [[:Category:OpenAI results|All result pages]] | * [[:Category:OpenAI results|All result pages]] | ||
* Number theory: [[The irrationality exponent of π is 2]] | * Number theory: | ||
** [[The irrationality exponent of π is 2]] | |||
** [[Modularity of elliptic curves over imaginary quadratic fields]] | |||
== Sources == | == Sources == | ||
* OpenAI mathematics collection: [https://github.com/openai/math github.com/openai/math] | * OpenAI mathematics collection: [https://github.com/openai/math github.com/openai/math] | ||
Revision as of 05:11, 13 October 2026
OpenAI Aftermath is a guide to mathematical research published by OpenAI and to publicly available follow-up work by others: extensions, applications, formal verifications, corrections and critiques.
How entries are written
- Each result page summarizes the published claim and cites its public source: the paper, the repository commit or the preprint version.
- Follow-up work is listed with its relation to the original result (extension, use, verification, correction or critique), its public date and its public status.
- The publication of a paper, code or a formal proof is reported as such. It is not presented as independent verification.
Browse
- All result pages
- Number theory:
Sources
- OpenAI mathematics collection: github.com/openai/math