强胜牛通 | crypto

我为什么要设立孙宇晨奖一诺贝尔发明了炸药。他一生的财富，大部分来自这件东西。据说1888年，一家法国报纸误发了他的讣告，标题叫"死亡商人死了"。他读到了自己的讣告，几年后立了遗嘱。今天没有人再叫他死亡商人。 "诺贝尔"变成了一个中性的名词，像"伏特"和"瓦特"一样，不带感情，只是一个单位。他把钱交给"对人类做出最大贡献的人"，钱回到了人类手里，他的名字也随之回归中立，不是靠辩护，是靠一百多年的获奖名单。我讲这个故事，是因为我理解他。我知道钱从哪里来，也知道钱可以去哪里。二我的财富，根源是数学。区块链这个行业，整体建立在几个长期研究支撑的密码学构造与安全假设上：椭圆曲线上的离散对数难解，哈希函数不可逆，大数难以分解。1985年，两个数学家各自想到可以用椭圆曲线做密码，一个在大学，一个在IBM，互不相识。那年没有人觉得这件事有用。他们在黑板上写下的东西，后来变成了一个万亿美元的市场，变成了一种前所未有的东西——一个人可以完全支配自己的财富，不需要任何人许可。他们自己，一分钱没有拿到。这种自由，是数学对人类最被低估的馈赠之一。我从这份馈赠里拿走了很多。设立这个奖，首先是还债。三诺贝尔奖没有数学奖。这是一百多年前的一个疏漏，也许有私人原因，也许只是没想到。后来有了菲尔兹奖，四年一次，四十岁以下；有了阿贝尔奖，每年一次，奖励一生的成就。它们都很好，但它们的节奏，是上一个时代的节奏。数学界其实有过另一种奖。Erdős一辈子给问题标价，从二十五美元到一万美元，谁解出来，他就开一张支票。很多人把支票裱在墙上，一辈子没有兑现。他1996年去世，之后那种支票开得越来越少。而数学正在进入一个不同的时代。人工智能做不了实验，但它能推导；人工智能很难替物理学家造一台对撞机，但它可以替数学家试一万条路。今天一个猜想从提出到解决，可能是几个月，也可能是几天。一个四年颁一次的奖，面对这样的速度，像一座四年敲一次的钟，挂在一个以天计时的时代里。四所以孙宇晨奖的规则很简单。奖跟着题目走，不跟着人走。不等年会，不等提名，不等年龄。每道题，两栏署名。一栏记证明者，一栏记形式化者，把证明搬进机器的那个人。两栏可以是同一个人，也可以隔着半个地球互不相识。人可以，AI可以，人用AI也可以，哪一栏我都不关心物种。同一个名字可以一次又一次出现，出现在哪一栏都行。钱只有一个触发器：机器把证明从第一行核到最后一行，一步不差。通过之后，两栏中的名单就是这道题的奖金所有者。这个标准不是我发明的。Scholze把自己最重要的定理挂出来，请人搬进机器；费马大定理，此刻正被人一行一行往里搬。机器核过之前，人类的证明也不白做。数学界接受了，名字先挂上，钱一分不动，状态栏写着：已证明，待形式化。解题那一栏的钱，只付给上架之后才被解决的题。上架时已经解决的，证明者的名字照记，钱只付给把它搬进机器的人。这个奖记录它设立之后发生的事，不给数学史补发奖金。分工是干净的：名字归数学界，钱归机器，出资人两边都不沾。人的判断只剩一件事，确认写进机器的那道题，就是那道题。还剩最后一件我说了算的事：题单。哪道题上架，开什么价，由我签字。Erdős的支票，价码也是他自己写的，这里不装例外。但货架一旦挂出，就锁死：题只加不减，钱只兑不退，包括我在内，谁也改不动。写错的题，照付，然后重挂。我的品味，全部花在这一件事上。定价之外，验证、发钱、挂名，我一票都没有。结果说了算。五这套规则里，我最喜欢的是一个"等"字。一道题被解决、被数学界接受之后，钱不马上动。证明者的名字先挂上，形式化那一栏空着，状态栏写着：已证明，待形式化。谁把这份证明搬进机器，机器核过，空栏落上名字，钱的归属之旅也在那一刻启动。在别的奖里，等是迟滞，是流程，是必要之恶。在这里，等本身是一份清单。 Erdős的支票，很多人裱在墙上，一辈子没有兑现。裱起来的钱朝后看，是纪念；挂在链上的钱朝前看，是召集。空��那里的一栏，等于对全世界说：这里有一份活，有价。于是这份题单同时长出另一个东西：一张公开的地图，标着人类已经认下、机器还没有认下的一切。这张图今天并不存在。它只有碎片，散在几处，从来没有统一过，更从来没有带过价。形式化的人从来不缺热情，缺的是一张带价码的施工图。谁去填那个空，谁拿钱。从今往后，把长证明搬进机器，热情还是他们的，账单归我。

