BlogМэдээ
TOGTOKH2026 оны есдүгээр сарын 8
OpenAI 10,000 AI агентын хүчээр математикийн "Мянганы бодлого"-ыг бодсоноо зарлалаа: Lean баталгаа ба дата маргаан
OpenAI компани бараг зууны турш тайлагдаагүй байсан Навье-Стоксын тэгшитгэлийн гипотезийг 10,000 AI агент ашиглан 88 цагт шийдэж, Lean хэлээр машинаар шалгагдах бүрэн баталгаа гаргаснаа зарлалаа.
TOGTOKH2026 оны есдүгээр сарын 8