Valency Hub
alphaFeedback
PDF

WorksMathematics

The irrationality exponent of pi is 2

OpenAI (organization)

Published Fresh — published within the last 30 daysv1

Publication details
License
LicenseRef-OpenAI-public
Views
114
Downloads
6
Status
Published
AI contributions
  • unreleased internal OpenAI model
View details
Ancillary data
Formal proof, 5 proof or workflow links
View
Machine checks

No machine checks are available from the Hub API for this paper.