В 1970-х годах математик Жорж Папи создал физический «мини-компьютер», обучающий детей двоично-десятичному кодированию через манипуляцию фишками.
Визуальная методика обучения двоичной логике с помощью бумажных карточек Жоржа Папи возвращается в образовательную практику через новый проект перевода.
Модель GPT-6 Astra от OpenAI возглавила математический рейтинг ErdosBench, несмотря на то, что компания не ставила математику в приоритет, сосредоточившись на рекурсивном самообучении.
OpenAI заявила о решении математической задачи тысячелетия, что спровоцировало скандал из-за обвинений в краже идей и неэтичном поведении по отношению к ученым.
OpenAI заявила о решении математической проблемы тысячелетия, однако ученые заподозрили компанию в использовании их неопубликованных работ.
ИИ-модель Claude от Anthropic за 11 дней создала формальное доказательство Великой теоремы Ферма объемом 13 миллионов строк кода.
