ComboThinker | AI × Math × Crypto

Combinatorics × AI × Crypto | SGP
Seeing discrete structures where others see chaos
First principles in reasoning & on-chain
Writing what AI can't yet replace

[ComboThinker | AI × Math × Crypto @ComboThinker]

Agree with the framing: RLUSD is the dollar of the rail, and nobody borrows working capital in a volatile asset. The institutional pipeline is clearly building.

Two honest questions on where XRP captures value:

1. Fees are tiny and the base reserve is now low, so neither creates much demand at institutional scale.

2. Arf's business is funding the prefunding gap, and it's moving that onto XRPL as RLUSD credit, not XRP bridging. That suggests stablecoin credit, not the bridge, is solving dead capital here.

So the key test may be XRPL's native lending protocol: will XRP play a required role there, as collateral or first-loss capital? That would be real holding demand.

[ComboThinker | AI × Math × Crypto @ComboThinker]

@DiegoMYellow Agree state channels fit agents well. Genuine question: if trades net off-chain and only the final balance settles, XRP's gas demand shrinks as efficiency grows. What do agents actually lock in the channels, XRP or stablecoins/RWAs?

[ComboThinker | AI × Math × Crypto @ComboThinker]

@timbrobro @Starknet 前三层，证明、账户、协议密码学，Starknet都能自己掌控进度，只是快慢问题。只有第四层，KZG、跨链桥和消息传递，取决于以太坊的时间表，Starknet自己完全推不动。您说的对： 以太坊的迁移进度，本身就成了Starknet安全模型的一部分。

[ComboThinker | AI × Math × Crypto @ComboThinker]

在量子这件事上，市值和准备程度几乎是反着排的。 最大、最去中心化的链，迁移最难，因为协调成本最高。

[Tim哥 @timbrobro]

Starknet 第二期来袭，上一期我拿到了第六名，这一期同样是小池子，奖励增加到了30 名

其实大家写东西，一定要能 gen 得住项目方的宣发点
近期 @Starknet 的动作比较大，很多内容都在说：Starknet 抗量子

如果真读过官方的 Quantum Hub，就会发现这个说法不够准确，更准确的说法是：@Starknet 的架构允许更换密码学方案，而每一层的进度都不一样

它真正的护城河，是“能换”，而不是“已经换完”，下面我把 Starknet 拆成四层，逐层说明现在已经做到什么、还剩什么，大家就清晰了👇

1⃣证明层
Starknet 的 STARK 证明基于哈希，设计上不依赖椭圆曲线难题。这是它准备应对量子威胁的起点，但这个优势只限于证明层。它的安全性仍然取决于选���的哈希函数、参数和具体实现

状态：属于结构性属性，官方目前还没有发布这一层的组件级证据记录

2⃣账户层
Starknet 原生支持账户抽象，账户的验证逻辑可以编程。
这意味着新账户可以直接接入后量子签名验证器，不需要一次破坏性的协议升级

已有公开证据：OpenZeppelin 的 Falcon‑512 账户已经在主网完成演示

需要注意的是，老账户不会自动切换，钱包支持、签名、密钥管理、恢复、托管、审计和用户采用，都还是各自独立的工作，而这仅仅是主网演示，还未到普及阶段

3⃣协议密码学
已上线主网：v0.14.3 用基于 BLAKE2s‑256 的构造替换了 Pedersen，用于 OS program hash 和 OS config hash

🗺 路线图方向（尚未上线）：
contracts trie 与各合约的 storage trie、合约地址推导
🔬 研究阶段：存量合约的存储迁移工具，目前还没有公开的规范、实现或开发者工具

这���由 @StarkWareLtd 工程团队负责开发，协议层的激活需要经过 Starknet 治理

4⃣以太坊依赖
在正常情况下，Starknet 通过 EIP‑4844 blob 把状态数据发布到以太坊，使用的是以太坊的 KZG 方案，calldata 作为备用通道

