トレンドトピック
#
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.
Harmonic
数学的超知能の構築
これが起こり始めている。
@leanproverによる形式的検証を組み込んだアリストテレスのようなAIツールは、数学者になるための参入障壁を劇的に下げるでしょう。
そうすることで、数学者の数と生成される数学コンテンツの総量が大幅に増加するでしょう。
12月21日 19:52
もっと多くの人がミレニアムプライズ問題を楽しみで、特に正式に試してみて、人間のチェックの負担が減ればいいのにと思います。ほとんどが失敗しますが、失敗が問題や誤った前提について有益な議論を生み出します。どうか健康的に接してください
52
今後のすべてのソフトウェアは正式に検証されます。まだ早いです。
12月19日 20:32
はい、エルデのアリストテレス問題を証明するのは素晴らしいことです@HarmonicMath、でもLeetCodeスタイルの解法を検証するために使ってみましたか?
あります。これは機能します(不変推論は...まだ速くはない)。
51
私たちは数学の黄金時代に突入しています
12月18日 05:27
コンピューターが私たちより数学が上手くなった今、数学を専攻する意味はあるのでしょうか?
37
トップ
ランキング
お気に入り