トレンドトピック
#
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.
Axiom
プットナム競技会の歴史の98年以上(1927年以降)で、満点はわずか5回しかありません。
AxiomProverは120/120でした。
試験に参加する生徒の皆さんに敬意を表し、今後も素晴らしい人間の生徒会委員の方々を楽しみにしています!
1月11日 01:49
AIが世界で最も難しい数学コンペティションで満点を獲得した。
プットナムの問題は12問×10点です。昨年の最高得点は90点でした。中央分離帯?0. AxiomのLean版AIプロバーは120/120のスコアを出し、すべての解答を共有しました。
数学におけるAIにとって大きな節目です。
57
トップ
ランキング
お気に入り