天才暴君
309 posts

天才暴君 retweetledi

OpenAI 感觉翻身了啊,已经在预热他们的下一代模型Astra。
他们用这个模型解决了 10 个至少存在了十年的数学问题。
这些问题如果是数学家解决的话,感觉这数学家已经相当牛逼了;
而解决这一堆非常难的问题,算力成本居然只有 2000 美元。
Sam 亲自飞到华盛顿去跟美国政府沟通这个模型的发布,感觉这玩意儿会很顶,不知道是 GPT-6 还是 GPT-5.7

Sebastien Bubeck@SebastienBubeck
yes, nonsofic groups exist: this statement is one of many new beautiful results proved by Astra, our next major model. We're releasing 10 such Astra proofs, complete with lean certificates and CoT walkthroughs for each of them. The results are wide-ranging, from von Neumann algebras (disproof of Connes' Rigidity Conjecture) to better bounds for high dimensional sphere packing, for circuit complexity, for monochromatic triangles in multicolored graphs, and more. More thoughts here: openai.com/index/ten-adva…
中文
天才暴君 retweetledi
天才暴君 retweetledi
天才暴君 retweetledi
天才暴君 retweetledi
天才暴君 retweetledi

@MentorWong 也不看看行为呢?汪精卫干啥了?毛泽东干啥了?
当时苏联侵略我国了吗?没有吧!
而且再说了,当时的苏联不是更支持国民党吗?
中文
天才暴君 retweetledi


























