Top NewsOpenAI publishes hundreds of math proofs from unreleased frontier modelSources:OpenAI drops another batch of mathematical breakthroughsSharing AI progress in mathematicsOpenAI Releases Findings on 377 Math Problems, Further Roiling FieldAll the drama around AI’s takeover of mathematicsSource