OpenAI открывает три утверждения об исследованиях ИИ для академической проверки
aiinsider ·
OpenAI представила три утверждения, сгенерированные искусственным интеллектом в области математики, компьютерных наук и физики, для независимой академической проверки. Эта инициатива направлена на то, чтобы определить, как ученые могут убедиться, что рассуждения ИИ действительно поддерживают новые открытия, а не просто генерируют убедительные ответы. В сфере вычислительной техники эксперты, включая Райана Уильямса, будут исследовать утверждение о том, что гипотеза об экспоненциальном времени опровергается. Математики оценят доказательство, касающееся локальной гладкости, которое описывает поведение волн в различных измерениях. Физики под руководством Дэвида Гросса проанализируют заявленные доказательства существования квантовых теорий поля, таких как квантовая хромодинамика. Для поддержки процесса верификации OpenAI предоставила математические доказательства, проверенные с помощью программного обеспечения Lean, обеспечивающего логическую строгость. Хотя эти усилия предоставляют более надежные доказательства по сравнению со стандартными объяснениями, исследователям все еще необходимо интерпретировать результаты и их более широкие последствия.
aiinsider