OpenAI just dropped 700 preprints of mathematical proofs and counterexamples
https://github.com/openai/math/tree/main/preprints
Post #399661
44
- Oct 13, 202611 year old unsoundness bugs found in Rust borrow checker https://github.com/rust-lang/rus…
- Oct 13, 2026Show HN: Use your OpenAI subscription to create audiobooks https://pdftomp3.com/connect-ai…
- Oct 13, 2026AI models may soon self-replicate without access to data centers https://www.reuters.com/b…
- Oct 13, 2026Were Software Engineers blue-collar workers all along? https://ptrbrynt.com/posts/were-we-…
- Oct 13, 2026Where is all the new, good software? https://www.natemeyvis.com/where-is-all-the-new-good-…
- Oct 13, 2026Document Review with Unsiloed and TypeSafe Jev https://www.unsiloed.ai/blog/document-revie…