• Главная
  • Контакты
Подписаться:
  • Twitter
  • Facebook
  • RSS
  • VK
  • PushAll
logo

logo

  • Все
    • Положительные
    • Отрицательные
  • За сегодня
    • Положительные
    • Отрицательные
  • За вчера
    • Положительные
    • Отрицательные
  • За 3 дня
    • Положительные
    • Отрицательные
  • За неделю
    • Положительные
    • Отрицательные
  • За месяц
    • Положительные
    • Отрицательные
  • За год
    • Положительные
    • Отрицательные
  • Сортировка
    • По дате (возр)
    • По дате (убыв)
    • По рейтингу (возр)
    • По рейтингу (убыв)
    • По комментам (возр)
    • По комментам (убыв)
    • По просмотрам (возр)
    • По просмотрам (убыв)
Главная
  • Все
    • Положительные
    • Отрицательные
  • За сегодня
    • Положительные
    • Отрицательные
  • За вчера
    • Положительные
    • Отрицательные
  • За 3 дня
    • Положительные
    • Отрицательные
  • За неделю
    • Положительные
    • Отрицательные
  • За месяц
    • Положительные
    • Отрицательные

Публикации с тегом математические доказательства

На наших глазах творится история: OpenAI заявили, что их ИИ решил задачу тысячелетия -2

  • 09.09.2026 11:08
  • syntxaiofficial
  • 2
  • Блог компании SYNTX.AI
  • Искусственный интеллект
  • Математика
  • Научно-популярное

Ни одна ошибка не нова: почему провал ИИ в First Proof был предсказуем заранее

  • 17.06.2026 09:24
  • sergeiustiugov
  • 0
  • Искусственный интеллект
  • Машинное обучение
  • Математика
  • Natural Language Processing
  • DevOps
Страница 1 из 1
ЛУЧШЕЕ

  • Сегодня
  • Вчера
  • Позавчера
08:00

Прятал пакеты и все отрицал — как мы отладили DHCP‑балансировщик +14

07:37

Самая простая самодельная солнечная батарея: просто из куска меди или медного провода +14

01:22

Луддиты 2.0: почему борьба с нейрослопом проиграна +14

07:43

Как мигрировать Gitlab под рабочей нагрузкой из одного в десять Docker‑контейнеров +10

09:01

Барби-комп: трагическая история компьютера Mattel Aquarius +8

07:53

На что обратить внимание при выборе вендора системы электронного документооборота +8

07:46

Heartbeat: как мы создали систему управления системой вместо обычных сигналов +8

09:13

Как изменится меню в условиях глобального потепления? +7

05:26

«Агент тупит» — это диагноз инструкции, а не модели +7

08:05

Хакаем цифровую мыльницу с ROM-DOS и x86-процессором +5

05:06

Транзакции в Go через context: одна граница для нескольких репозиториев +5

10:00

Все, что вы не знали о киберпанке — как появился, что с ним стало и наконец — что он такое на самом деле. Часть 1 +4

09:58

15 лет разработки «Мира кораблей»: принципы и правила +4

10:44

474 712 строк за 35 лет: как мы с LLM и 21 экспертом приводим в порядок справочник автосервиса +3

09:44

Кем я стану, когда вырасту: эволюция QA-инженера Контура внутри эволюционирующей системы оценки +3

07:50

Как я учил ИИ работать с 1С и другими корпоративными системами +3

07:48

Сравнение Алисы (Яндекс) и Гигачат (Сбер) по 5 бенчмаркам: τ³, ПРАКТ-120, MultiChallenge, WildBench и Arena‑Hard +3

09:40

Как я создавал персонального ассистента на домашнем железе +2

08:41

Прозрачный Яндекс.Навигатор: эстетика iOS против читаемости на дороге +2

08:26

Фальсификация емайл: возможности и проблемы доказывания, разбор реального кейса +2

06:24

Восстановление данных с нуля со сломанной пополам SD-карты памяти +205

08:03

Переделка радиоприемника «Электроника 26–01» +120

12:00

Создать правильную карту мира невозможно. Но есть много отличных неправильных +60

13:01

Чем заменить top, ps и netstat в 2026 году, и когда их лучше не трогать +51

09:01

Зачем и чем протыкать бактерии? +36

08:30

Отказоустойчивость в мультиклауде: архитектура и реальные кейсы +34

19:53

FNIRSI 2C53T — классный прибор с отвратительной зарядкой. Доделываем то, что не смог завод‑изготовитель +32

10:48

Я перестал пользоваться самыми умными ИИ‑моделями. Программировать стало быстрее и дешевле +32

11:00

Отреверсили проприетарный gRPC и выложили в опенсорс 100% совместимый аналог их сервера, потом CLI +27

