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