Show HN: Why single agents suck at math proofs

1 comments

• saidcooldude 1 hour ago
  i thought this work was fun for white box theorem proving. it is interesting to pass the structure to an llm to better understand the problem solving strategy.

  using the tree shape as context for other questions was also interesting