Следите за последними материалами, объяснениями и связанными технологическими историями.
Компания Physical Superintelligence успешно использовала продвинутую модель искусственного интеллекта для решения «гипотезы Ааронсона — Амбайна», что открывает новые горизонты для использования машин в теоретических научных открытиях.
OpenAI опубликовала на GitHub набор из 722 математических исследований, созданных внутренней моделью, недоступной широкой публике, и включающих результаты, распределённые по 372 семействам задач. Компания подчёркивает, что работы находятся на разных этапах проверки, а лишь часть из них прошла верификацию с использованием Lean.