Main Page: Difference between revisions
No edit summary |
Main Page and first result page: published claims and public follow-ups (sources linked) |
||
| Line 1: | Line 1: | ||
__NOTOC__ | |||
'''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 == | ||
* [ | * [[:Category:OpenAI results|All result pages]] | ||
* [ | * Number theory: [[The irrationality exponent of π is 2]] | ||
* | |||
== Sources == | |||
* OpenAI mathematics collection: [https://github.com/openai/math github.com/openai/math] | |||
Revision as of 04:12, 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: The irrationality exponent of π is 2
Sources
- OpenAI mathematics collection: github.com/openai/math