r/singularityImageOpenAI เตรียมปล่อย 400 บทพิสูจน์คณิตศาสตร์ที่สร้างโดย AItag: Artificial Intelligence, Lean, Mathematics, OpenAI, University of TexasOct 7, 2026 · By: TanasakPประธานภาควิชาคณิตศาสตร์ UT Austin เผย OpenAI อาจปล่อยบทพิสูจน์คณิตศาสตร์ชุดใหญ่จนมนุษย์อาจทำความเข้าใจตามไม่ทัน