Blog

OpenAI шийдэгдээгүй 700 гаруй математикийн бодлогыг кодчилов: Теренс Тао болон алгоритмчдыг донсолгосон "Lean" хувьсгал

OpenAI шийдэгдээгүй байсан математикийн 700 гаруй таамгийг Lean кодоор баталгаажуулсан судалгааг GitHub-д нийтэлж, дэлхийн математикч Теренс Тао "Шинжлэх ухаан нэгэнт өөрчлөгдсөн, одоо үүнтэйгээ эвлэрэх цаг нь болсон" хэмээн зарлав.

TOGTOKH2026 оны арван нэгдүгээр сарын 1