Актуальные темы
#
Bonk Eco continues to show strength amid $USELESS rally
Hosico
Hosico-2,3 %
USELESS
USELESS+3,31 %
IKUN
IKUN+13,84 %
gib
gib-0,76 %
#
Pump.fun to raise $1B token sale, traders speculating on airdrop
Bonk
Bonk-2,15 %
ALON
ALON-12,63 %
LAUNCHCOIN
LAUNCHCOIN-7,16 %
GOONC
GOONC-2,22 %
KLED
KLED+10,65 %
#
Boop.Fun leading the way with a new launchpad on Solana.
BOOP
BOOP+0,74 %
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 решить их:
110
Neel Somani
Neel Somani9 янв., 09:58
Я создал сайт, который проводит аукцион каждый вечер. Выиграйте аукцион, и вы получите агента Codex, который перепишет сайт на 24 часа. Пусть удача будет на вашей стороне:
55
Neel Somani
Neel Somani8 янв., 03:47
Мемы механистической интерпретируемости для команд, занимающихся усреднением
51