# Using large language models for research in the natural sciences > Source: > Published: 2026-09-07 16:23:02+00:00 *A short guide to using large language models for research in the natural sciences* Danielle Loader, Jonathan Oppenheim, Tobias J. Osborne Large Language Models are transforming mathematics and the physical sciences, allowing scientists to explore ideas quickly and raise their sights to grand challenges. But they also produce plausible but wrong text at industrial scale. Staying afloat in this torrent of slop requires scrutinising everything the model produces. We describe a number of workflows that improve and verify model output. These include using adversarial verification protocols, in tandem with Lamport's structured proof format. This exposes logical dependencies, and, by refining claims into sub-claims, spans a spectrum of rigour, from prose to formal verification. Because an LLM performs best when its input only contains what its next step needs, we use wikis and notebooks that the model reads selectively. We try to avoid techniques which merely patch flaws in current models, instead aiming to amplify LLMs as they improve. We explain enough of the architecture so users can diagnose common failure modes such as context rot, hyperfixation, and sycophancy. This guide is intended for scientists whose experience of large language models is the chat window, which conceals many of the levers that can make LLMs more reliable. The goal is to make LLM output more open to inspection, without losing sight of AI's broader dangers. | File | Description | |---|---| | `train_your_slop_cannon_v1.tex` | LaTeX source (self-contained; bibliography is inline via `thebibliography` ) | | `train_your_slop_cannon_v1.pdf` | Compiled PDF, 27 pages | | `claude-code-session.png` | Figure: a coding-agent session, included in Section 5 | ``` latexmk -pdf train_your_slop_cannon_v1.tex ``` Requires a TeX Live installation with `amsmath`, `tcolorbox`, `tikz`, `listings`, `hyperref`, `dsfont`, `booktabs`, `enumitem`, `fancyhdr` and `geometry`. The manuscript is drafted on Overleaf; this repository is a snapshot of that source. The file was named `structured-proofs.tex` on Overleaf and is renamed here to match the title. Licensed under [Creative Commons Attribution 4.0 International](https://creativecommons.org/licenses/by/4.0/) (CC BY 4.0). See `LICENSE`.