@GaryMarcus
Гэри Маркус обсуждал новые математические результаты OpenAI как подтверждение необходимости нейросимвольного подхода: LLM предлагает решение, а отдельная символическая система вроде Lean его проверяет. При этом он подчеркнул, что такие результаты ещё не означают достижение AGI и не доказывают широкую обобщаемость. Главная претензия — недостаток технических деталей, данных об архитектуре, процедуре, ошибках и обучении, из-за чего заявление нельзя полноценно оценить научно.