Lemma
Gavin Wood在新加坡的演讲：Polkadot JAM - 币界网
本文是根据Gavin Wood2024年9月16日在新加坡Polkadot Decoded Asia演讲时所展示的PPT翻译而成。 Lemma 1 :All stable social systems
AI颠覆数学研究！陶哲轩借AI破解数学猜想，形式化成功惊呆数学圈 - 币界网
原文来源：新智元 图片来源：由无界 AI生成 陶哲轩呼吁：数学家们一定要学会用AI了 历时三周，陶哲轩成功地用AI工具完成了形式化多项式Freiman-Ruzsa猜想证明过程的工作。他再次呼吁数学研究
Attestor Capital就拙劣的FTX索赔交易展开法律诉讼-最新加密货币新闻 - 币界网
FTX破产的后果持续存在，因为这家已倒闭交易所的主要利益相关者Attestor Capital对索赔卖方Lemma Technologies提起诉讼。Attestor是一家专门从事不良资产的伦敦对冲基