OpenAI claims its AI disproved the Exponential Time Hypothesis using Lean 4.
OpenAI faces backlash for restricting proof verification to select 'shepherds' despite advisory warnings against gatekeeping.
Altman confirms OpenAI holds massive undiscovered math stockpile and prioritizes human access over researcher attribution despite backlash.