Mythos的证明不如OpenAI，体现编码与数学的差异

Mythos的证明不如OpenAI巧妙，这也不奇怪。仍然存在编码最大化与数学最大化的差异，尽管OpenAI目前两者兼顾。