多条中文加密推文围绕SmartX、ENinance、火币、孙宇晨奖和币安中秋Meme等项目营销叙事展开。AB Kuai.Dong介绍SmartX进入临近上线的早鸟名单阶段，称其希望把跟谁交易、什么信号和怎么下单做成可查链上战绩的社交产品。麦克则借“ENinance”调侃KOL信徒经济和新一代交易所想象。孙宇晨发布“火币手续费全网最低”，Mr Potato解释孙宇晨数学奖的上链奖池机制，小铁则推广“币安中秋”Meme，将CZ、Binance和中秋节点组合成社区传播素材。整体显示币圈项目继续依赖交易所背书、链上透明、名人影响力和节日Meme制造关注。
参与帖子: 孙宇晨奖这事，别先被那篇长文吓到。说白了就一件事：数学题挂出来，解出来再让机器一行行核完，钱就打。题单只加不减，奖池已经上链，连他自己也抽不走。
9月16号 @justinsuntron 发的。圈里这几天两极分化，有人觉得像诺贝尔，有人觉得像 Erdős 当年给人开支票，也有人直接说原文太端着。文风先放一边，机制倒是挺币圈的——不看身份，不看年龄，不等评委会开会，只认结果。
每道题两栏名字。
一栏证明者，把题解出来的人；一栏形式化者，把证明搬进机器的人。可以是同一个人，也可以互不认识。人行，AI 行，人带着 AI 也行。钱什么时候动，就看机器能不能从第一行核到最后一行。数学界先认了，名字可以先挂上，状态写成「已证明，待形式化」，钱先不动。等 Lean 这类工具跑通，钱才走。上架前就已经解掉的题，证明者记名，钱只给后来把它形式化的人。这个奖不给数学史补发工资。
孙宇晨自己只定两件事：哪些题上架，每题开多少价。挂出去就锁死，写错了也照付，然后再重挂。验证、发钱、挂名，他插不上手。
官方说奖分五档，最高单题 100 万美元。千禧年那一类难题，外面传的也是这个量级。提交走 GitHub，证明公开，发放记录上链。你不用信他，去看余额就行。
他为什么搞这个，倒也说得直白。区块链这行，地基就是那几条数学假设：椭圆曲线难解、哈希不可逆、大数难拆。1985 年两个人各自想到用椭圆曲线做密码，那年没人觉得这东西能换钱，后来撑起了一个万亿市场。他的意思很简单，钱从数学来，就该回到数学去。
传统奖确实有点跟不上。菲尔兹四年一次，还卡 40 岁；阿贝尔一年一次。现在一个猜想可能几个月就有进展，AI 也���替人试很多条路。四年敲一次的钟，挂在按天走的节奏里，是有点慢。所以这个奖把空着的那一栏做成了施工图。谁去填，谁拿钱。形式化的人从来不缺热情，缺的是带价码的活。
对咱们这行来说，这层意思更实在。钱包、签名、共识、零知识，底层全是证明。现在把「机器能不能核完」直接做成结算条件，等于把学术悬赏写成了链上订单。信不信人先放一边，逻辑和余额是能核对的。
至于他本人争议大不大，原文也没装蒜：名单是唯一的回答，这个奖等得起。我倒觉得，现在最不该吵的是文风。题单、规则、GitHub、链上地址都在明面。后面真正有分量的，是第一批被机器核过、钱真打出去的题。
@justinsuntron #TRONEcostar
参与 1 帖贡献曝光 1.1万话题热度 130
#SmartX#ENinance#火币
