Last Week in AI #346 - 719 math manuscripts, 2 Western open models, 1 more safety resignation

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