Home › Forums › Open Discussion |> The Insurmountable Problem of Formal Reasoning in Large Language Models › Open Discussion