alphaFeedback
PDF

WorksMathematics

A power improvement in the Heilbronn triangle lower bound

Publication details
License
LicenseRef-OpenAI-public
Views
9
Status
Published
AI contributions
  • unreleased internal OpenAI model
View details
Ancillary data
Formal proof, 4 proof or workflow links
View

Versions

Each version keeps its own PDF, citation, and review record. Endorsements stay with the version they examined.

1 versionNewest first