OpenAI publishes hundreds of AI-generated math proofs

LegalOn cut estimated daily Codex costs by 65% while maintaining development speed, matching Astra, Sol, and Luna to tasks and managing budgets strategically.

MiniMax says H3 is "almost on par with closed-source sota" for physics in open-source video world models, two months after release. H3 generates video with native stereo audio and multimodal reference control under open weights.

Bradley Axen, Block's Head of AI Capabilities, describes applying agent orchestration patterns with Claude Fable 5 for company-wide code migrations. Block also builds Buzz, an open-source workspace for human-agent teams, and evaluates frontier models including Claude Opus 5.

The 27B model drew 101 likes and 142 downloads on Hugging Face, trending at rank 99. No benchmark results or license details were published with the release.

Chinese autonomous vehicle companies are targeting overnight deliveries, betting on a large market opportunity if technical hurdles can be overcome. Bloomberg reports the push centers on after-dark logistics.

A Reddit user reports every historical commit in Strata's repo was rewritten to remove "Co-Authored by Claude" text, breaking the built-in UPDATE script with a git "no common ancestor" error.