Human In The Loop

concepts · 2 notes linked

Related: Chatgpt · Openai · Large Language Models · AI Assisted Proof · Formal Mathematics · GPT-4 · Thoughtworks · Mike Mason

Notes

• Early Evidence of Vibe-Proving with Consumer LLMs: A Case Study on Spectral Region Characterization with ChatGPT-5.2 (Thinking) — LLM-assisted iterative mathematical proof via generate-referee-repair pipeline
• Using ChatGPT as a technical writing assistant — ChatGPT as iterative technical writing draft tool