Актуальные темы
#
Bonk Eco continues to show strength amid $USELESS rally
Hosico
Hosico-5,99 %
USELESS
USELESS-5,64 %
IKUN
IKUN-8,63 %
gib
gib-0,16 %
#
Pump.fun to raise $1B token sale, traders speculating on airdrop
Bonk
Bonk-0,62 %
ALON
ALON-3,57 %
LAUNCHCOIN
LAUNCHCOIN+1,76 %
GOONC
GOONC-3,08 %
KLED
KLED-7,36 %
#
Boop.Fun leading the way with a new launchpad on Solana.
BOOP
BOOP-1,24 %
Boopa
Boopa-2,69 %
PORK
PORK0,00 %
header
Ernest Ryu
Ernest Ryu
Ernest Ryu31 окт. 2025 г.
Я твердо верю, что мы находимся на переломном моменте в истории математики. В ближайшие годы использование LLM для математических исследований станет мейнстримом, как и формализация Lean, которая будет упрощена благодаря LLM. (1/4)
689
Ernest Ryu
Ernest Ryu25 окт. 2025 г.
Я использовал ChatGPT для решения открытой задачи в выпуклой оптимизации. *Часть III* 1/N
Ernest Ryu
Ernest Ryu22 окт. 2025 г.
Я использовал ChatGPT для решения открытой задачи в выпуклой оптимизации. *Часть I* (1/N)
1,13K
Ernest Ryu
Ernest Ryu22 окт. 2025 г.
Я использовал ChatGPT для решения открытой задачи в выпуклой оптимизации. *Часть I* (1/N)
864