O que posso fazer com o Discover
background
discoveryBanners
Tópicos populares
#
Bonk Eco continues to show strength amid $USELESS rally
Hosico
Hosico-20,23%
USELESS
USELESS-7,09%
IKUN
IKUN-3,59%
gib
gib-10,15%
#
Pump.fun to raise $1B token sale, traders speculating on airdrop
Bonk
Bonk-7,14%
ALON
ALON+1,5%
LAUNCHCOIN
LAUNCHCOIN-18,91%
GOONC
GOONC-6,72%
KLED
KLED-15,14%
#
Boop.Fun leading the way with a new launchpad on Solana.
BOOP
BOOP-0,71%
Boopa
Boopa-10,5%
PORK
PORK-4,82%
Ernest Ryu
Ernest Ryu
31/10/2025·
Acredito firmemente que estamos num momento decisivo na história da matemática. Nos próximos anos, o uso de LLMs para pesquisa matemática se tornará comum, assim como a formalização em Lean, facilitada pelos LLMs. (1/4)