Populære emner
#
Bonk Eco continues to show strength amid $USELESS rally
Hosico
Hosico+5,17 %
USELESS
USELESS−2,07 %
IKUN
IKUN−1,87 %
gib
gib+3,66 %
#
Pump.fun to raise $1B token sale, traders speculating on airdrop
Bonk
Bonk−1,02 %
ALON
ALON+2,68 %
LAUNCHCOIN
LAUNCHCOIN−1,89 %
GOONC
GOONC+1,72 %
KLED
KLED+9,81 %
#
Boop.Fun leading the way with a new launchpad on Solana.
BOOP
BOOP−1,98 %
Boopa
Boopa+2,56 %
PORK
PORK0,00 %
Axiom
Axiom
6. feb. 2026·
1/ AxiomProver har løst Fels åpne formodning om syzygier av numeriske semigrupper, og genererer autonomt et formelt bevis i Lean uten menneskelig veiledning. Dette er første gang et AI-system har løst et uløst forskningsproblem innen teoribygging og selvverifiserer.