Tech Meridian
← К СУЩНОСТЯМ
КОМПАНИЯ · ENTITY #14365
Хронология связанных событий, источники и контекст из новостной базы.
OpenAI опубликовала новые результаты по открытым задачам в математике, полученные с помощью внутренней frontier-модели, и выложила формализации доказательств в Lean и сопутствующие материалы на GitHub. Публикация предоставляет артефакты и документацию для проверки и дальнейшей работы исследователей.
WIRED сообщает, что OpenAI проинформировала около 40 математиков о том, что её внутренная модель решила задачу тысячелетия Навье–Стокса и более 100 других давних открытых задач, и планирует опубликовать сотни результатов (по сообщениям — через GitHub). Участники встречи и другие математики жалуются, что OpenAI и Anthropic публикуют результаты через блоги и «дампы», а не в форме рецензируемых статей с надлежащим указанием авторства, что привело к спорам о приписываемости, включая обвинение Тристана Бакмастера в «опережающем» присвоении результатов.
Allow Google Analytics to measure visits? It stays off until you choose. You can change your choice at any time.