O que posso fazer em Descobrir?
background
discoveryBanners
Tópicos em alta
#
Bonk Eco continues to show strength amid $USELESS rally
Hosico
Hosico+0,49%
USELESS
USELESS-9,12%
IKUN
IKUN+1,04%
gib
gib-4,84%
#
Pump.fun to raise $1B token sale, traders speculating on airdrop
Bonk
Bonk-3,63%
ALON
ALON-4,16%
LAUNCHCOIN
LAUNCHCOIN-15,79%
GOONC
GOONC+3,03%
KLED
KLED-7,59%
#
Boop.Fun leading the way with a new launchpad on Solana.
BOOP
BOOP+0,11%
Boopa
Boopa-12,25%
PORK
PORK+7,23%
Ernest Ryu
Ernest Ryu
31 de out. de 2025·
Acredito firmemente que estamos em um momento decisivo na história da matemática. Nos próximos anos, o uso de LLMs para pesquisa matemática se tornará popular, assim como a formalização Lean, facilitada pelos LLMs. (1/4)