31.10.2026

Математика

ИИ решает математические задачи: расхождения между доказательством на естественном языке и кодом Lean

OpenAI заявила о решении сотен сложнейших задач по математике, но учёные нашли расхождения в доказательствах

Валерий Малахов 11.10.2026
OpenAI опубликовала 719 рукописей с решениями сложных математических задач, но сообщество нашло расхождения между словесными доказательствами и...
Читать далее Прочитать больше о OpenAI заявила о решении сотен сложнейших задач по математике, но учёные нашли расхождения в доказательствах

Возможно, вы пропустили

Nvidia и Meta: 3 млрд долларов инвестиций в ИИ-агентов Muse

Nvidia вложит $3 млрд в Meta и поможет ускорить ИИ-агентов Muse

Алексей Воронцов 28.10.2026
Квантовые точки: нанокристаллы, меняющие цвет и экран

Квантовые точки: нанокристаллы, меняющие цвет и экран

Екатерина Волкова 28.10.2026
OpenAI представила чип Jalapeño для быстрого вывода нейросетей

OpenAI представила чип Jalapeño для быстрого вывода нейросетей

Алексей Воронцов 28.10.2026
Ретро-консоль в тёмном футуристическом корпусе со светящимся логотипом

Analogue переиздаёт консоли SNES и Genesis с USB-C и Bluetooth

Иван Громов 17.10.2026
Карта сайта · Технологии · Электроника · ИИ · Космос