---
id: "2079564458519662700"
requested_id: "2079564458519662700"
status: ok
level: 2
user: "ThosVarley"
name: "Thomas F. Varley"
created_at: "2026-07-21T13:49:38.000Z"
in_reply_to: "2079237011232165912"
quoted: null
source: tweet-result
url: "https://x.com/ThosVarley/status/2079564458519662700"
via:
  - level2: "2079790863387914743"
---

@eigenstate I'd love to know how many instances of Fable, GPT Sol, etc are currently cranking away on finding counter examples for open questions (and which open questions). It has to be hundreds at this point. How many will return with something valid?