Доказательство гипотезы о сферической теореме Адвигера, полученное с помощью ИИ, подняло остро стоящий вопрос: как институты будут поддерживать математику, когда её творческая работа станет в основном компьютерной?
Исследователи представили первый метод для трансляции текстовых embeddings из одного векторного пространства в другое без парных данных и предварительного обучения. Методика достигает высокого косинусного сходства между моделями разных архитектур — и открывает серьёзные вопросы о безопасности векторных баз данных.
ИИ за последние месяцы решил несколько математических гипотез, открытых десятилетиями. Калифорнийский технологический институт организует первый хакатон, посвящённый исследовательской математике, где сотня команд будет решать открытые гипотезы с помощью фронтальных моделей ИИ.
Книга "Calculating with Tones: The Logarithmic Logic of Music" наводит на мысль, что гитарные лады расположены логарифмически и могут использоваться как логарифмическая линейка для умножения. Автор исследует эту идею на практике и раскрывает, почему первый октав почти работает, а второй — нет.