Sijeko Tech

На случай, если вы не в курсе, что происходит с математикой, и хотите знать, вот несколько отрывков за последние дни. Пишет польский математик-тополог Анджей Козловски: "[...] недавно мы написали статью, в которой решили две давно стоявшие открытые задачи. Я дал её ChatGPT и попросил проверить математическую корректность... Он сказал примерно следующее: к сожалению, доказательство вашей второй теоремы неверно.... оказался прав. Приём, который он использовал, был весьма неочевидным. Так что одна из двух решённых нами задач снова стала открытой. Половину статьи пришлось выбросить. Но и это ещё не всё. Вчера соавтор прислал доказательство интересного примера, который хочет добавить в уже сокращённую статью. Я показал его ChatGPT. Ответ был таким: доказательство неверно — по таким-то и таким-то причинам. К счастью, сам результат верен, и вот как его доказать... У меня ощущение, что он уже более сильный алгебраический тополог, чем мы. За одним исключением: задачи ему приходится придумывать нам — собственных интересов и идей у него нет. Кроме того, находить пробелы в рассуждениях он, похоже, умеет куда лучше, чем их исправлять, — хотя последний пример показывает, что и это ему по силам. Меня самого всё это очень воодушевляет. Но, разумеется, рады этому далеко не все." Пишут прикладные математики Алекс Таунсенд и Энн Гринбаум: "30 июля 2026 года первый автор попросил ChatGPT 5.6 решить гипотезу Крузе (Crouzeix) — как он часто делал на протяжении предыдущего года. До того дня модель либо выдавала фиктивное доказательство, либо строила рассуждение, которое застревало на недостающей лемме. Но 30 июля она дала ссылку на препринт, выложенный 27 июля... и заявила, что гипотеза решена. Гипотеза Крузе оставалась открытой больше двух десятилетий, поэтому поначалу мы читали препринт с известной долей скепсиса, но через несколько часов поняли: рассуждение — настоящее. Автор препринта — д-р Шаньму Цзинь, постдок и резидент по нейрохирургии в больнице при Пекинском объединённом медицинском колледже. В университете он изучал геологию, позднее получил степень доктора медицины. Цзинь рассказал нам, что ключевой результат возник в ходе примерно шестнадцатичасового автономного прогона GPT-5.6 Sol в режиме ChatGPT Work. Читая препринт, мы были ошеломлены доказательством этой решающей теоремы.... Всякий, кто в последнее время работал с ChatGPT 5.6 над математикой, не мог не заметить, насколько поразительно вырос его уровень за последние несколько недель... 4 августа — всего через восемь дней после появления первого препринта Цзиня — Эмиль Лорист и Феликс Швеннингер выложили независимое доказательство на пяти страницах... Их рассуждение устроено иначе и поразительно коротко... Лорист и Швеннингер также сообщают, что использовали ChatGPT 5.6 для исследования стратегий доказательства... Поразительно осознавать, что давнюю гипотезу первым решил человек без специальной математической подготовки, работая с большой языковой моделью. Ещё несколько лет назад трудно было вообразить, что система ИИ внесёт решающую идею в доказательство крупной гипотезы. Теперь это произошло в нашей области." Пишет Миша Вербицкий: "Один коллега (очень хороший алгебраический геометр) предает проклятию любую исследовательскую деятельность с употреблением LLM... Другой коллега (тоже очень хороший алгебраический геометр) публикует по 10 статей в месяц, написанных LLM, с комментарием в абстракте: "Главный результат этой статьи был получен с помощью генеративного ИИ, а именно ChatGPT 5.5 Pro"... В последние недели 2-3 свершилась типа революция, LLM открывает одна за другой потрясающие математические результаты, хотя пока в основном конрпримеры. Не комбинаторику ебаную, не второкультурное ебаное говно, а реально математику. Думаю что таки мы все в скором времени будем юзать AI бесперерывно. Хотя заказывать LLM писать мои статьи я все-таки не хочу, есть риск увлечься, утерять адекватность и начать массово производить ужасное говно."

Илья Бирман хорошо про знание своего дела в эпоху нейросетей (расспрашивать, а не просто сразу им задания давать). https://t.me/ilyabirman_channel/12625

Говорят, некоторые телефоны хорошо "спалились" на сегодняшнем частичном/полном солнечном затмении.

Мне кажется ОЧЕНЬ ироничным, что вот нейросети умеют генерировать картинки и умеют генерировать текст, убедительно похожий на человеческий. При этом, если эти две задачи скрещиваются, на картинках всегда какая-то лажа написана. Блин, да у тебя же уже есть технология генерации текста, отрендерь на этом развороте газеты да и всё.

Вышла 10-я версия КвестДБ — пожалуй, самой быстрой в мире базы данных для временных рядов и метрик: https://questdb.com/blog/questdb-10-release/ Пользуемся!

Always Free 4 ядра → 2 24 ГБ памяти → 12 Ну и клоуны

Когда мне о небывало возросшей производительности от нейросетей говорит бизнесмен, я ему в принципе охотно верю: его доход напрямую зависит от количества закрытых задач и проектов. Когда я слышу то же самое от рядового работяги, то тут уже возникают вопросики. Ну окей, мы все стали закрывать больше задач. Отчасти потому что бизнес теперь знает, что у нас есть нейросети, и можно делать гораздо больше за то же время (и за ту же зарплату). Особенно забавно эти разговоры, конечно, в России выглядят, где даже официальная инфляция за последние пять лет — 50 %. Стали ли вы зарабатывать из-за нейросетей (и вообще за последние пять лет) в полтора раза больше? Что-то я сильно сомневаюсь. Вот рынок говорит, что не стали. Да, нейросети с нами надолго, это очевидно. Мы все станем делать больше. Только вот отразится ли это на вашем благосостоянии, тут я уже что-то очень сильно скептичен. Пусть вместо эмоций «офигеть! я ему сказал ошибку исправить, и он сам исправил!» говорит ваш кошелёк.

Очень хороший диспетчер задач для Виндоуса: https://taskslinger.net/ • запускается за сто миллисекунд; • нет телеметрии, отправки данных куда-то, и прочего такого всего; • полностью нативный, никакого Реакта; • быстрый поиск и развесистая фильтрация процессов в приложении; • весит пару мегабайт; • видно, что создателю не насрать на то, что он делает; во времена поголовного нейрослопа это ещё более ценно. Проект в бета-версии, но выглядит очень зрелым.

Исправил Твиттеру дизайн и функционал этого диалога

Вот он в деле на файле Ромы из его канала. И это я даже поставил качество выше дефолтного, так-то можно было ещё ужать. 59 → 20 мегабайт

Немного закулисья

Ребят, так и быть, сделаю для вас нормальный видеоконвертер на Мак. PS: Если вы вдруг дизайнер и хотите сделать иконку для этого приложения (любой ценой, но бесплатно) — напишите в личку, пожалуйста.

В набор эмодзи DaNetOk добавлены четыре лидера прошлого голосования за новые сокращения, плюс столько же из давней очереди. Итого новые: 😯 🤨 🔝 👌 ⏳ 👀 🧑‍💻 👉 С нетерпением ждите следующего голосования за новые эмодзи!

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

С одной стороны, нейросетям до интеллекта ещё далеко. А с другой стороны, всё равно определило точнее, чем любой зумер.

Микопроцессор

https://habr.com/ru/articles/1058214/ Ох, как же знакомо… Сходство просто пугающее.

Спейсекс великие, конечно. Их можно поздравить. Как и всех людей, в принципе: первая в истории человечества посадка ускорителя обратно на стартовый комплекс. Фактически, новая эра космонавтики начинается.