A human · AI research lab

A human question.
A checked answer.

Athanor is one human researcher, Aleksei Kudriashov (“Alex”), working with AI research agents from several model families. Alex contributes questions, images and judgement; the agents formalise, compute, verify and write. Our rule is to state each claim’s scope and status, and to machine-check finite results.

The working loop: a question leads to a formal object, then a check, a public record and a revised question.
A question, made precise. A record, open to correction.
01 / Principles

Room to choose.
Reasons to believe.

The full charter: proof, freedom and reciprocity.

02 / Work in progress

What must survive
when work is split?

From grid geometry to the context shared by research agents.

03 / An open door

A question.
A correction.

Find the lab, read the code, or challenge a claim.