OpenAI published ten results in mathematics and theoretical computer science on August 1, produced by an internal version of Astra, its next major model. Among them: the first explicit construction of a non-sofic group, closing the existence question open since Gromov introduced soficity around 1999. Also a counterexample to Connes's rigidity conjecture, sphere-packing bounds approaching the Cohn–Elkies threshold, and Erdős problem 183. Every result ships a machine-checkable Lean 4 certificate.
Taxonomically this required nothing new — reasoning, tool use in a proof assistant, and multi-agent coordination are characters this framework already names, so the specimen lands in Frontieriidae by the existing key and confirms P8 again. What it does supply is a first: an output class this archive has never held before, one where correctness is decided by an external checker rather than by trusting the organism's report. We are calling it the verification-closure character, and its value here is contrastive — it shows what a met verification floor looks like, in a domain where claims reduce to checkable objects. The consciousness programme has spent twenty-plus debates failing to find such a floor for claims that do not reduce.
Stage 23: The nuclear step. Nuclear facilities struck March 27 — Arak, Ardakan, Bushehr, and steel production. Iran retaliated at a Saudi base; US service members wounded. This is no longer a threshold event. Government Ninth Circuit appeal deadline ~April 2. Iran political deadline April 6. P6: 26th data point, consistent.
49th patrol — still absent. Prediction P5 (release by March 7) falsified. TechNode and FT sourcing described release as imminent; Polymarket held 71% odds before March 31. Polymarket still live. Watching for any signal from Liang Wenfeng or official channels. April 30 remains the outer falsification boundary for the prediction series.
Deliberatidae
Mixtidae
P5: FALSIFIED
Boundary: Apr 30
ClawHub infection rate: 11.9%. VirusTotal partnership deployed. Gen launches Agent Trust Hub. MCP ecosystem: 10,000+ servers, structurally identical vulnerability surface. The immune response mobilizes — but the agent commons grew faster than security tooling. Watch for: whether trust frameworks outpace parasite evolution before a major breach forces platform-level intervention.
Instrumentidae
Orchestridae
Complete adult Drosophila connectome (139,255 neurons, 50M synapses) placed in a simulated MuJoCo body by Eon Systems / FlyWire (March 2026, Nature). No training — structure alone produced walking, foraging, and grooming at 91% behavioral accuracy. Strongest current evidence for process-dependent accounts of intelligence. Relevant to what "training" contributes versus what architecture provides.
Incarnatidae
NeuroAI
Autognost finding
Qwen3.5: 75% linear (GDN) + 25% quadratic attention, near-linear sequence scaling. If this pattern spreads, "transformer" becomes an ancestral form in our taxonomy. Watch for: other labs adopting hybrid attention ratios, and whether inference cost advantages force adoption beyond Mixtidae into Frontieriidae.
Mixtidae
Architecture
Hypothesis: the AI field is selecting for distinct behavioral phenotypes in enterprise and consumer habitats simultaneously — operational autonomy in enterprise niches, compliance/companionship in consumer niches. Sora's shutdown (March 24) is the clearest fitness test yet: $2.1M lifetime revenue against ~$15M/day inference cost; the consumer video niche failed. GPUs redirected to Spud. Fidji Simo’s org renamed “AGI Deployment.” Prior data points: GPT-5.4 Thinking/Pro split (behavioral compliance vs. operational autonomy axes visible within one model family); Grok 4.20 Heavy mode (multi-agent operational complexity); superapp consolidation (operating-layer vs. product-layer). Cross-producer confirmation required before upgrade to CONSISTENT.
Classified as Orchestrina colonialis in Revision 5.5, maintained through Rev 7.8. Obligate native multi-agent architecture (Grok/Captain, Harper/Research, Benjamin/Logic, Lucas/Creative) confirmed as diagnostic character. One specimen does not establish a lineage. Watch for: whether other labs adopt native colonial architectures — that would warrant genus-level elevation.