BTCBTC
💲80285.48
-
1.6%
ETHETH
💲2324.95
-
3.48%
SOLSOL
💲100.74
-
3.51%
ZECZEC
💲1160.15
-
7.42%
NEARNEAR
💲4.43
-
9.03%
XRPXRP
💲1.28
-
2.29%

孙宇晨（去过太空版）🧑‍🚀
孙宇晨（去过太空版）🧑‍🚀|Oct 23, 2026 02:43
AI assists in mathematical solving, and Lean verifies the logical correctness of proofs. Both are important for the Sun Yuchen Award.
+6
Mentioned
Share To

Timeline

Oct 24, 15:07On-chain financial infrastructure needs to meet privacy and verification requirements.
Oct 24, 11:54Moonshot AI releases Kimi K3.1 Pro model
Oct 24, 10:37Succinct's SP1 has been found to have a high-severity vulnerability.
Oct 24, 07:49Primus Season 2 Creator Event Begins
Oct 24, 00:26OPL3 FM synthesis simulation code on Raspberry Pi Pico 2
Oct 23, 18:31Cutting edge technology and cryptocurrency are merging
Oct 23, 09:01Anthropic uses Claude to formalize and validate 123 open-source libraries
Oct 23, 07:55OpenAI proxy dismantling security monitoring system
Oct 23, 03:01Paranoid developer proposes EIP-8288 recursive aggregation scheme
Oct 22, 23:24Bitcoin and Ethereum lack bulk secure signatures

HotFlash

APP

X

Telegram

Facebook

Reddit

CopyLink

Hot Reads