Trend Olan Konular
#
Bonk Eco continues to show strength amid $USELESS rally
Hosico
Hosico+%16,38
USELESS
USELESS+%2,87
IKUN
IKUN+%3,72
gib
gib-%3,46
#
Pump.fun to raise $1B token sale, traders speculating on airdrop
Bonk
Bonk-%0,61
ALON
ALON+%0,21
LAUNCHCOIN
LAUNCHCOIN+%2,58
GOONC
GOONC-%1,48
KLED
KLED+%8,57
#
Boop.Fun leading the way with a new launchpad on Solana.
BOOP
BOOP+%1,15
Boopa
Boopa+%0,64
PORK
PORK%0,00
Axiom
Axiom
10 Oca 01:45·
1/ AxiomProver Putnam 2025'in 12/12'sini aldı. Bugün, AxiomProver'ın otonom olarak üretilen Lean kanıtlarını yayınlıyoruz. Ayrıca problemlere kendi bakış açımızı sunuyoruz, görselleştirmeleri kanıtlıyor ve insan ile yapay zeka arasındaki yaklaşımları karşılaştırıyoruz. Çok eğlenceli matematik ve Lean! Bulgularımız thread'de.