O que posso fazer com o Discover
background
discoveryBanners
Tópicos populares
#
Bonk Eco continues to show strength amid $USELESS rally
Hosico
Hosico-2,51%
USELESS
USELESS-7,44%
IKUN
IKUN+5,94%
gib
gib-6,47%
#
Pump.fun to raise $1B token sale, traders speculating on airdrop
Bonk
Bonk-4,4%
ALON
ALON+2,39%
LAUNCHCOIN
LAUNCHCOIN-12,08%
GOONC
GOONC+6,89%
KLED
KLED-9,47%
#
Boop.Fun leading the way with a new launchpad on Solana.
BOOP
BOOP-0,61%
Boopa
Boopa-2,56%
PORK
PORK+5,26%
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)