Popularne tematy
#
Bonk Eco continues to show strength amid $USELESS rally
Hosico
Hosico+5,09%
USELESS
USELESS-6,08%
IKUN
IKUN-4,55%
gib
gib+4,89%
#
Pump.fun to raise $1B token sale, traders speculating on airdrop
Bonk
Bonk-3,15%
ALON
ALON+1,01%
LAUNCHCOIN
LAUNCHCOIN-17,21%
GOONC
GOONC+1,72%
KLED
KLED+13,48%
#
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 lut 2026·
1/ AxiomProver rozwiązał otwartą konjekturę Fel’a dotyczącą syzygi numerycznych półgrup, autonomicznie generując formalny dowód w Lean bez żadnego ludzkiego wsparcia. To pierwszy raz, kiedy system AI rozwiązał nierozwiązany problem badawczy w matematyce teoretycznej i samodzielnie weryfikuje.