Blog

Шинжлэх ухааны түүхэнд байгаагүй цочрол: OpenAI нэг шөнийн дотор математикийн 722 баталгаа бүхий репозиторыг дэлгэлээ

OpenAI шинэ frontier загварынхаа гаргаж авсан математикийн 722 судалгааны ажил, Lean 4 хэл дээрх баталгаануудыг GitHub дээр нээлттэй байршуулж, академик ертөнцөд томоохон маргаан дэгдээлээ.

TOGTOKH2026 оны аравдугаар сарын 9