A COMMUNITY CONTRIBUTION TO MATHEMATICSSUNPRICE / TRON

为下一次证明,添一份可能。

我们把对数学的支持,写进一笔笔可查证的赞助。

累计赞助孙宇晨奖奖池

USDT

正在读取赞助账本…

已确认赞助交易

最近一笔赞助

赞助资产 / 网络

USDT TRON · TRC-20

正在连接账本数据以链上确认到账为准
01 / THE OPEN LEDGER

支持,经得起核验。

指定奖池收款地址TRON MAINNET
TBgGFBnqZuDeGkf4nyiaEo7mj3NodxYJBL
Tronscan
SUNPRICE 合约向指定奖池赞助 USDT 的已确认交易
到账时间 UTC+8来源赞助金额 / USDT链上凭证

正在读取记录

每一笔赞助都将保留可核验的交易凭证。

仅展示已确认到账记录
这份账本如何计算?

累计赞助 = SUNPRICE 合约向上述奖池地址实际转出的、已确认的官方 TRC-20 USDT 总额。按 USDT 的 6 位小数精确累加,不以代币价格或奖池余额推算。

买入和卖出各收取 2% 税币,累积到兑换条件后,经 SUNPRICE → WTRX → USDT 路径兑换并支付。只有成功到账才计入;转给其他地址的资金不计入本账本。尚未部署时没有可查询的来源合约,页面会明确标记等待接入。

保留 owner 修改收款地址的权限,放弃管理权后当前地址固定。本页始终只统计流向上述指定奖池的款项。链上数据由 TronGrid 提供,可通过每笔交易的 Tronscan 链接复核。累计额是历史到账总额,不是奖池当前余额,也不代表奖金已发放。

SUNPRICE 来源合约:正在读取。

02 / NOTES ON MATHEMATICS

在答案到来之前。

关于证明、好奇心,与漫长的坚持。
随笔 01PROOF

一万个例子,
仍在等待一个证明。

计算可以把一个猜想推到很远,远到我们几乎愿意相信它。但“已经检查过的每一个”与“所有”,中间仍隔着一个量词。

继续阅读

例如 n² + n + 41,在 n 从 0 到 39 时都给出素数;到了 n = 40,结果却是 1681,也就是 41²。一长串成功的例子,并没有替下一步作出保证。

证明的珍贵,在于它跨过了这道缝隙。它不靠检查得足够多,而是说明为什么没有遗漏。支持数学,也是在支持那些愿意停下来、追问“为什么对所有情况都成立”的人。

随笔 02INFINITY

有限的投入,
也能通向无穷的想象。

从 n = 1 开始,把 1/2、1/4、1/8 不断加下去,每一步都有限,极限却能被准确描述。无穷,并不总是意味着无法把握。

继续阅读

前 N 项的和等于 1 − 2⁻ᴺ。这个简单的等式,让我们知道离 1 还差多少,也让“越来越近”变成一句可以检验的话。

一笔赞助当然无法保证一个难题被解决。它能做的,是为一次尝试多留一点空间。我们无法预告突破的日期,却可以把今天的支持,记录得清清楚楚。

随笔 03VERIFICATION

让直觉开路,
让核验落笔。

直觉让人看见可能的方向,证明让别人能够沿着同一条路走回来。数学的说服力,不只在于答案,更在于过程可以被检查。

继续阅读

形式化证明把假设、定义和推理规则明确写出,再由证明检查器逐步核验。机器检查有它的边界:它核验的是给定形式系统中的推导,定义是否表达了原问题,仍需要认真审视。

这份账本也遵循一个朴素的想法:尽量把主张留给可检查的证据。我们说赞助已经到账,就应当附上一笔能打开、能核对的交易。

答案值得等待。
支持,可以从此刻开始被记录。

CURIOSITY, WITH A RECORD.