«Решетнев» рассказал о сборке спутника «Ямал-501»14:53
The obstacle has always been cost. Writing proofs by hand was too expensive to apply broadly. AI changes the economics. Proof is becoming practical at scale.
，更多细节参见体育直播
客观来说，未来每个人的 Token 消耗量确实可以一定程度上反映他的杠杆能力。对话是消耗不了多少 Token 的，只有更多的工具和 Agent 在 24 小时运行，才能把个人的 Token 消耗量拉上去。Token 消耗量本质上是一个中间指标——一个人自己的问题是有限的，只有当你开始帮更多的人解决问题，Token 消耗量才会真正拉开差距。
* 分区函数：将数组按pivot分成两部分