Blog

Blog

Мэдээ

Компьютерийн шинжлэх ухааны 25 жилийн суурь онол нурав уу? OpenAI-ийн загвар "Exponential Time Hypothesis"-ийг няцаалаа

OpenAI-ийн дотоод AI загвар тооцооллын нарийн төвөгтэй байдлын суурь таамаг болох ETH-ийг Lean 4 кодоор няцааж, дэлхийн компьютерийн шинжлэх ухааны хүрээлэнгүүдийг шуугиулж эхэллээ.

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

Blog

Мэдээ

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

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

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