Математические решения OpenAI пока не соответствуют стандартам отрасли
techcrunch ·
Недавно OpenAI опубликовала сотни решений сложных математических задач, заявив о консультации с консультативной группой для обеспечения высоких стандартов. Однако Группа по математике и искусственному интеллекту (AGMAI) указала, что компания не оправдала этих ожиданий, особенно в части понимания результатов человеком. Хотя OpenAI выполнила некоторые рекомендации, быстро опубликовав доказательства, она провалила другие, такие как предоставление данных цепочки рассуждений (chain-of-thought) для большинства рукописей или формализация значительной части доказательств. Критики, включая известного математика Теренса Тао, утверждают, что ИИ-решатели не проявляют настоящего интереса к более широкой области и не могут адекватно объяснить свои выводы. Новое исследование выявило расхождения между объяснениями на естественном языке и формальным кодом Lean в решениях OpenAI задачи на миллион долларов, основанной на уравнениях Навье-Стокса. Эти неточности вызывают опасения относительно использования моделей для формализации собственных работ без тщательной проверки людьми. Математики подчеркивают, что истинное открытие требует человеческого участия и ответственности, чего текущие процессы ИИ обеспечить не могут. В результате сообщество остается скептически настроенным в отношении того, берет ли OpenAI достаточную ответственность за обеспечение человеческого понимания этих автономных решений.
techcrunch