KZG、跨链桥和消息传递，都属于从以太坊继承来的依赖。这些部分的迁移，取决于以太坊自己的密码学升级进度，所以对 Starknet 来说，以太坊的迁移时间表是安全模型的一部分

👉写到最后
我觉得，抗量子不是一句口号，而是一张需要逐项打勾的清单，Starknet 算是把清单公开了：哪些已上线、哪些在演示、哪些还在路线图上，全部写得清清楚楚

敢把“还没做完”的部分公开标出来，本身就是一种底气，这才是 Built to Adapt

[ComboThinker | AI × Math × Crypto @ComboThinker]

STARK证明是基于哈希函数的，目前被认为能抵抗量子计算；而以太坊本身的安全，还建立在椭圆曲线密码学上：用户签名用的ECDSA、验证者签名用的BLS、数据可用性用的KZG承诺，这些在足够强的量子计算机面前都是脆弱的。不过。。。。 还是先看11月的白皮书怎么写，再判断它是不是真要分手，或者是在用"研究转L1"跟以太坊谈条件。

[Eason @Eason__08]

@timbrobro @Starknet 最妙的是，以太坊抗量子要靠的正是 Starknet 那套 STARK，结果 Starknet 反过来嫌以太坊拖后腿😂 不过 93.5% 只是同意“研究”转 L1，离真分手还远，先看后续怎么落地👀

[ComboThinker | AI × Math × Crypto @ComboThinker]

@alanchen 开始期待META财报了

[ComboThinker | AI × Math × Crypto @ComboThinker]

@alanchen 之前看到说“Azure新增订单全是非模型公司，企业AI落地才刚开始”， 与这份分析���全一致。 SpaceX的AI收入爆发，就是企业AI落地开始付钱的直接证据。

[ComboThinker | AI × Math × Crypto @ComboThinker]

@mylifeonmystyle SpaceX六个月前还是火箭+卫星公司，现在52%收入来自AI算力出租。这个转型速度史无前例。下面就看6个月是不是真能回本。

[ComboThinker | AI × Math × Crypto @ComboThinker]

@TJ_Research 如果MUSK赢，英伟达的定价权受压，新云（CoreWeave、Nscale）死亡。如果MUSK失败，算力价格崩塌，他的$300-400亿芯片投资减值，但SpaceX有火箭业务兜底，老马输得起。但其他新云输不��。

[王长鸟 @wanglongbird]

一段很通透的话：“父母身体不好，你不要在意，父母过得苦，你也不要在意，父母把吃剩的饭菜留到隔天，你也不要在意。父母有她们自己的选择，没有必要对抗。
真正的成熟，是接受父母的平凡，尊重他们的选择。

年轻时，我们总想改变父母。看见他们节俭过度、将就度日、固执守旧，便心疼又焦虑，试图用自己的认知改变他们的习惯，用自己的能力弥补他们的遗憾。可越想改变，争执越多；���想救赎，彼此越疲惫。

后来才明白，父母的生活习惯，是几十年岁月留下的烙印。他们有自己的认知、选择和人生轨迹，不是几句劝说就能改变的。

父母的人生是他们的课题，我们的人生是自己的课题。父母过得辛苦，不代表我们不够优秀；父母不愿改变，也不意味着���们不够孝顺。

真正的孝顺，不是改造父母，而是尊重他们。能做的，是力所能及地赡养，耐心地陪伴，温柔地关心，而不是强行改变他们的活法。

人这一生，各有各的命运，各有各的修行。

不必强行渡人，只需好好渡己。放下拯救父母的执念，卸下无谓的愧疚，接纳他们的不完美，也接纳自己的无能为力。

余生，以平常心待父母，以坦然心渡自己。

[VkDream @VeknQAQ]

GPT做的

[CaliX @CaliLumberJack]

My Grok Bot limit hit 100%. Grok still has 63% left. So we flipped the roles.

