With a few hundred well-curated examples, an LLM can be trained for complex reasoning tasks that previously required thousands of instances.

Specifically, the AI was able to make progress on a complex problem called the Andrews–Curtis conjecture, which has stumped ...