Математик Асаф Карагила раскритиковал опубликованную OpenAI работу о связи принципа разбиения с аксиомой выбора — вопросе, которому, по его словам, больше ста лет. В записи от 8 октября 2026 года он заявил, что изложение настолько запутано, что даже специалисту трудно понять стратегию доказательства. Повод выглядит парадоксально: к работе приложена формализация на Lean, инструменте для компьютерной проверки математических доказательств. Но Карагила отказался разбирать её дальше. Спор возник на границе...