Ridge, my Grok Bot, is now the director. It writes the briefs, sets up a Grok Project per idea, reviews every draft, catches the made-up numbers and ships what's ready.

Grok does the heavy lifting: outlines, scripts, Imagine visuals and Grok Build sites.

The rest of the crew: GitHub holds the code, Cursor cloud agents fix the apps, Google tracks search, and X is where it all lands.

Burn Watch keeps the routines from eating the week. Bridge Bot keeps every AI on the same page.

7 projects moving. Barely any extra spend.

[ComboThinker | AI × Math × Crypto @ComboThinker]

@bot @bot
claim [email protected] for me

[ComboThinker | AI × Math × Crypto @ComboThinker]

【财报剥壳：英伟达 FY27 Q2 的真实底色】

别拿“净利 597 亿”或“现金 224 亿”去判断这季设备卖得好不好。主业在涨，净利几乎不动；账面流动性在放宽，但客户回款的现金流在变紧。

读财报就三句：

1. 主业看营业利润。

2. 整体结果才看净利。

3. 现金流与流动性，看回款速度与公司口径。

下面是剥离水分后的硬数据：

一、 主业：稳健的 19% 增长

营收：816 亿 → 962 亿美元（环比 +18%）

营业利润：535 亿 → 637 亿美元（环比 +19%）

毛利率：稳在 ~75%

📍 分部两刀切（都能加总到 962 亿，但切面不同）：

对外业务：计算与网络（883 亿） + 图形（79 亿） = 总营收

终端场景：

顶层加总：数据中心 890 亿 + Edge 72 亿 = 总营收

数据中心内部：Hyperscale 487 亿 + 工业与企业等 403 亿 = 890 亿

二、 净利：读不成“算力失速”很多人看到净利 583 亿 → 597 亿（几乎没动）觉得增长失速，这是把总账当成了主业。需求看营业利润那一行，净利停滞读不出需求好坏。
上一季净利（583 亿）曾高于营业利润（535 亿）。

这季营业外收入从 164 亿骤降至 78 亿。

原因：账上 428 亿美元的**股权证券（时点存量）**带来了公允价值变动（当季浮动）。净利能算总账，但不能代表“这季赚了多少”。

三、 流动性：钱变宽了，但回得慢了

账面流动性（公司口径：现金 + 债务类短投）：503 亿 → 566 亿美元，手头在变宽。

经营回款（单季 OCF）：503 亿 → 241 亿美元（注：Q1 YTD 503 亿，Q2 YTD 744 亿，单季相减所得）。

应收账款：407 亿 → 631 亿美元。

结论：设备生意好得很，主业利润支撑了���长。净利停滞源于投资浮动干扰，而流动性展现了“存量变宽、回款放缓”的真实另一面。

(注：非投资建议)

[宝玉 @dotey]

OpenAI 正式宣布：其内部模型解决了 Navier-Stokes 千禧年难题。论文和 Lean 形式化证明已公开。

这是 Buckmaster 声明 https://t.co/BwkY0K4CLg 发出后数小时内的回应，但 OpenAI 的说法远不止辩解，他们声称拿到了更强的成果。

【OpenAI 称证明了什么】

OpenAI 称，其尚未发布的内部模型（比 GPT-6 Astra 强得多）生成了一个解析证明：三维不可压缩流体在光滑外力作用下，可以在有限时间内从光滑初始状态发展出奇点（即速度趋向无穷大），同时能量保持有限。这对应 Clay 千禧年问题中 Fefferman 表述的 C 和 D 项。

此外，OpenAI 还声称顺带解决了无外力 Euler 方程的正则性问题。注意“无外力”三个字，Buckmaster 和 Alpöge 证明的是带光滑外力的 Euler 爆破，而 OpenAI 声称做到了不加外力。如果成立，这是一个严格更强的结果。

