Argomenti di tendenza
#
Bonk Eco continues to show strength amid $USELESS rally
Hosico
Hosico-5,98%
USELESS
USELESS-4,97%
IKUN
IKUN-4,74%
gib
gib-0,61%
#
Pump.fun to raise $1B token sale, traders speculating on airdrop
Bonk
Bonk-2,69%
ALON
ALON-5,86%
LAUNCHCOIN
LAUNCHCOIN+5,75%
GOONC
GOONC-3,08%
KLED
KLED-1,73%
#
Boop.Fun leading the way with a new launchpad on Solana.
BOOP
BOOP+0,1%
Boopa
Boopa-5%
PORK
PORK0,00%
header
Ernest Ryu
Ernest Ryu
Ernest Ryu31 ott 2025
Credo fermamente che siamo in un momento cruciale nella storia della matematica. Negli anni a venire, l'uso dei LLM per la ricerca matematica diventerà comune, così come la formalizzazione in Lean, resa più semplice dai LLM. (1/4)
736
Ernest Ryu
Ernest Ryu25 ott 2025
Ho usato ChatGPT per risolvere un problema aperto nell'ottimizzazione convessa. *Parte III* 1/N
Ernest Ryu
Ernest Ryu22 ott 2025
Ho usato ChatGPT per risolvere un problema aperto nell'ottimizzazione convessa. *Parte I* (1/N)
1,17K
Ernest Ryu
Ernest Ryu22 ott 2025
Ho usato ChatGPT per risolvere un problema aperto nell'ottimizzazione convessa. *Parte I* (1/N)
921