whoa openai.com/index/ten-ad...
Pwnallthethings
Tracked through public AI activity and peer connections inside the directory.
- AI signals
- 2 past 30d
- Sources
- 2 distinct domains
- Discussions
- 41 past 30d
- Latest signal
- 8d ago
Articles & links
FWIW here is the exact prompt they used to solve it; anyone else can try it cdn.openai.com/pdf/04d1d1e4...
- OpenAI published the system prompt used to get GPT-5.6 Sol Ultra to produce a claimed proof of the Cycle Double Cover Conjecture.
- The prompt tells the model to use 'multiagent v2' with up to 64 concurrent agents and to compute for at least eight hours before giving up.
- The three-page proof has not been peer-reviewed or formalized in Lean or Coq, and the math community has not confirmed it.
I think they are mostly based on Google's synthID paper if you're interested in the details www.nature.com/articles/s41...
yes (here) arxiv.org/html/2608.16...
openai.com/index/chatgp...
Recent commentary
people say AI can't do novel research but how do you explain how many papers have "et Al" as a coauthor huh
In Pwnallthethings's orbit
Center = Pwnallthethings. Left = members they follow (green edges). Right = members who follow them (blue edges). Top = mutual follows (orange edges, slightly larger). Drag any node to reposition; click to open that profile.
Are you Pwnallthethings? Show it.
Add the Who’s Who of AI badge to your site or bio. It links back to this profile.
Markdown: [](https://aiweekly.co/whos-who/person/pwnallthethings-bsky-social)