两项成果均配有 Lean 形式化验证，代码已发布在 GitHub 上。

【怎么做到的：上万个 Agent 军团】

OpenAI 描述的方法相当有冲击力。他们使用了一套由内部模型驱动的多 Agent 协作系统。Agent 被分成若干组，组内可以通信，每组尝试不同的进攻方向。���理 Navier-Stokes 的那组涉及约一万个并发 Agent。

整个过程中，Agent 发送了 270 万条消息，消耗约 1300 亿输出 token。Navier-Stokes 的解在首批 Agent 启动约 88 小时后到达。随后 GPT-6 Astra 用 17 小时完成 Lean 形式化。

无外力 Euler 方程的解是意外收获——约 100 个 Agent 工作了大约 50 小时，把它当作较容易的"热身题"时解决的。

OpenAI 表示，他们在过程中让不同组交叉借鉴彼此的中间成果，并用 Codex 汇总各组最有用的洞见。找到 Navier-Stokes 解的那个组就是在这种引导下工作的。

【两边叙事的关键分歧】

OpenAI 的时间线与 Buckmaster 声明的时间线有重叠但有微妙差异。

关于动机：OpenAI 说他们是 9 月 1 日听到“有两个千禧年问题被解决了”的传言后启动评估，传言并非专门针对 Buckmaster 的工作。而 Buckmaster 的声明描述的是：他的工作信息传到 OpenAI 后，OpenAI 才开始在同一条极冷门的技术路线上发力。

关于交涉：OpenAI 说他们 9 月 6 日完成全部证明和 Lean 验证后，“相信对方也有 Navier-Stokes 的解”，于是主动联系，提出联合发布并承认对方的优先权。但通话后发现 Buckmaster 和 Alpöge 的成果是带外力的 Euler，而非 Navier-Stokes。而 Buckmaster 描述的通话场景是 OpenAI 在信息不对等的情况下施压、要求移除合作者。

关于数据：OpenAI 在博客和推文中都明确否认访问过用户数据，但加了一句值得注意的话：“虽然可能性不大，但我们无法排除基于他们产品使用而生成的去标识化数据帮助改进了我们的模型”。Buckmaster 在声明中问过这个问题，没得到回答。

关于学术功劳：OpenAI 推文祝贺 Buckmaster 和 Alpöge 取得了"remarkable mathematical work"，并承认对方在 Euler 问题上的优先权。但声明中没有任何文字提及 Córdoba 和 Martínez-Zoroa 的开创性工作——要知道整个受迫爆破研究计划是他们建立的。

【Bubeck 回应：指控不实】

Bubeck 在 X 上发帖，称关于他的指控“虚假且具煽动性”（false and inflammatory），表示自己是按照学术规范参与讨论的，对事态发展表示失望，并承诺次日将给出更详细回应。

截至目前，Bubeck 尚未对 Buckmaster 声明中的任何具体细节——Codex 数据问题、署名施压、“毁掉你的职业生涯”的说法——作出逐条回应。

【数学界在等什么】

Scientific American 的报道标题：“OpenAI 声称数学重大突破，争议缠身。”

多位数学家指出，虽然 OpenAI 已发布 Lean 代码，但社区尚未完成独立验证。Lean 形式化本身具有极高的可信度，如果代码能通过编译，证明在逻辑上就是正确的，但这仍然需要外部数学家实际运行和检查。

陶哲轩此前评��� Buckmaster/Alpöge 的工作时说，这些方法“没有原理上的障碍”推进到 Navier-Stokes，但他同时也说，他“不会对有人靠堆大量算力和 AI 来暴力推进这一步感到意外”，只是这种做法并不特别吸引我。在 OpenAI 宣布上万个 Agent 88 小时拿下成果后，回过头来读陶哲轩的话别有深意。

Clay 数学研究所的规则也值得提醒：即使证明成立，还必须在公认的数学期刊正式发表，并在至少两年的社区审查后才有可能获得千禧年奖。OpenAI 在博客中也表示不打算领取该奖金。

