Актуальні теми
#
Bonk Eco continues to show strength amid $USELESS rally
Hosico
Hosico-5,04%
USELESS
USELESS-0,06%
IKUN
IKUN+13,85%
gib
gib-0,76%
#
Pump.fun to raise $1B token sale, traders speculating on airdrop
Bonk
Bonk-3,08%
ALON
ALON-13,69%
LAUNCHCOIN
LAUNCHCOIN-4,31%
GOONC
GOONC-2,22%
KLED
KLED+11,27%
#
Boop.Fun leading the way with a new launchpad on Solana.
BOOP
BOOP-0,43%
Boopa
Boopa-1,16%
PORK
PORK0,00%
header
Neel Somani
Формальні методи та механістична інтерпретація. Попередній: засновник Eclipse, QR у Citadel. Гордий Кал Беар.
Neel Somani
Neel Somani11 січ., 13:00
Перемога на вихідних: Доказ, який я подав для задачі Ердоса #397, був прийнятий Терренсом Тао. Доказ був згенерований GPT 5.2 Pro і формалізований за допомогою Harmonic. Багато відкритих проблем лежать там, чекаючи, поки хтось запропонує ChatGPT їх розв'язати:
120
Neel Somani
Neel Somani9 січ., 09:58
Я створив сайт, який щовечора сам себе виставляє на аукціон. Виграєш аукціон — і агент Кодексу переписує сайт на 24 години. Нехай шанси будуть на вашому боці:
64
Neel Somani
Neel Somani8 січ., 03:47
Меми з механістичною інтерпретацією для команд, що аблюють середнє значення
63