Blog

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

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

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