Все возможности Discover
background
discoveryBanners
Актуальные темы
#
Bonk Eco continues to show strength amid $USELESS rally
Hosico
Hosico-8,51 %
USELESS
USELESS-2,43 %
IKUN
IKUN+0,88 %
gib
gib-4,47 %
#
Pump.fun to raise $1B token sale, traders speculating on airdrop
Bonk
Bonk+3,9 %
ALON
ALON+6,93 %
LAUNCHCOIN
LAUNCHCOIN-22,92 %
GOONC
GOONC-10,39 %
KLED
KLED-5,21 %
#
Boop.Fun leading the way with a new launchpad on Solana.
BOOP
BOOP-0,79 %
Boopa
Boopa+4,37 %
PORK
PORK+3,38 %
header
Ernest Ryu
Ernest Ryu
Ernest Ryu31 окт. 2025 г.
Я твердо верю, что мы находимся на переломном моменте в истории математики. В ближайшие годы использование LLM для математических исследований станет мейнстримом, как и формализация Lean, которая будет упрощена благодаря LLM. (1/4)
8,9K
Ernest Ryu
Ernest Ryu25 окт. 2025 г.
Я использовал ChatGPT для решения открытой задачи в выпуклой оптимизации. *Часть III* 1/N
Ernest Ryu
Ernest Ryu22 окт. 2025 г.
I used ChatGPT to solve an open problem in convex optimization. *Part I* (1/N)
162,84K
Ernest Ryu
Ernest Ryu22 окт. 2025 г.
Я использовал ChatGPT для решения открытой задачи в выпуклой оптимизации. *Часть I* (1/N)
1,06M