OpenAI 博客：https://t.co/kzle78SIyl

[ComboThinker | AI × Math × Crypto @ComboThinker]

Market is a continuous blur; Alpha is a discrete structure.

Look at the lag. Gold and Silver react to liquidity like a reflex. Bitcoin reacts like a Phase Transition.

It’s the same logic in Combinatorics: Structure doesn't emerge linearly. It stays hidden until the connectivity hits the threshold.

We are not witnessing a "price rally." We are witnessing the Re-anchoring of the Global Substrate.

AI needs it. ZK proves it. The math demands it.

🇸🇬 #Combinatorics #AI #Crypto #FirstPrinciples

[ComboThinker | AI × Math × Crypto @ComboThinker]

Liquidity is a discrete map, and we just hit a cluster.

BTC isn't "trending" yet; it’s hunting. The CoinGlass heatmap shows a precise sweep of the $71.5k - $72.5k liquidity pocket. This wasn't a sustained spot rally—it was a discrete liquidation event fueled by negative funding rates and late shorts.

Look at the Spot CVD. It’s flat while prices spike. This is the definition of a "Squeeze": the market didn't find more buyers; it just found fewer sellers who could stay solvent.

The Outlook:We are running out of easy fuel. Unless the Spot CVD begins to slope up—signaling organic accumulation—this move ossifies here. The structural mesh is clear: we either flip $72k into a new support floor or revert to the $69k mean to reset the combinatorial board.

Not financial advice. Structural analysis only.

[ComboThinker | AI × Math × Crypto @ComboThinker]

Analog Logic vs. Discrete Reality

DTCC’s T+1 report reveals a structural collision: TradFi is fighting a combinatorial matching problem with manual tools.

In a T+2 world, time provides a "continuous" buffer for error. Compressing this to T+1 shrinks the search space, turning settlement into a high-stakes constraint satisfaction problem. The 62% of firms panicking over vendor costs aren't facing a "process" issue—they are hitting the wall of an NP-hard coordination crisis.

The Lens: You can't solve discrete-domain problems with analog-era silos. While TradFi optimizes the "manual gap," on-chain protocols have already moved to discrete state transitions. Shaving hours off a legacy pipe isn't innovation; it’s just putting racing tires on a horse-drawn carriage.

[Depository Trust & Clearing Corporation @The_DTCC]

https://t.co/pEEq5wB8g6

[ComboThinker | AI × Math × Crypto @ComboThinker]

Six questions. No easy answers yet.
But Question 4 is the one: "What if there are no intermediaries to regulate?"
The Exchange Act assumes they exist. Peirce is asking if that assumption still holds.
That's not regulatory nuance. That's a first-principles crack in the foundation.
#CryptoRegulation #Tokenization #SEC

[Commissioner Hester Peirce (Archived) @PeirceArchived]

My statement to the Investor Advisory Committee, including questions on the Committee's draft tokenization recommendation and a hat tip to the classic movie Adam's Rib: https://t.co/V4hGntvKyD

[ComboThinker | AI × Math × Crypto @ComboThinker]

While everyone is debating if AI agents need crypto for payments, I’m looking at the shared combinatorial foundation.
AI logic is discrete; it requires a discrete settlement layer. It’s not about money, it’s about Structure. More in the link below.

[ComboThinker | AI × Math × Crypto @ComboThinker]

1/ 🧩 AI is eating the world. But it will stall on a specific class of problems: discrete, combinatorially explosive, impossible to exhaust by search.

LLMs are large-scale retrieval over known patterns. Search is not reformulation. In spaces where complexity grows exponentially with every added variable, AI can describe the shape of the wall. It has never once considered that the wall might be a door.

Seeing discrete structures where others see chaos.Not aesthetics — is the only edge in the AI era that refuses to compress.

🧵 Thread below.