Work / gls:work:5c1e8a34-6d72-4f19-8a0b-2e7c94d1f635
SISO Unsolveable Mathematics
An open-problem attack programme covering the UNSOLVEABLE constitution, the ten-agent Erdos campaign master prompt, the Erdos 41 flagship dossier, and agent 09's Erdos 23 workspace.
Research contract · GQ-011
Which Erdos problems can a coordinated agent campaign move from open to a defensible partial result, and what exactly is the standing of each claim produced?
SISO Open Source Foundation
active
partial
Not declared
Define the minimum public-safe question program before scheduling research.
No selected release
Not released — the selected Release has no public answer artifact.
corpus
A claim is promoted only with a kernel-verified proof or an explicit counterexample · Every retained claim names the exact assumption it is conditional on
The frozen upstream certificate the Erdos 23 corollary depends on is retracted · The integral step to beta(G) <= N^2/25 is shown to fail in the odd-K5 obstruction class
No kernel-verified full proof exists for any campaign claim · Novelty against the existing literature is not independently verified
Erdos problem literature cited in the campaign dossiers · agent campaign workspaces under docs/campaigns/erdos-10-2026-08-07
Per problem, a stated verdict with its conditionality, the orders or cases closed, the first case not closed, and the strongest unresolved objection.
Re-examined when a campaign agent records a new verdict, or when an upstream certificate the results are conditional on is revised or retracted.
public evidence
Research sources
Source & upstream links
Relationships
The Great Library of SISOSplit out of the Great Library on 2026-08-07. The branch agent/erdos-09-23 was proven by git merge-base --is-ancestor to contain all eleven other Erdos campaign refs, which were then deleted as redundant.
Evidence & receipts
Agent 09 recorded a NEW CANDIDATE PARTIAL RESULT and explicitly not a solution: conditional on a frozen exact upstream certificate, the exact floor target holds for 147 orders through 200 including every order through 42, with 43 the first order not closed. The record states there is no kernel-verified full proof, no counterexample, and no novelty-verified resolution, and names the unresolved objection as the integral step to beta(G) <= N^2/25 in the odd-K5 obstruction class.docs/campaigns/erdos-10-2026-08-07/agents/09-23/verdict.md
Ancestry was proven for all eleven non-target Erdos refs against agent/erdos-09-23 immediately before deletion, with zero failures. Eight of the eleven pointed at the identical commit f69b670, an instance of the branch-reservation versus durable-pushed-work distinction the programme had already recorded.git merge-base --is-ancestor
Provenance
- Registry source
- registry/works/siso-unsolveable-mathematics.json
- Origin
- siso
- License / redistribution
- NOASSERTION (pending)