🤯 Claude формализовал Великую теорему Ферма за 11 дней

Нейросеть переложила доказательство на язык Lean — чтобы корректность каждого шага мог перепроверить компьютер, а не только человек.

Масштаб впечатляет:

— 13 млн строк кода
— 29 500 промежуточных теорем
— около 6 млрд выходных токенов
— 11 дней почти автономной работы

Важный момент: это не новое доказательство, а автоматизация его формальной проверки. Раньше на такую верификацию у математиков уходили годы.

6 млрд токенов ради одного заветного «доказано» 🗿

Всё главное из мира и общества — коротко, честно и по делу. Подписывайтесь, чтобы быть в курсе событий раньше остальных.

#Claude #Lean #AI

🏠 В Roblox открыли настоящий музей нейросетевого долгостроя

Моделям разных лет давали одну и ту же задачку — построить бежевый дом с красной крышей. Казалось бы, что тут сложного?

Но нейронки выдавали то коробки, то плиты, то пирамиды. А одна вообще самовольно занялась озеленением участка — хотя её об этом никто не просил 😅

И только к 2026-му дело дошло до нормального дома. Вот она, эволюция ИИ в прямом эфире — от кривых блоков до внятной архитектуры.

Подписывайся, чтобы не пропустить новые эксперименты с нейросетями — здесь такое выходит регулярно 🚀

#Roblox #нейросети #AI

⚙️ Как задать порядок дисплеев при подключении по RDP

Недавно словил забавный баг: отключил мониторы от ноута, потом воткнул обратно — вроде всё ок. А через пару часов подключился к локальной виртуалке через .RDP файл и обомлел: основной и дополнительный дисплеи поменялись местами, все окна полезли не на тот монитор 🤷‍♂️

Самое противное — в параметрах RDP-сессии настроек дисплеев нет, они задаются с хоста. Перезагрузка ВМ не помогла. Менял порядок мониторов на хосте и возвращал назад — тоже ноль.

Зато когда запустил mstsc вручную и поставил флажок «Использовать все мониторы» — проблема исчезла. Значит, корень зла именно в .RDP файле!

👉 Всё решает параметр selectedmonitors. У меня было прописано selectedmonitors:s:3,4.

ИД мониторов показывает команда mstsc /L. Раньше основной дисплей был под номером 3, а теперь стал 4. Поменял цифры местами, сохранил — и всё встало на свои места ✌️

#RDP #mstsc #Windows

Как не завалить собеседование с живым кодингом

Live-coding пугает даже сильных разработчиков: одно дело — писать код в тишине, другое — думать вслух под взглядом интервьюера. Разбираем, что реально помогает пройти такой этап 👇

— Держи стресс под контролем: проговаривай ход мыслей, а не молчи в ступоре
— Учись читать логику интервьюера — часто он ждёт не идеального решения, а понятного рассуждения
— Оптимизируй алгоритмы постепенно: сначала рабочий вариант, потом улучшение сложности
— Презентуй код внятно — чистые имена, короткие функции, комментарии по делу

Отдельная история — подготовка к FAANG (Google, Microsoft и др.): там ценят структурный подход и умение объяснять решения. И всегда разбирай прошлые провалы — именно ошибки дают самый быстрый рост

Подписывайся, чтобы не пропустить новые разборы по кодингу и собесам

Нейросети меняют всё быстрее, чем мы успеваем следить. Заходи за свежими AI-инструментами и промптами — покажем, как выжимать из ИИ максимум уже сегодня.

#собеседование #кодинг #FAANG

Твиттерские замутили огромную карту со съёмочными локациями — только по России уже 888 точек, а по всему миру аж 15 845 мест в 167 странах.

Механика простая: открываешь город и смотришь, что там снимали. Или вбиваешь конкретный фильм — и получаешь все его локации на карте.

Причём это не только про кино и сериалы. В базе есть игры, аниме и даже манга — так что найдётся, где погулять по местам любимых тайтлов.

Штука реально залипательная: можно часами тыкать по карте и узнавать, что твой родной район засветился в каком-нибудь сериале.

#карта #кино #игры