Trending topics
#
Bonk Eco continues to show strength amid $USELESS rally
Hosico
Hosico+7.86%
USELESS
USELESS-0.9%
IKUN
IKUN+0.7%
gib
gib+5.04%
#
Pump.fun to raise $1B token sale, traders speculating on airdrop
Bonk
Bonk+1.1%
ALON
ALON+1.26%
LAUNCHCOIN
LAUNCHCOIN-0.17%
GOONC
GOONC+0.76%
KLED
KLED+7.81%
#
Boop.Fun leading the way with a new launchpad on Solana.
BOOP
BOOP-0.05%
Boopa
Boopa+2.56%
PORK
PORK0.00%
Ernest Ryu
Ernest Ryu
Oct 31, 2025·
I firmly believe we are at a watershed moment in the history of mathematics. In the coming years, using LLMs for math research will become mainstream, and so will Lean formalization, made easier by LLMs. (1/4)