TLDR Tech / OpinionOpenAI shares AI-generated math discoveries2026-10-16The AI research firm OpenAI recently made public 722 mathematical proofs generated by a private artificial intelligence system.Read the full story