OpenAI's Unreleased Model Astra Solves Ten Major Open Mathematics Problemsthezvi.substack.com 127777777phil1mo1 comment
Pdf-inspector: Rust lib for PDF inspection, classification, and text extractiongithub.com/firecrawl 57777777phil1mo1 comment