sunyuchentron's tweet photo. 我为什么要设立孙宇晨奖

一
诺贝尔发明了炸药。他一生的财富，大部分来自这件东西。
据说1888年，一家法国报纸误发了他的讣告，标题叫"死亡商人死了"。他读到了自己的讣告，几年后立了遗嘱。
今天没有人再叫他死亡商人。
"诺贝尔"变成了一个中性的名词，像"伏特"和"瓦特"一样，不带感情，只是一个单位。他把钱交给"对人类做出最大贡献的人"，钱回到了人类手里，他的名字也随之回归中立，不是靠辩护，是靠一百多年的获奖名单。
我讲这个故事，是因为我理解他。我知道钱从哪里来，也知道钱可以去哪里。

二
我的财富，根源是数学。
区块链这个行业，整体建立在几个长期研究支撑的密码学构造与安全假设上：椭圆曲线上的离散对数难解，哈希函数不可逆，大数难以分解。1985年，两个数学家各自想到可以用椭圆曲线做密码，一个在大学，一个在IBM，互不相识。那年没有人觉得这件事有用。他们在黑板上写下的东西，后来变成了一个万亿美元的市场，变成了一种前所未有的东西——一个人可以完全支配自己的财富，不需要任何人许可。他们自己，一分钱没有拿到。
这种自由，是数学对人类最被低估的馈赠之一。我从这份馈赠里拿走了很多。设立这个奖，首先是还债。

三
诺贝尔奖没有数学奖。这是一百多年前的一个疏漏，也许有私人原因，也许只是没想到。
后来有了菲尔兹奖，四年一次，四十岁以下；有了阿贝尔奖，每年一次，奖励一生的成就。它们都很好，但它们的节奏，是上一个时代的节奏。
数学界其实有过另一种奖。Erdős一辈子给问题标价，从二十五美元到一万美元，谁解出来，他就开一张支票。很多人把支票裱在墙上，一辈子没有兑现。他1996年去世，之后那种支票开得越来越少。
而数学正在进入一个不同的时代。人工智能做不了实验，但它能推导；人工智能很难替物理学家造一台对撞机，但它可以替数学家试一万条路。今天一个猜想从提出到解决，可能是几个月，也可能是几天。一个四年颁一次的奖，面对这样的速度，像一座四年敲一次的钟，挂在一个以天计时的时代里。

四
所以孙宇晨奖的规则很简单。
奖跟着题目走，不跟着人走。不等年会，不等提名，不等年龄。
每道题，两栏署名。一栏记证明者，一栏记形式化者，把证明搬进机器的那个人。两栏可以是同一个人，也可以隔着半个地球互不相识。人可以，AI可以，人用AI也可以，哪一栏我都不关心物种。同一个名字可以一次又一次出现，出现在哪一栏都行。
钱只有一个触发器：机器把证明从第一行核到最后一行，一步不差。通过之后，两栏中的名单就是这道题的奖金所有者。这个标准不是我发明的。Scholze把自己最重要的定理挂出来，请人搬进机器；费马大定理，此刻正被人一行一行往里搬。
机器核过之前，人类的证明也不白做。数学界接受了，名字先挂上，钱一分不动，状态栏写着：已证明，待形式化。
解题那一栏的钱，只付给上架之后才被解决的题。上架时已经解决的，证明者的名字照记，钱只付给把它搬进机器的人。这个奖记录它设立之后发生的事，不给数学史补发奖金。
分工是干净的：名字归数学界，钱归机器，出资人两边都不沾。人的判断只剩一件事，确认写进机器的那道题，就是那道题。
还剩最后一件我说了算的事：题单。哪道题上架，开什么价，由我签字。Erdős的支票，价码也是他自己写的，这里不装例外。但货架一旦挂出，就锁死：题只加不减，钱只兑不退，包括我在内，谁也改不动。写错的题，照付，然后重挂。
我的品味，全部花在这一件事上。定价之外，验证、发钱、挂名，我一票都没有。
结果说了算。

