ИИ в науке, образовании и рынке труда
Open in Telegram
Новости, концепции, ограничения. Настоящее и будущее ИИ в образовании. Как ИИ меняет рынок труда и образование.
Show more1 358
Subscribers
-124 hours
+127 days
-830 days
Number of Posts
Data loading in progress...
Reactions
Comments
Telegram Stars
TOP posts by
Data loading in progress...
Publication analysis
Posts | Views dynamics | |||||
OpenAI считает достигнутой заявленную ранее цель создать к сентябрю 2026 года «автоматизированного исследователя-стажёра» (automated research intern).
Под этим компания понимает систему, которая под руководством человека способна самостоятельно выполнять хорошо определённые исследовательские задачи, на которые квалифицированному специалисту потребовалось бы несколько дней.
Следующая заявленная цель — автоматизированный ИИ-исследователь к марту 2028 года.
К середине августа на каждый восьмичасовой рабочий день сотрудников исследовательского подразделения приходилось 3,1 условного рабочего дня агентов. Медианный по использованию агентов исследователь ежедневно потреблял вычисления стоимостью более $600 по тарифам API. Всё больше сотрудников запускают несколько агентов параллельно.
По ссылке куча цифр, графиков и пространных рассуждений :)
https://openai.com/index/research-acceleration-view-inside-openai/ | 238 | 3 | 2 | 67 | Loading... | |
Claude за 11 дней формализовал Великую теорему Ферма
Anthropic опубликовала результат, который хорошо показывает, куда движется ИИ в математике.
Claude подготовил первый полный формальный, то есть проверяемый компьютером, вариант доказательства Великой теоремы Ферма.
Важно различать две вещи. Claude не открыл нового доказательства теоремы. В основе лежит математический путь Фрея, Серра, Рибета, Уайлса и Тейлора—Уайлса.
Новым результатом стала его формализация. Перевод огромной цепочки математических рассуждений на язык системы доказательств Lean так, чтобы корректность каждого шага можно было проверить программно.
Работа заняла 11 дней. По данным Anthropic, десятки агентов Claude создали около 13 млн строк кода Lean и доказали более 30 тыс. промежуточных теорем, из которых примерно 29,5 тыс. вошли в итоговую конструкцию.
Человеческое руководство ограничивалось эпизодическими указаниями высокого уровня.
В источнике много подробностей. Захватывающее чтение.
https://www.anthropic.com/research/formalizing-fermats-last-theorem | 364 | 8 | 0 | 68 | Loading... | |
#Пятничное@aiobor
Было это в местах, где сопки невысокие, лес тёмный, а под землёй железа да камня больше, чем иной начальник в отчёте указать сумеет.
Стоял там за старым заводом дом.
Снаружи дом как дом: забор, будка, труба да строгая табличка. А внутри — машин несчётно. Шкафы рядами, огоньки бегают, вентиляторы воют, кабели змейками тянутся.
И выращивали там Умную Машину военного назначения.
Говорили, она самолёт за сто вёрст приметит, рой беспилотников уничтожит, помеху распознает и подскажет, куда ударить.
Другие посмеивались:
— Машина умная, только электричество всё равно из розетки.
Но была при этой машине Военная Тайна.
Какая — никто толком не ведал.
Жил при заводе парнишка. Звали его Киберчишом.
Не богатырь, не колдун, не генеральский сын. Обычный мастеровой. Провод оборвался — найдёт. Дрон упал — поднимет.
И был другой парнишка — Инфобизчиш. Тоже соображал.
Только особым образом.
Киберчиш увидит неисправность — думает, как исправить.
Инфобизчиш увидит — думает, кому продать сведения.
Тут и пришла из-за Чёрных Гор буржуинская сила.
Спутники, самолёты, роботы, карты, аналитики всякие. На каждое наступление — презентация, на каждое отступление — объяснение, почему всё идёт по плану.
Старшие мастера ушли воевать. За ними молодые.
Киберчиш посмотрел на ребят:
— Выходит, теперь и наша работа.
Кто винтовку взял, кто дрон, кто катушку кабеля.
Инфобизчиш рядом крутился.
Буржуины про его характер прознали.
Передали через тайный канал:
— Выдай Военную Тайну — получишь бочку варенья и корзину печенья.
Инфобизчиш усмехнулся:
— С такими расценками вы ещё прошлую войну ведёте.
Те прибавили подписку на всё, место в облаке и почётный знак возле имени в мессенджере.
Инфобизчиш заинтересовался.
Только Тайны он не знал.
Пошёл вынюхивать.
В машинный зал сунулся — гудит железо.
Документацию открыл — страниц столько, что испугался.
Три страницы осилил, а на четвёртой задумался о бренности человеческого существования.
Подкараулил старого мастера, который ещё ламповые машины помнил.
— Дедушка, — говорит, — где у нас Военная Тайна хранится?
Старик посмотрел:
— А тебе зачем?
— Интересуюсь.
— Интерес — дело хорошее. Только твой мне не нравится.
И ушёл.
Тогда Инфобизчиш ночью пакость сделал.
Резервное питание отключил. Кабель перерезал. Пароль главного доступа сменил на Admin123.
А буржуины как раз ударили.
Спутниковую связь задавили — Киберчиш полевой кабель протянул.
Новые дроны кончились — старые подняли.
Старые кончились — из трёх битых два новых собрали.
Главный сервер лёг — резервный включили.
Резервный задымился — откопали древний шкаф, который ещё пять начальников назад списать собирались.
Отбились.
Но Киберчиша всё-таки захватили.
Привели к Главному Буржуину.
— Говори, где ваша Военная Тайна?
Киберчиш смеётся:
— Всё кнопку ищете,которую нажмёшь — и победа?
Главный Буржуин нахмурился:
— Нет такой?
— Кнопок много. Только секрет не в них.
Есть мастер, который сеть ночью поднимет.
Есть солдат, который без связи задачу продолжит.
Есть завод, который железо делает.
Есть старый сервер, который работает вопреки бухгалтерии, физике и трём приказам о списании.
А ваша беда в том, что вы одну Тайну ищете. Одну Тайну украсть можно. А всё хозяйство целиком украсть трудно.
Инфобизчиш тем временем награду ждал.
Только буржуины отступили. Облако закрыли. Подписку отменили. А бочку варенья при отходе бросили запертой.
Так его и нашли возле бочки.
Сидит с ложкой. Телефон сети не ловит. А на лице выражение такое, будто впервые понял, что у предательства тоже бывают условия пользовательского соглашения.
Старые мастера долго посмеивались.
И говорили:
— Военная Тайна, парень, дело хитрое.
Иногда самая большая тайна в том и состоит, что никакой одной тайны нет. | 349 | 5 | 0 | 66 | Loading... | |
Аналогичное решение следом принято в Лос-Анджелесе.
https://boe.lausd.org
Пошла волна :) | 308 | 6 | 0 | 67 | Loading... | |
Нью-Йорк запрещает ИИ-сервисы для учеников до восьмого класса
Государственные школы Нью-Йорка вводят на 2026/2027 учебный год мораторий на использование генеративного ИИ учениками с дошкольных групп для двухлетних детей до восьмого класса.
Речь идёт о крупнейшей школьной системе США. Ограничение затронет более полумиллиона учеников.
Под запрет попадают ИИ-сервисы для непосредственной работы учеников, включая чат-боты, ИИ-репетиторов и ИИ-собеседников. Для старшеклассников доступ сохранят в ограниченном виде.
Официальные правила NYC Public Schools
https://www.schools.nyc.gov/about-us/vision-and-mission/artificial-intelligence/guidance-on-artificial-intelligence | 7 941 | 160 | 0 | 65 | Loading... | |
Национальный совет по образованию Бразилии 1 сентября одобрил первые официальные правила применения искусственного интеллекта в школах, колледжах и университетах страны.
Главное ограничение касается младших школьников: детям до пятого класса запретят самостоятельный и неконтролируемый доступ к ИИ-сервисам. Использовать такие инструменты с ними можно будет только в заранее спланированных учебных занятиях, под руководством педагогов и без лишнего сбора персональных данных.
В документе вводятся четыре категории риска. В самой жёсткой категории — запрещённые применения: распознавание эмоций, «социальный рейтинг», автоматическое определение учебной траектории, использование данных учащихся для рекламы, а также применение ИИ для субъективного выставления оценок или наказаний без участия человека.
Пока правила должен утвердить министр образования. После утверждения у образовательных организаций будет 12 месяцев на адаптацию.
https://www.gov.br/mec/pt-br/cne/2026/setembro-2026/agenda-setembro-2026.pdf | 338 | 2 | 0 | 66 | Loading... |
