Уже четвертую по счету задачу Эрдеша решила GPT-5.2 Pro Теренс Тао назвал это решение «возможно, наиболее недвусмысленным» в плане уникальности подхода. Автор решения (если так можно называть человека, который закинул задачку в ChatGPT 🤔) пишет, что никаких предыдущих решений вообще не было. Это не совсем так: на форуме люди пишут, что нашли черновики доказательства в литературе 1936 и 1966 года. Но Тао отмечает, что подход GPT-5.2 от них отличается. Интересно, чем GPT-5.2 будет удивлять, когда задачки Эрдеша кончатся 😏 www.erdosproblems.com/forum/thread/281?order=oldest
Уже четвертую по счету задачу Эрдеша решила GPT-5.2 Pro Теренс Тао назвал это…
Из этого канала
- #8629Cursor существенно прокачали своего BugBot Напоминаем, что это агент для…
Cursor существенно прокачали своего BugBot Напоминаем, что это агент для автоматического code review.
- #8631Природа настолько очистилась, что на полки магазинов вернулись ~~дельфины~~…
Природа настолько очистилась, что на полки магазинов вернулись ~~дельфины~~ GeForce GTX 1050 Ti Цена на восставшую из-за дефицита памяти десятилетнюю…
- #8633Илон Маск требует с OpenAI 134 миллиарда долларов в качестве «компенсации» 😐…
Илон Маск требует с OpenAI 134 миллиарда долларов в качестве «компенсации» 😐 Выяснилось, что в январе миллиардер уже успел подать в федеральный суд США новый…
- #8625KVzap: Nvidia научились в 3–4 раза эффективнее использовать память на инференсе…
KVzap: Nvidia научились в 3–4 раза эффективнее использовать память на инференсе KV-кэш сегодня – главная ахиллесова пята трансформеров при масштабировании…
- #8624Илон Маск официально запустил Colossus 2 Он стал первым в истории гигаваттным…
Илон Маск официально запустил Colossus 2 Он стал первым в истории гигаваттным кластером (это больше, чем пиковый спрос Сан-Франциско).