跳到正文
@kimmonismus· @kimmonismus · X·· 15 天前AI 评分27
AI 导读

天哪,我坐了10个小时的飞机。就在这10个小时里,OpenAI发布了一篇博客,说他们新训练的模型解决了100(!!)个长期悬而未决的数学难题,连他们自己的研究员都感到惊讶。 MiMo发布了一个惊艳的模型,而Grok 4.7表现不佳。 我再也不坐飞机了。永远不。(好吧,不是真的。)

正文

WTF I was on a plane for 10 hours. Within 10 hours OpenAI released a blogpost that their newly trained model solved 100(!!) open long standing math problems that even surprised their own resecaher.

MiMo released an amazing model and Grok 4.7 underperformed.

I’ll never take a plane again. Ever. (Ok, not true).

引用@kimmonismus@kimmonismus
I was too quick and excited when landed in SF. As most of you pointed out the real deal is actually MiMo-2.6! Better than Grok 4.7, much cheaper and holy moly is china back. That is the real surprise! I need to check that out. Message to chubby: next time checking x properly before posting :D
在 X 查看被引用的帖子

来源:@kimmonismus · x.com