что коллеги из OpenAI всегда умели делать хорошо - это хайповать; группа математиков основала инициативу First Proof для проверки способности современных ИИ-систем решать математические задачи; для этого они выпустили 5 февраля статью, где собрали 10 уже решенных задач из своей работы, но результаты еще не были опубликованы

14 февраля (в день ENIAC) OpenAI выступили c заявлением, что решили 6 из 10 задач (на картинке), и выложили сами решения

последовала жаркая дискуссия в твиттере (резюме - тут), в ходе которой выяснилось, что две из заявленных задач решены неправильно; 2 должны были быть решены; пятая вроде как решена с ошибкой, а вот шестая - решена правильно, но без ссылок на источники, которые были опубликованы 15 лет назад; но самое важное, они нарушили заявленное правило - отсутствие человеческого контроля

по итогам можно сказать, что работа математика - тоже в чем-то рутинная, часть ее уже можно переложить на ИИ

P.S. аналогично обсуждали в воскресенье на Мостике про физиков

@valuableai

привет всем любителям посчитать гномиков на ночь с утра

я думаю, все, у кого был курс "Алгоритмы и структуры данных", на всю жизнь запомнили, что есть два алгоритма для нахождения кратчайших путей в графе - Дийкстры (на картинке) и Беллмана-Форда; многие помнят их сложности - O(m + n log n) и O(mn) соответственно; так вот у меня для вас есть новость, группа китайских товарищей изобрела алгоритм, который для направленных графов с неотрицательными весами ребер дает O(m (log n)^{2/3}), то есть существенно быстрее для больших и/или разреженных графов

суть подхода состоит в том, чтобы иерархически разбить граф на несколько подграфов, в каждом из которых можно сократить количество проверяемых вершин до 1/(log n)

похоже, пора вводить тег #алгоритмы, потрясения основ учащаются

@valuableai

сегодня всенародно любимая рубрика "два мира - два Шапиро" #2мира2Шапиро #беспилотники

• в США в декабре 2026 года в тестовом режиме готовятся запустить беспилотные электромобили по выделенной линии длиной 800 метров (ставлю на то, что не запустят)
• в Китае уже сошла с конвейера первая машина, которая будет без водителя возить людей по дорогам Пекина, Шанхая, Гуаньчжоу и Шэньжэня (все города сравнимы или больше Москвы) уже в этом году

выводы предлагаю сделать самостоятельно

P.S. кстати, автономные такси на китайской технологии уже работают в Саудовской Аравии и ОАЭ

@valuableai

вчера внезапно ушел из жизни мой первый шеф - Александр Валерьевич Хельвас

в 1988 году он закончил МФТИ, в 1990 ВИРТА ПВО им. Говорова; еще при Союзе поучаствовал в запуске спутника, с 1990-х годов занимался IT; в 2000-е годы он был у истоков создания сети многофункциональных центров "Мои документы"

в последние годы занимался искусственным интеллектом, и даже в прошлом году наконец защитил диссертацию

светлая память Александру Валерьевичу

следите за здоровьем и помогайте друг другу

@valuableai

немного актуалочки, извините

взял у "Ёжика в матане"

@valuableai

всем привет, новый выпуск Капитанского мостика, за штурвалом как всегда я и Дмитрий Колодезев

#КапитанскийМостик

В этом выпуске обсуждаются актуальные темы, связанные с безопасностью паролей, изменением привычек пользователей в цифровом мире, ошибками в программировании и их последствиями, влиянием агентов на компании, стратегией добровольных увольнений в Google, тенденцией к покупке стартапов и управленческим бардаком. В этом разговоре обсуждаются последние достижения и вызовы в области технологий, включая успехи OpenAI и Cerebros, вопросы безопасности в ИИ, инновации в производстве чипов и геополитические аспекты, связанные с производством чипов. Также рассматриваются идеи создания энергетических зон для ИИ. В этом эпизоде обсуждаются различные аспекты энергетических сценариев, новые стандарты в области искусственного интеллекта, проблемы с производством HDD и SSD, разработка новых сред программирования и эксперименты с самообучающимися чатботами.

ODS VK Video

ODS YouTube

мой дзен

@valuableai

всех причастных с Днем защитника Отечества! в честь праздника решил сделать обзор новостей про ИИ в российской военной сфере и закономерно уткнулся в то, что в открытом доступе такой информации практически нет

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

из относительно достоверно известного: беспилотник "Ланцет" (на картинке) есть в модификации с ИИ, которая позволяет довести его до цели в условиях подавления радиосигнала и невозможности связи с оператором

еще есть очень мутное упоминание про то, что система управления войсками может суммаризировать и верифицировать информацию; но тут видимо только люди с доступом к секретной информации могут что-то определенное сказать (но не будут этого делать)

в целом, можно отметить, что несмотря на отсутствие рекламы, в нашей армии тоже этими вопросами занимаются #военное

@valuableai

OpenAI выпустили даже не статью, а некоторое эссе, где написали, что больше не используют для оценивания SWE-bench Verified, т.к. современные модели его просто выучили

мы подобный эффект продемонстрировали в нашей работе SWE-Mera, там было видно, что одна и та же модель на выборке 2025 года показывает себя хуже, чем на выборке 2024 года; более того, мы SWE-Mera делали динамическим именно поэтому - чтобы модели не успевали выучить задачи из бенчмарка

так что ждем ваших сабмитов!

@valuableai