Более 150 ведущих мировых математиков опубликовали «Лейденскую декларацию»
Более 150 ведущих мировых учёных в области математики опубликовали «Лейденскую декларацию». По словам её авторов, крупные технологические компании превращают фундаментальную науку в маркетинговый инструмент.Учёные отмечают, что в настоящее время техгиганты и ИИ-лаборатории анонсируют «прорывы» через пресс-релизы и блог-посты, избегая научного рецензирования.Математики видят проблему в том, что нейросети научились генерировать очень правдоподобные, но ошибочные доказательства, а отличить галлюцинацию от реальной теоремы становится всё сложнее.
Единая наука. Часть 1: Философское вступление
В своём недавнем эссе "Кибербудда и теория всего: как мы создаём вещи одним взглядом и почему искусственный интеллект будет страдать"
ИИ самостоятельно решил задачу Эрдёша, решение одобрено математиками
Модель искусственного интеллекта (ИИ) решила математическую задачу, над которой бились 80 лет. Задача о плоских единичных расстояниях, впервые поставленная венгерским математиком Полом Эрдёшем в 1946 году, задаёт, казалось бы, простой вопрос: если разместить n точек на плоскости, сколько пар точек могут находиться на расстоянии ровно 1? Эрдёш утверждал, что это число будет расти чуть быстрее, чем количество точек.Самый точный верхний предел, установленный человеком для этой задачи, был зафиксирован в 1984 году. Однако на прошлой неделе компания OpenAI
Более 50 лет назад выдвинули гипотезу о Языке Мышления. Мы досконально разобрались с ней – и вам советуем. Это лучше ИИ
Длинный манифест, написанный обаятельным научпоп‑языком, но без картинок.50 лет назад была выдвинута гипотеза о Языке Мышления. Наверняка вы про нее не слышали – а зря. Классная штука, которая может перевернуть (и уже переворачивает) представление о возможных методах обработки информации, воплощенных в технологиях. Давайте сразу договоримся, что ИИ никакой не интеллект и никогда им не стане
За пределами LLM, часть 2: якорная таблица Кэли, которая не является ни полем, ни моноидом
В первой статье я высказал простую идею: если вычисление можно свести к конечной таблице операции, его можно проверять, а не угадывать. То есть его можно свести не к "модель выдала вероятность 0,67", а просто открыть таблицу и сказать: вот ячейка, вот результат, rc=0.
