13 июня 2026, 17:17
Более 150 ведущих мировых математиков опубликовали «Лейденскую декларацию»
Более 150 ведущих мировых учёных в области математики опубликовали «Лейденскую декларацию». В соответствии с заявлению её авторов, крупные технологические компании превращают фундаментальную науку в маркетинговый инструмент.
Учёные отмечают, что сегодня техгиганты и ИИ-лаборатории анонсируют «прорывы» через пресс-релизы и блог-посты, избегая научного рецензирования.
Математики видят проблему в том, что нейросети научились генерировать весьма правдоподобные, но ошибочные доказательства, а отличить галлюцинацию от реальной теоремы становится всё сложнее.
По словам математиков, авторские права становятся отдельной проблемой, так как ИИ-модели обучаются на гигантских массивах опубликованных работ, систематически нарушая лицензии и игнорируя авторство. Они требуют запрашивать разрешения на использование таких материалов.
В декларации отдельно подчёркивается, что ИИ не может быть автором, а вся ответственность за корректность формул и доказательств лежит исключительно на человеке. Работы с участием ИИ должны содержать дисклеймер.
Наконец, математики напоминают, что их труд используется для создания систем массовой слежки, политманипуляций и военного ИИ. Они призывают коллег отказываться от партнёрства с компаниями, чьи ценности противоречат научной этике.
Среди подписантов есть представители Колумбийского, Кэмбриджского, Оксфордского и других университетов.
Читают сейчас

25 минут назад
Вышло апдейт мультиплатформенного проекта RevPDF 4.5 — альтернатива Adobe Acrobat
13 июня 2026 года состоялся версия мультиплатформенного проекта RevPDF 4.5. Это маленький, бесплатный, работающий в автономном режиме редактор PDF-файлов с возможностью редактирования текста, скрытия

2 часа назад
Microsoft выпустила версию PowerToys 0.100.0
Организация Microsoft выпустила PowerToys версии 0.100.0. Выпуск содержит исправления и улучшения для нескольких модулей, а наиболее важные изменения касаются повышения производительности, уменьшения

3 часа назад
Апдейт Telegram: форматирование ботов и Markdown-файлы
Telegram опубликовал крупное обновление с десятками новых функций, в том числе с поддержкой мессенджера на смарт-часах, в том числе с Wear OS, а также опциями для ботов, групп и встроенного браузера.

4 часа назад
Shutterstock станет «творческой платформой на основе ИИ»
В Shutterstock анонсировали следующую ступень развития платформы, объединяющую библиотеку созданных людьми медиа с растущим набором инструментов на основе ИИ. Цель состоит в том, чтобы помочь пользова

6 часов назад
Версия открытого редактора звука Audacity 3.7.8
11 июня 2026 года состоялся выпуск открытого редактора звука Audacity 3.7.8, предоставляющего средства для редактирования звуковых файлов (Ogg Vorbis, FLAC, MP3 и WAV), записи и оцифровки звука, измен