Ce pot să fac cu Discover
background
discoveryBanners
Subiecte populare
#
Bonk Eco continues to show strength amid $USELESS rally
Hosico
Hosico-0,46 %
USELESS
USELESS-6,89 %
IKUN
IKUN+7,29 %
gib
gib-6,32 %
#
Pump.fun to raise $1B token sale, traders speculating on airdrop
Bonk
Bonk-3 %
ALON
ALON-1,27 %
LAUNCHCOIN
LAUNCHCOIN-24,63 %
GOONC
GOONC+3,75 %
KLED
KLED-8,01 %
#
Boop.Fun leading the way with a new launchpad on Solana.
BOOP
BOOP-0,4 %
Boopa
Boopa-11,99 %
PORK
PORK+8,11 %
header
Ernest Ryu
Ernest Ryu
Ernest Ryu31 oct. 2025
Cred cu tărie că ne aflăm într-un moment de cotitură în istoria matematicii. În următorii ani, utilizarea LLM-urilor pentru cercetarea matematică va deveni mainstream, la fel și formalizarea Lean, facilitată de LLM-uri.
418,53K
Ernest Ryu
Ernest Ryu25 oct. 2025
Am folosit ChatGPT pentru a rezolva o problemă deschisă în optimizarea convexă. *Partea a III-a* 1/N
Ernest Ryu
Ernest Ryu22 oct. 2025
Am folosit ChatGPT pentru a rezolva o problemă deschisă în optimizarea convexă. *Partea I* (1/N)
162,88K
Ernest Ryu
Ernest Ryu22 oct. 2025
Am folosit ChatGPT pentru a rezolva o problemă deschisă în optimizarea convexă. *Partea I* (1/N)
1,06M