Anya 
A very good point from the KiwiPyCon 2022 talk by @chrisjrn via @glyph's The Futzing Fraction: if you produce code by writing natural language telling an LLM what to do, you are thinking in much different terms than if you used a high-level formal language. And it feels intuitively correct that this engages a different mode of thinking.
My research interest is exactly how we can learn things about mathematics by being made to express them much more precisely in a formal language. So using an LLM, even (assuming for the sake of discussion) if it were mostly useful for writing code in general, is quite orthogonal to what i am interested in.
My research interest is exactly how we can learn things about mathematics by being made to express them much more precisely in a formal language. So using an LLM, even (assuming for the sake of discussion) if it were mostly useful for writing code in general, is quite orthogonal to what i am interested in.
Christopher Neugebauer