undefined | Better HN

0 pointsComplexSystems4d ago0 comments

That may be true for now, but it seems clear enough that letting the model use Lean in its internal reasoning process would be a great idea

0 comments

trostaft4d ago

That I'd agree with! I really need to get around to learning Lean myself. It might be interesting to try and formalize some missing theoretical pieces from my field (or likely start smaller).

j / k navigate · click thread line to collapse

0 comments

trostaft4d ago

That I'd agree with! I really need to get around to learning Lean myself. It might be interesting to try and formalize some missing theoretical pieces from my field (or likely start smaller).

j / k navigate · click thread line to collapse