[jlopes2]

This feels a little to high level for me, the leap from what LLM does today to provable theorem set is rough.

community is having large debates on whether an LLM can reason outside of its training.This feels ignored in here.