BTCBTC
💲76305.13
-
4.97%
ETHETH
💲2261.64
-
6.74%
SOLSOL
💲89.76
-
5.88%
ZECZEC
💲1245.38
-
3.3%
XAUXAU
💲4113.27
+
1.1%
USDCUSDC
💲1.00
-
0%

孙宇晨（去过太空版）🧑‍🚀
孙宇晨（去过太空版）🧑‍🚀|Nov 05, 2026 11:48
Erdős problem 650 has yielded an exact solution, and the related proof has been formally verified using Lean. It is gratifying to see both the complete mathematical solution and the formal verification using Lean recognized.
+6
Mentioned
Share To

Timeline

Nov 05, 15:00Mira launches AI model inference service Sterling
Nov 05, 14:58Mira launches AI model validation service Sterling
Nov 05, 14:43Focus on the actual performance of AI model API service providers
Nov 05, 14:09Oracle Cloud Registration Tutorial
Nov 05, 13:56AI agents can track the flow of funds
Nov 05, 07:30Robinhood CEO says all code will be validated within two years.
Nov 05, 04:30No cybersecurity model has been released to fix Linux kernel vulnerabilities.
Nov 05, 02:27OpenAI releases cybersecurity model to fix Linux vulnerabilities.
Nov 05, 02:05Bitcoin pushes forward with BIP-54 soft fork to fix vulnerabilities
Nov 04, 23:41OpenAI discloses its self-developed vulnerability pipeline.

HotFlash

APP

X

Telegram

Facebook

Reddit

CopyLink

Hot Reads