LLM prompting technique to help with creating Python code

Stream: general

[Eric Taucher]

For users here that use LLMs to create software with Python or such here is one simple suggestion that can save a few cycles in getting to the final result.

At the end of the prompt just add

Ask questions as needed

Often I am surprised by some of the insights the AI has that were overlooked by me or that need some refining in the prompt to get the code I seek and not code that needs to be changed because of an oversight.

---

I know this is not specific to Lean so putting in the general category, hope others don't mind.

The reason for posting on this forum is that I am watching a video by a mathematician who noted they just started using ChatGPT to create Python code to help them with mathematical experiments. I did not see them listed as a user here.

[suhr]

A general programming advice which should work no matter what you use to write code: try to break your problem into smaller problems.

[Patrick Massot]

Eric, this general channel is meant for general discussion about Lean, it is not an “off-topic channel”.

[Kevin Buzzard]

The lean discord will accept off-topic posts btw