Hva kan jeg gjøre med Discover
background
discoveryBanners
Populære emner
#
Bonk Eco continues to show strength amid $USELESS rally
Hosico
Hosico−14,96 %
USELESS
USELESS−5,08 %
IKUN
IKUN−4,99 %
gib
gib−6,16 %
#
Pump.fun to raise $1B token sale, traders speculating on airdrop
Bonk
Bonk+1,56 %
ALON
ALON+6,71 %
LAUNCHCOIN
LAUNCHCOIN−16,96 %
GOONC
GOONC−13,72 %
KLED
KLED−8,07 %
#
Boop.Fun leading the way with a new launchpad on Solana.
BOOP
BOOP−0,43 %
Boopa
Boopa+3 %
PORK
PORK+1,22 %
header
Ernest Ryu
Ernest Ryu
Ernest Ryu31. okt. 2025
Jeg er overbevist om at vi er ved et vannskille i matematikkens historie. I de kommende årene vil bruk av LLM-er til matematikkforskning bli mainstream, og det samme vil Lean-formalisering, gjort enklere av LLM-er. (1/4)
8,9K
Ernest Ryu
Ernest Ryu25. okt. 2025
Jeg brukte ChatGPT for å løse et åpent problem i konveks optimalisering. *Del III* 1/N
Ernest Ryu
Ernest Ryu22. okt. 2025
Jeg brukte ChatGPT for å løse et åpent problem i konveks optimalisering. *Del I* (1/N)
162,85K
Ernest Ryu
Ernest Ryu22. okt. 2025
Jeg brukte ChatGPT for å løse et åpent problem i konveks optimalisering. *Del I* (1/N)
1,06M