15:12

Diablo II, римские стратегии и Prince of Persia: что фронтенду стоит перенять у геймдева +25

08:55

Не только PyTorch. О чём на самом деле новая книга Лоуренса Морони +25

07:00

Как у нас горели лидары в стальковше +24

08:00

Платформа данных на минималках. Часть 3. Вычислительный движок +19

05:58

Не хватает RAM для тяжелого софта на роутере? Поставьте его на мини-сервер из старого смартфона +19

12:25

Бактериальные логические вентили и рибосомная память +18

10:01

OpenAI пообещали впредь вовремя рассказывать о «бедокурстве» своих нейронок +17

07:48

«Лучшие» практики Rust, которые вас подведут. Часть 2 +15

07:00

Электрокарниз — это не профиль + мотор. А что еще? +14

12:51

Выбираем бэкенд в 2026 (PHP, Dart и C++ Drogon) +12

12:31

Успеть за 15 минут ̶и̶ ̶н̶е̶ ̶п̶о̶д̶р̶а̶т̶ь̶с̶я̶ ̶в̶ ̶р̶е̶г̶и̶с̶т̶р̶а̶т̶у̶р̶е̶. Как устроен цифровой маршрут пациента +12

05:32

Найм в 2к26. Что меня удивило больше всего +155

13:01

Как устроен Стратегический нефтяной резерв США +89

08:00

Почему мой «умный дом» оказался умнее, чем я думала +70

12:00

Я думал, что устаю от работы. А виновата комната +61

07:22

Ломо ЛК-А: как советская камера обрела культовый статус +52

16:34

И снова о том, из чего состоит протон +42

09:15

Студент больше не нужен? LLM изготовила нам рентгеновское зеркало +41

09:02

«Обратная змейка», часть 2: читаю комментарии, чиню баги и добавляю босса +40

08:00

Можно ли собрать работающий интерфейс на ИИ за час? +38

07:08

История приставки 3DO Interactive Multiplayer: большие планы и короткая жизнь +36

16:49

Грязные игры +33

04:56

Вставил договор в ChatGPT — что нарушил. Разбор по 152-ФЗ с цифрами и делами +29

08:05

Как я собрал охранника для комнаты на YOLO и подключил его к Telegram +26

05:00

Как превратить Хабр из ленты соцсети в библиотеку и базу знаний +26

07:38

Zynq 7000. Камера MIPI-CSI-2 и вывод видеопотока через HDMI и Ethernet UDP. Часть 1 +25

07:12

IBM создала для АНБ самый мощный дешифровщик времён холодной войны +23

15:06

Баг в SQLite скрывался 16 лет: как Tailscale потратила полгода на его поиски +22

13:56

Человек, который подарил нам Escape — история Роберта Бемера и его борьбы за единые стандарты +22

12:01

На чём советские гики учились программировать? Часть 2 +17

07:03

Рецензия на книгу «Разработка приложений на базе больших языковых моделей» +17

СЕРВИСЫ
  • logo

    CloudLogs.ru - Облачное логирование

    • Храните логи вашего сервиса или приложения в облаке. Удобно просматривайте и анализируйте их.
ОБСУЖДАЕМОЕ

  • Найм в 2к26. Что меня удивило больше всего +155

    • 379

    Я перестал пользоваться самыми умными ИИ‑моделями. Программировать стало быстрее и дешевле +32

    • 105

    Вставил договор в ChatGPT — что нарушил. Разбор по 152-ФЗ с цифрами и делами +29

    • 97

    Почему мой «умный дом» оказался умнее, чем я думала +70

    • 83

    Я думал, что устаю от работы. А виновата комната +61

    • 81

    Сигнал из космоса. Как работает спутниковый интернет в России +16

    • 57

    Сигнал из космоса. Как работает спутниковый интернет в России +16

    • 57

    Выбираем бэкенд в 2026 (PHP, Dart и C++ Drogon) +12

    • 51

    И снова о том, из чего состоит протон +42

    • 44

    Переделка радиоприемника «Электроника 26–01» +120

    • 43

    100% совместимость, 0% свиданий: разбор Twinby +4

    • 42

    Восстановление данных с нуля со сломанной пополам SD-карты памяти +205

    • 37

    Ваша База Знаний — золотая клетка с прозрачными стенами +2

    • 33

    Как я выбирал локальную модель для кодинга на 16 ГБ VRAM — и трижды менял победителя +7

    • 31

    70-летний пенсионер выпустил 445 книг с помощью ChatGPT. Но тут интересно не это +1

    • 30

Подписка


  • Главная
  • Контакты
© 2026. Все публикации принадлежат авторам.