К Новостям, друзья.
К Новостям, друзья. ⚡OpenAI предложила не так давно решение задачи Навье-Стокса, но теперь исследователи нашли расхождение между текстовым доказательством и его формализацией в Lean. Это ещё не означает, что всё решение неверно, но проверять доказательство задачи, которую человечество само не могло закрыть около 90 лет, занятие неблагодарное. В общем, математики страдают дальше, и не как не хотят отдать победу ИИ. ⚡В экспериментах с 1 222 участниками помощь ИИ улучшала результат здесь и сейчас, но после отключения помощника люди хуже решали задачи самостоятельно и чаще сдавались. Тем временем в Россия готовит курс «Искусственный интеллект и информационная безопасность» для 5–11 классов: со второй четверти стартуют пилотные школы, дальше планируется масштабирование. ⚡ Вроде бы в Европе уже всё порешали в плане ИИ меток для контента, поговорили и хотя бы частично закрыли вопросы о правах. У нас пока такой исход не намечается, именно поэтому Минцифры готовит шесть постановлений к новому закону об ИИ. Почитать там можно про порядок проверки моделей на соответствие ценностям, перечни сфер, где должны использоваться суверенные или национальные модели, и правила доступа к данным для обучения больших моделей. ⚡ По исследованию Comindware ИИ-агенты в бизнесе упёрлись не в интеллект. Они упёрлись в бардак. И этот самый бардак состоит из множества факторов, а точнее - не умение сотрудников составлять ТЗ, правила компании либо устарели, либо существуют исключительно в голове единственного и неповторимого топ-менеджера и конечно нет четких регламентов. ⚡ В Koç University разработали фотонные системы, где часть вычислений выполняет сам свет, а не обычная электроника. В одном из экспериментов обработка цветных изображений оптической нейросетью подняла точность классификации с 68% до 98%. До замены GPU ещё далеко, но идея понятна: ИИ хочется всё больше энергии, инженеры пытаются заставить работать уже буквально фотоны. ⚡ Разработка NTU Singapore принимает бизнес-задачу обычным языком, сама создаёт и улучшает набор специализированных эвристик и собирает из них решение. На четырёх новых задачах морской логистики система получила 97–99% от лучшего результата протестированных методов, а создание одного решения занимало около часа и стоило менее $10. И вот это уже интересно не ради красивого чат-бота, а для логистики, больниц, энергетики и других задач, где раньше под каждое изменение месяцами переписывали оптимизационный софт. В общем, если честно неделя весёлая. Учёные спорят с ИИ, государство его регулирует, школы начинают преподавать, бизнес переписывает под него процессы, а инженеры уже подключают свет. Нам же остаётся только наблюдать и не потеряться в этом хаусе. #НовостиИИ #ИИ #Нейросети #ИИАгенты #Образование #Наука #AI #Технологии #Нейроманка