Post

Since Sol and Fable came out I've been obsessively using them for research math and putting my Lean skills to use. The result is a series of thematically connected papers in algebraic and finite geometry, coding theory, algebraic combinatorics, and quantum information. github.com/tavisrudd/ma...

They ask two related questions: how much structure can be recovered after most of the original information has been discarded, and which obstructions persist under operations, such as stabilization, that might be expected to weaken them?

This was not zero-shot! I've been in the loop over 1,552 codex and claude code sessions choosing and reframing problems, steering exploration and later proof & manuscript development, challenging arguments, and designing verification gates. ...

... My naive questions and challenges seemed to help the models push past their natural stopping points and not cheat. /goal is dangerous for this type of work and I've avoided it.