Trendande ämnen
#
Bonk Eco continues to show strength amid $USELESS rally
Hosico
Hosico+5,89 %
USELESS
USELESS−4,72 %
IKUN
IKUN−2,46 %
gib
gib+4,89 %
#
Pump.fun to raise $1B token sale, traders speculating on airdrop
Bonk
Bonk−3,33 %
ALON
ALON+0,37 %
LAUNCHCOIN
LAUNCHCOIN−0,68 %
GOONC
GOONC+1,72 %
KLED
KLED+13,26 %
#
Boop.Fun leading the way with a new launchpad on Solana.
BOOP
BOOP−0,08 %
Boopa
Boopa+2,56 %
PORK
PORK0,00 %
Axiom
Axiom
6 feb. 2026·
1/ AxiomProver har löst Fels öppna gissning om syzygier av numeriska semigrupper, och genererar autonomt ett formellt bevis i Lean utan någon mänsklig vägledning. Detta är första gången ett AI-system har löst ett olöst forskningsproblem inom teoribyggande matematik och självverifierar.