액시엄(Axiom)이 인공지능(AI)을 활용해 복잡한 아이디어나 주장을 형식 논리(formal logic)로 변환하고 검증하는 무료 툴킷을 공개했습니다. 이 툴킷은 사용자가 자신의 신념, 질문, 주장을 정밀하게 표현하고, 논리적 모순이 없는지 자동으로 확인받을 수 있도록 설계되었습니다. 이를 통해 온라인에서 흔히 발생하는 소모적인 논쟁을 줄이고, 아이디어를 객관적으로 평가할 수 있는 새로운 장을 마련하는 것이 목표입니다.
액시엄 툴킷은 린 4(Lean 4) 기반의 독자적인 '담론을 위한 논리(logic for discourse)'를 활용하며, AI 스킬, 린 라이브러리, 액시엄 CLI(명령줄 인터페이스)로 구성됩니다. 사용자는 이 툴킷을 통해 자신의 주장이 전제로부터 논리적으로 도출되는지 기계적으로 검증받을 수 있습니다. 또한, 액시엄 플랫폼은 아이디어가 공개적으로 경쟁하는 공유 지식 그래프 역할을 하며, 모든 주장은 기계 검증된 증명(machine-checked proof)을 수반합니다. 이는 정의가 모호해지거나 논점이 흐려지는 것을 방지하고, 논리적 모순이 발견되면 해당 입장이 더 이상 유효하지 않음을 명확히 합니다.
액시엄은 아이디어를 코드로 표현함으로써 투명하고 정밀한 사고를 보장합니다. 자동으로 모순을 감지하고, 주장의 논리적 흐름을 단계별로 추적하며, 정의가 논쟁 중에 바뀌는 것을 막아줍니다. 이러한 접근 방식은 담론의 질을 높이고, 주장의 타당성이 수사학이나 지위가 아닌 수학적 정확성에 기반하도록 만듭니다. 궁극적으로 액시엄은 복잡한 전 지구적 문제들을 모호한 언어가 아닌, 추적 가능하고 명확한 논리로 접근하여 해결할 수 있는 기반을 제공함으로써 인간의 추론 능력을 확장하는 것을 목표로 합니다.