Целая область математики посвящена изучению математических узлов, которые можно получить из любого традиционного узла, склеив его свободные концы. Математики долгое время считали, что если соединить обрезанные концы двух разных узлов, сложность нового узла будет не меньше, чем сумма сложности отдельных узлов. Но недавно исследователям удалось найти узел, который оказался проще, чем сумма его частей.
IBM и AMD заключили партнёрство ради разработки квантово‑центричных суперкомпьютеров — архитектур нового поколения, которые объединяют квантовые вычислители и высокопроизводительные системы (HPC).
Компании намерены исследовать способы сочетания квантовых технологий IBM с процессорами, графическими ускорителями и FPGA‑чипами AMD, а также изучить роль открытых экосистем, вроде Qiskit, в создании и распространении новых алгоритмов, использующих потенциал квантово‑центричных вычислений.
Harmonic, стартап в области искусственного интеллекта, соучредителем которого является генеральный директор Robinhood Влад Тенев, в понедельник объявил о запуске бета-версии чат-бота для iOS и Android, с помощью которого пользователи могут получить доступ к модели искусственного интеллекта Aristotle.
Разработчик Кельвин Лян (Calvin Liang) выпустил веб-приложение CalcGPT — это калькулятор на базе GPT. Он не считает результат выражений, а генерирует, из-за чего каждый раз получается разный ответ. Автор проекта называет CalcGPT сатирой на современные приложения, в которые без надобности добавляют языковые модели.
Ханна Каиро решила так называемую гипотезу Мизохаты-Такеучи — проблему, впервые предложенную в 1980-х годах, над которой сообщество специалистов по гармоническому анализу работало десятилетиями. Многие считали, что эта гипотеза верна — если бы это было так, то она автоматически подтвердила бы ряд других важных результатов в этой области, — но сообщество встретило новую работу с энтузиазмом и удивлением: её автором была 17-летний подросток, ещё не закончившая среднюю школу.
В минувшие выходные тысячи норвежцев получили сообщения о том, что они выиграли миллионы в местной лотерее Eurojackpot. Выяснилось, что сумма их выигрыша конвертировалась из евро в норвежские кроны, а вместо деления её умножали на 100.
В Беркли (Калифорния, США) состоялось закрытое мероприятие с участием 30 ведущих математиков мира. Целью встречи стало испытание новой разработки компании OpenAI — чат-бота o4-mini, обладающего способностью к сложным логическим рассуждениям.
Теренс Тао, которого многие называют математическим гением, утверждает, что искусственный интеллект всё ещё не обладает тем, что он называет «математическим чутьем».
В Беркли (Калифорния, США) состоялось двухдневное закрытое мероприятие с участием 30 ведущих математиков мира. Целью тайной встречи, о которой ученым запрещено было распространяться, стало испытание новой разработки компании OpenAI — чат-бота o4-mini, обладающего способностью к сложным логическим рассуждениям.
Организатором эксперимента выступила некоммерческая организация Epoch AI, которая занимается тестированием и сравнением больших языковых моделей, о событии спустя три недели после завершения тестов сообщил портал Scientific American.
Ученые сразились в интеллектуальной схватке с «рассуждающим» чат-ботом, которому было поручено решать задачи, придуманные математиками. В течение двух дней исследователи задавали боту вопросы профессорского уровня и были ошеломлены. Нейросеть оказалась способна ответить на некоторые из самых сложных задач в мире, а участники математического конклава склонны были приравнять ИИ-модель к «математическому гению».
GPT-4o mini — модель искусственного интеллекта, которую компания OpenAI представила в июле 2024 года. Она позиционируется как самая экономичная среди малых моделей компании и призвана значительно расширить диапазон приложений, построенных на базе искусственного интеллекта, благодаря доступной цене. Уже в прошлом году GPT-4o mini продемонстрировала высокие результаты на различных тестах.
Для оценки способностей o4-mini был создан специальный набор из 300 уникальных математических задач разного уровня сложности — от студенческого до исследовательского, ответы на которые еще не были опубликованы. А самим ученым было запрещено что-либо обсуждать друг с другом в обычных мессенджерах и электронной почте для чистоты эксперимента.
Центральный унивесрситет и Сколтех объявили о заключении партнёрства. В рамках партнёрстав будет программа бакалавриата. Совместная программа бакалавриата называется «Математика и искусственный интеллект». Она рассчитана на 4 года. В ней студенты будут изучать математические основы ИИ и учиться применять современные технологии ИИ в научной и прикладной работе.
Учёные разработали численную модель, объясняющую, как в грозовых облаках формируется молния. Оказалось, что ключевую роль в этом процессе играет объединение множества плазменных каналов в единую сеть, что позволяет создать условия для появления «зародыша» молнии даже в относительно слабых внутриоблачных электрических полях. Полученные данные могут использоваться при разработке новых методов защиты от молний. Результаты исследования, поддержанного грантом Российского научного фонда (РНФ), опубликованы в журнале Atmospheric Research.
Исследователи из Мюнхенского технического университета разработали способ подтверждения местоположения без раскрытия точных данных, чтобы улучшить конфиденциальность. Метод Zero-Knowledge Location Privacy (ZKLP) использует математические доказательства с нулевым разглашением и числа с плавающей запятой, чтобы позволить пользователям подтвердить, что они находятся в определённой области.
Управление перспективных исследовательских проектов Министерства обороны США (DARPA) запустило проект, получивший название expMath. Проект направлен на то, чтобы дать толчок математическим инновациям с помощью искусственного интеллекта.
«Цель Exponentiating Mathematics (expMath) — радикально ускорить темпы прогресса в области чистой математики путём разработки ИИ-помощника, способного предлагать и доказывать полезные абстракции», — пишет DARPA.
Разработчик Джонатан Проценко из Microsoft Research сообщил об успешном завершении инициативы по замене в Python реализаций криптографических алгоритмов, предлагаемых в модулях hashlib и hmac, на варианты с математическим (формальным) доказательством надёжности, подготовленные проектом HACL*. Работа по переходу на функции с математическим доказательством надёжности велась с 2022 года и была инициирована после выявления переполнения буфера в реализации алгоритма SHA3, используемой в Python‑модуле hashlib.
Стартовал приём заявок на получение Научной премии от Сбера. Премией отмечаются учёные, работающие в России, за их выдающиеся фундаментальные научные достижения за последнее десятилетие и за перспективные наработки для будущих открытий. Лауреаты получат денежный приз в 20 миллионов рублей.
Абсолютно все нейросети, которые нас окружают, обучены с помощью одного и того же алгоритма – алгоритма обратного распространения ошибки (англ. back-propagation). Его изобрели еще в 80-х годах прошлого века ученые Дэвид Румельхарт, Джеффри Хинтон (ныне нобелевский лауреат) и Рональд Уильямс.
Идея back-propagation в том, что мы сначала «прогоняем» входные данные вперёд по сети (forward pass), получаем предсказания и вычисляем их ошибку, а затем прогоняем сигнал ошибки назад по сети (backward pass), чтобы вычислить градиенты и обновить веса. Это работает хорошо и надежно, но есть нюансы, из-за которых ученые уже много лет пытаются найти этому подходу альтернативу.
Сусанна Хейккиля из Университета Йювяскюля в Финляндии совершила настоящий прорыв в топологии: она решила задачу классификации квазирегулярно эллиптических 4-многообразий. Над этой проблемой ученые трудились еще с 1981 года, когда ее сформулировал советско-французский математик Михаил Громов. Но самое интересное, что на решение задачи ученую вдохновило... вязание. Но обо всем по порядку.
Оригинальный вопрос Громова звучал так: обязательно ли существование квазирегулярного отображения следует из того, что целевое пространство односвязно, то есть имеет тривиальную фундаментальную группу и не имеет топологических препятствий? Ответа на него не было до недавнего времени, и единственное, что удалось ученым до Сусанны за 40 лет – это найти один контрпример.
В то же время исследование девушки не просто отвечает на вопрос Громова, но и дополняет его, потому что результат может быть использован для полноценной классификации замкнутых односвязных четырехмерных многообразий, для которых существует квазирегулярное отображение из евклидова пространства.
Американская компания CO/AI опубликовала вакансию вайб-кодера, который будет заниматься фронтенд-разработкой. В компании считают, что в следующие пять лет многие разработчики начнут использовать в работе нейросети, и хочет начать экспериментировать уже сейчас.
Сусам Пал, автор pastebin для математиков MathB.in, объявил о закрытии проекта. Причиной стали сложности в его поддержке и внимание со стороны регуляторов. О своём решении он сообщил у себя в блоге.
«Тринадцать лет назад, тихим субботним вечером, я сел и начал создавать MathB.in. Я кодил всю ночь, и когда 25 марта 2012 года, в воскресенье, взошло солнце, сайт был готов. Я зарегистрировал новое доменное имя и поделился им с несколькими друзьями-любителями математики. Тогда мы часами обсуждали увлекательные математические задачи, и этот сайт дал нам возможность легко делиться фрагментами задач друг с другом», — рассказывает он.
Уже через год у проекта были пользователи со всего мира. Однако с тех пор, пишет Пал, времена изменились, и поддерживать сервис в одиночку стало сложнее.
