@assimilateborg @futurebird the thing about maths in contrast to most other forms of knowledge is that in fact you can. that's why it seems finding mathematical proofs is a thing LLMs with the help of proof checkers like Lean are very much able to do.