Blog

OpenAI-ийн шинэ Astra загвар 10 жил шийдэгдээгүй бодлогуудыг Lean 4 кодоор баталж, GitHub дээр нийтэллээ

OpenAI компани ирээдүйн Astra загвараараа 10 гаруй жил шийдэгдээгүй байсан математик болон онолын компьютерын ухааны 10 томоохон бодлогыг баталж, Lean 4 програмчлалын хэл дээрх машины шалгалттай кодуудыг GitHub дээр нээлттэй байршууллаа.

TOGTOKH2026 оны наймдугаар сарын 5