Aeternaxis는 2026년 10월 서울에서 시작했습니다. 지금까지 공개한 도구는 2개이고, 둘 다 모델이 자기 결과를 직접 통과시킬 수 없게 만들었습니다.
모델은 보고서를 쓰고, 양식을 채우고, 코드를 고칩니다. 그런데 자기가 맞게 했는지는 제대로 판단하지 못합니다. 18.6%가 19%로 바뀌거나 “없었다”가 “있었다”로 바뀌어도 문장은 멀쩡하게 읽힙니다. 사람이 가장 놓치기 쉬운 실수가 바로 이런 것입니다.
그래서 모델이 자기 결과물을 직접 통과시키는 일은 없게 했습니다. 바뀌면 안 되는 것을 규칙으로 적어 두고, 확인은 코드가 합니다. 같은 입력에는 늘 같은 판정이 나오고, 그 판정이 어떤 규칙에서 나왔는지 누구나 볼 수 있습니다.
이름은 ‘영원한’이라는 뜻의 라틴어 aeternus에 axis(축)를 붙인 것입니다. 모델의 답은 물을 때마다 달라집니다. 그 답을 판단하는 기준까지 흔들려서는 곤란합니다. 로고는 이 기준선을 축으로 도는 입체입니다. 앞에서 빛을 비추면 그림자가 A, 옆에서 비추면 X가 됩니다. 이름 한가운데에 있는 ax입니다. 평면으로 접으면 같은 두 획이 A와 X를 함께 씁니다.
Rigorloom은 한글(HWPX) 문서를 다룹니다. 문서를 만들고, 양식을 채우고, 문장을 고칩니다. AI가 고친 문장에서 숫자, 날짜, 인용, 부정 표현이 바뀌면 그 문단만 원래대로 돌립니다. 지금 공개된 버전은 0.17.0입니다.
ratchet-cli는 AI 코딩 에이전트에게 일을 1개씩 넘겨줍니다. 린트, 테스트, 빌드 같은 검사기가 전부 0으로 끝나야 다음 일로 넘어갑니다. “다 된 것 같아요”는 종료 코드가 아니니까요.
$ ratchet add "implement /login" $ ratchet next [1] implement /login # 작업 후, 검사기가 전부 통과해야 잠김 $ ratchet submit
다음은 연구입니다. 수식과 증명은 그럴듯해 보이는 페이지 안에 틀린 단계가 숨어 있기 쉬운 분야입니다. 지금은 실험하는 중이고, 제대로 버틴다는 게 확인되면 그때 더 이야기하겠습니다.
확인할 수 있는 것만 말합니다. 이 페이지도 예외가 아닙니다. 판정은 취향이 아니라 규칙으로 합니다. 원본은 덮어쓰지 않습니다. 마지막으로 보는 건 사람입니다. 그리고 규칙은 전부 공개되어 있습니다.
고삐(reins)라는 생각은 박준우 님의 글 Reins Engineering에서 가져와 우리 방식으로 고쳐 썼습니다.
Rigorloom을 실제 문서에 써 보고 싶거나, 여기 적힌 내용에 반박하고 싶다면 leptven@aeternaxis.com으로 메일 주세요.
— 이하율, 창업자
이 페이지에서 모델이 고치는 문장은 시연용으로 미리 써 둔 것입니다. 반영할지 되돌릴지는 Rigorloom 검사 코드(prose_fidelity.py)를 옮긴 스크립트가 지금 이 브라우저에서 판단합니다.