トレンドトピック
#
Bonk Eco continues to show strength amid $USELESS rally
#
Pump.fun to raise $1B token sale, traders speculating on airdrop
#
Boop.Fun leading the way with a new launchpad on Solana.
Erdős問題ウェブサイトのオーナー兼管理者として、#124へのこの解決策に関するコメントをいくつか載せたスレッドをご紹介します。
1) これはAIが形式的文から提供し、人間の関与なしに提供し、その後Leanで形式化した良い証明です。これだけでもすごい!
トップ
ランキング
お気に入り