トレンドトピック
#
Bonk Eco continues to show strength amid $USELESS rally
Hosico
Hosico+3.28%
USELESS
USELESS+10.54%
IKUN
IKUN-2.2%
gib
gib+5.88%
#
Pump.fun to raise $1B token sale, traders speculating on airdrop
Bonk
Bonk+4.73%
ALON
ALON-2.75%
LAUNCHCOIN
LAUNCHCOIN-15.22%
GOONC
GOONC-5.06%
KLED
KLED+6.45%
#
Boop.Fun leading the way with a new launchpad on Solana.
BOOP
BOOP+1.4%
Boopa
Boopa-3.15%
PORK
PORK-1.46%
header
Axiom
Axiom
Axiom11時間前
Putnam(形式定理証明)からde novo数学的発見まで、Axiomで素晴らしい研究をしましょう
Scott Kominers
Scott Kominers13時間前
現在の学生は、AIモデルを大規模に実質的かつ抽象的な研究課題に活用できる最初の世代の研究者です。 2026年の@a16zcrypto見通し、QED:
2.93K
Axiom
Axiom12月11日 00:53
1/ コラッツ予想は、約90年間にわたり数学者たちを謙虚にさせてきました。ポール・エルデシュは「数学はまだそのような問題に対応できる準備ができていない」と述べました。 🧵 だからトランスフォーマーに渡したんだ。彼らが知ったことは私たちを驚かせました! Axiomの数学発見チームによる新しい研究、今朝ブログライブ。
101.56K
Axiom
Axiom12月8日 04:39
世界で最も難しい大学レベルの数学テスト、パットナムは昨日午後4時(太平洋時間)に終了しました。 今日の正午、AxiomProverはLeanの9/12問題を自律的に解決しました(昨日の午後3時58分(PTは8/12でした)。 昨年は約4000人の参加者中#1位、近年はプットナムフェロー(トップ5)でした
298.01K