トレンドトピック
#
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
数学的超知能の構築
アリストテレスはFRIの健全性を形式化@leanprover 🔥
1月27日 00:19
私たちは@HarmonicMathとClaudeコードを用いてLeanでFRIの健全性を形式化しました。
- @nico_mnblおよび共同研究者によるFRI解析
- リーン証明に変換@pirapira
🔥
28
今後の数学の進め方のプレビュー
1月26日 16:17
@AcerFurによる新しいブログ記事では、エルデスの問題解決にAIツールを活用した先駆者としての経験が記されています。
31
トップ
ランキング
お気に入り