STP: Self-play LLM Theorem Provers with Iterative Conjecturing and Proving — mentioned by anuramat

Sun, 05 Jul 2026 02:28:32 GMT

> this year or next maybe; I meant "in a single year eventually", not this year necessarily > what research transformers were published in 2017, and nobody anticipated agentic coding back then; but if I had to guess: 1. lean self play as in https://arxiv.org/abs/2502.00212 and https://arxiv.org/abs/2606.13473 2. "recursive self improvement"/autoresearch even basic stuff like coding agents removes a major bottleneck -- when finding relevant literature and turning an idea into code takes as much time as writing it down in your notes, researchers from top tier labs can test every single…

Paper and discussion history. A mention is not an endorsement.

STP: Self-play LLM Theorem Provers with Iterative Conjecturing and Proving — HN submission

Sat, 08 Feb 2025 13:26:22 GMT

STP: Self-Play LLM Theorem Provers with Iterative Conjecturing and Proving

3 points; 0 discussion replies on HN. Paper and source history. A submission is not an endorsement.

STP: Self-play LLM Theorem Provers with Iterative Conjecturing and Proving · HackerPapers discussions

STP: Self-play LLM Theorem Provers with Iterative Conjecturing and Proving — mentioned by anuramat

STP: Self-play LLM Theorem Provers with Iterative Conjecturing and Proving — HN submission