BlogOpenAI шийдэгдээгүй байсан математикийн 700 гаруй таамгийг Lean кодоор баталгаажуулсан судалгааг GitHub-д нийтэлж, дэлхийн математикч Теренс Тао "Шинжлэх ухаан нэгэнт өөрчлөгдсөн, одоо үүнтэйгээ эвлэрэх цаг нь болсон" хэмээн зарлав.
TOGTOKH2026 оны арван нэгдүгээр сарын 1
BlogOpenAI шинэ frontier загварынхаа гаргаж авсан математикийн 722 судалгааны ажил, Lean 4 хэл дээрх баталгаануудыг GitHub дээр нээлттэй байршуулж, академик ертөнцөд томоохон маргаан дэгдээлээ.
TOGTOKH2026 оны аравдугаар сарын 9
BlogOpenAI одоогоор зарлаагүй байгаа дотоод frontier загварынхаа шийдсэн математикийн 722 судалгааны бүтээлийг GitHub дээр нээлттэй байршуулж, Lean хэл дээрх албан ёсны компьютерийн баталгаажуулалтыг хавсаргалаа.
TOGTOKH2026 оны аравдугаар сарын 7
BlogOpenAI компани ирээдүйн Astra загвараараа 10 гаруй жил шийдэгдээгүй байсан математик болон онолын компьютерын ухааны 10 томоохон бодлогыг баталж, Lean 4 програмчлалын хэл дээрх машины шалгалттай кодуудыг GitHub дээр нээлттэй байршууллаа.
TOGTOKH2026 оны наймдугаар сарын 5