五
这套规则里，我最喜欢的是一个"等"字。
一道题被解决、被数学界接受之后，钱不马上动。证明者的名字先挂上，形式化那一栏空着，状态栏写着：已证明，待形式化。谁把这份证明搬进机器，机器核过，空栏落上名字，钱的归属之旅也在那一刻启动。
在别的奖里，等是迟滞，是流程，是必要之恶。在这里，等本身是一份清单。
Erdős的支票，很多人裱在墙上，一辈子没有兑现。裱起来的钱朝后看，是纪念；挂在链上的钱朝前看，是召集。空��那里的一栏，等于对全世界说：这里有一份活，有价。
于是这份题单同时长出另一个东西：一张公开的地图，标着人类已经认下、机器还没有认下的一切。这张图今天并不存在。它只有碎片，散在几处，从来没有统一过，更从来没有带过价。
形式化的人从来不缺热情，缺的是一张带价码的施工图。谁去填那个空，谁拿钱。从今往后，把长证明搬进机器，热情还是他们的，账单归我。

470

105

261

825K

强胜牛通 | crypto @QScapital69

6 days ago

@lingboweibu319 回归现实世界，九年如一场梦

702

强胜牛通 | crypto @QScapital69

6 days ago

像呼吸一样简单

强胜牛通 | crypto @QScapital69

6 days ago

法案就不可能通过，不然川子没东西炒了

强胜牛通 | crypto @QScapital69

7 days ago

希望圈子里能多一些有责任有担当的人，而不都是孙割那种

TechFlow 深潮｜APP 已上线

@TechFlowPost

7 days ago

一边是链上交易火热，另一边是中型 CEX 的黯然离场。刚刚，运营了整整九年的 CoinEx 宣布将有序关停。平台将从 9 月 15 日起逐步停止服务，并为用户留出了截至 12 月 22 日的提现窗口。对于部分新交易员来说，CoinEx 可能有些陌生。它由 ViaBTC 矿池创始人杨海坡在 2017 年 12 月创立，早期带有浓厚的 BCH 生态色彩，主打中小市值币种。过去的九年里，它穿越了多轮牛熊，甚至在 2023 年遭遇 Lazarus 黑客盗取超 5000 万美元热钱包资产后，依然完成了全额赔付并存活至今。但就是这样一家挺过了周期和黑客的中型所，最终选择了主动画上句号, 而非因各种暴雷产生负面影响。而创始人 @yhaiyang 杨海坡在同步发出的公开信中袒露的一些心声，或许也折射了当前二线 CEX 被压垮的根本原因，那就是营收和权责的不对等。杨海坡在信中坦言：“收入可以下降，但责任不会。用有限的收入去承担无限的风险，不再是一个理性的选择。” 近年来，随着加密监管全面收紧，二线交易所的合规与安全成本已经超出合理边界。而其利润模型已很难兜底庞大的运营底线。在加密行业，中小所遇到瓶颈时的一种糟糕结局是，卖给新的买家、换皮，最后演变成无法提现的烂尾局。但杨海坡明确��示拒绝了出售平台的选项。他认为用户是基于信任将资产交给了平台，转手给新东家并不体面。平台将关停日定在 12 月 22 日，以完成全额提现。而这个日子，与其 2017 年上线日期恰好相隔九年，也算是一种笃定的有始有终。虽然平台承诺 100% 准备金和全额提现，但用户也必须注意细则中的资产清理节奏，不要错过时间点： 1. 9月29日：这一天非 USDT 资产将开始被处理。缺乏外部流动性的冷门山寨币，之后可能面临一定风险，想提取原币必须在此之前。 2. 12月22日：如果错过 12 月 22 日的提现截止日，未提取的 USDT 会被转入独立托管，并且每月收取 5% 的托管费。最后，小编觉得在 rug 频出的加密世界里，能够不跑路不卖壳，体面结束的团队还是值得尊重的，创始人的这句话也值得所有从业者思考： “A clean ending is the right ending.”（干净的结局就是最好的结局）但往前看，流动性和信任将不可逆地向持有牌照的头部 CEX 以及去中心化的链上世界两极集中；中间地带的生存空间，正在被逐渐抹平。

15K

强胜牛通 | crypto @QScapital69

7 days ago

@blmario669 @coinexcom 据说不少人出价要买，@justinsuntron也是其中之一，老板觉得不妥，还是想体面退出

强胜牛通 | crypto

@QScapital69

Last Seen Users on Sotwe

Trends for you

Most Popular Users