this post was submitted on 22 Jul 2026
16 points (90.0% liked)
Artificial Intelligence
1947 readers
31 users here now
Welcome to the AI Community!
Let's explore AI passionately, foster innovation, and learn together. Follow these guidelines for a vibrant and respectful community:
- Be kind and respectful.
- Share high-quality contributions.
- Stay on-topic.
- Enhance accessibility.
- Verify information.
- Encourage meaningful discussions.
You can access the AI Wiki at the following link: AI Wiki
Let's create a thriving AI community together!
founded 3 years ago
MODERATORS
you are viewing a single comment's thread
view the rest of the comments
view the rest of the comments
I'm guessing that you'd...
1: Choose a math problem that's difficult to solve, but easy to verify whether a solution is correct or not.
2: Set up a loop of two AIs talking to each other (or just two instances of one AI). The first is set up to come up with as many different solutions for the problem as possible, repeatedly, for many thousands of attempts. The second is tasked with checking each attempt to see whether it is actually a solution or not.
3: When the second AI flags something as a valid solution, have a human look over and check to see whether it really is or whether the second AI is just hallucinating. Hopefully, among just a few dozen false positives, you'll find the actual valid solution.
Right, but I would think that would be a lot easier and more efficient to do via scripting than via an LLM. I guess you could get the LLM to write the scripts though...
I would say the mathematical proof could be extended or modified by infinitely many variants, so LLM could be used as a heuristic to guide the search based on similarities or previous approaches or just based on the context of the failing cases.
True, see my reply to another reply in this thread - it looks like that's definitely happening in some cases.
edit: oh, you already replied to it 😅️