Semantic review is behind discovery. Evidence and Pulse may be incomplete until the backlog is cleared.
2 material first-party/frontier/open-problem candidate(s) have waited more than 6 hours for semantic review.
EVIDENCE REGISTER
A chronological register of published signals. Source class, verification state, evidence quality and relevance remain visible before interpretation.
A human-AI research collaboration tightened both lower and upper bounds on the Grothendieck constant. The companion methodology paper states that the AI system discovered and first proved the new lower bound K_G >= 6π/11, later independently checked and revised by the human authors; the exact value of K_G remains open.
A Claude-assisted research workflow reportedly improved the proportion of non-trivial simple zeros shown to lie on the critical line from about 41.6% to 67.2%. This was a substantial partial result, not a proof of the Riemann Hypothesis. The work used roughly 31M output tokens, about 60 sub-agents, around 650 discarded strategies, thousands of computational checks and Lean formalization.
An analyst estimate cited in the Pulse put AgiBot at roughly 8,400 humanoids shipped in H1 2026, around 44% of global shipments. This is meaningful evidence of manufacturing scale, but shipments are not evidence of general-purpose autonomy: public uptime, intervention rates, teleoperation share, generalized-task performance and continuous production telemetry were missing.
Pathway reports that BDH-CQ, a proprietary 150-million-parameter post-Transformer system, combines in-context learning with recurrent latent reasoning and reaches 29.5% pass@2 on the public ARC-AGI-1 evaluation set. The reported operating point uses about 0.85 H200 GPU-seconds per task, corresponding to a computed inference cost of $0.00070 per task at the paper's hardware-price assumption. A documented black-box audit by external-affiliation co-authors reproduced the deployed system's 29.5% score without access to model weights.
VibeMathed/arXiv recorded an AI-assisted result in which GPT-5.6 Sol/Codex derived proofs and counterexamples and Claude simplified or checked parts of the argument. It remained unreviewed and did not change the ASI trajectory.
A candidate result was reported in which Claude Fable 5 proposed an algorithm and GPT-5.6 repaired and simplified the argument. Review was still pending, so it was treated as an AI-for-Science signal rather than a confirmed breakthrough.
VibeMathed recorded a proposed counterexample developed with GPT-5.6 Sol Ultra. It was marked resolved by the tracker but remained unreviewed, with no Lean proof, peer review or specialist independent verification recorded in the Pulse.
GPT-5.6 Sol Ultra reportedly carried a Dittert-5 candidate through problem selection, discovery, certificate generation, Lean formalization, verification and manuscript preparation. The workflow was unusually autonomous, but independent human audit and review were still missing.
The 7 August Pulse recorded WeatherNext Cyclones as roughly one day of additional warning and about a decade of meteorological progress, without a documented ASI forecast revision.
Lorist, Meyries and Veraar construct a bounded strongly stable C0-semigroup generator on a Hilbert space whose inverse does not generate a C0-semigroup, resolving the inverse generator problem negatively. The current arXiv v2 AI disclosure states that ChatGPT 5.6 Pro explored Schauder-basis counterexamples, assisted the explicit basis construction in Proposition 2.1, and helped optimize constants.
The 6 August Pulse included a rank-3 K-U-M result recorded as Lean-verified. It was notable but did not justify an ASI forecast change.
The 5 August Pulse noted Simonovits and two-terminal reliability results on VibeMathed but explicitly kept them preliminary and left the ASI forecast unchanged.
The 4 August Pulse recorded Qwen3.8-Max at 2.4T parameters and 1M context, relevance 7/10, with no ASI forecast change.
SpaceX disclosed that Starmind AI1 satellites are planned to carry NVIDIA Rubin GPUs and Vera CPUs for datacenter-class orbital AI compute. The underlying disclosure dates to August 4, 2026; NVIDIA formally reiterated and confirmed the Vera Rubin NVL72 basis on August 24.
Shuoxing Zhou constructs non-isomorphic ICC property-(T) groups with isomorphic group von Neumann algebras, giving a counterexample to Connes' rigidity conjecture for this class. The paper explicitly says the result was obtained with GPT-5.6 Sol assistance, independently of and concurrently with OpenAI work. The theorem and provenance are primary-source confirmed; independent specialist verification remains pending.
A Brett Adcock video showed Figure F.03 repeatedly climbing a steep staircase autonomously for about two hours, leading to an upward correction of robotics sub-indicators while ASI remained unchanged.
The 2 August Pulse rated Gemini Robotics 2 at 8/10 but did not change the ASI forecast.
Astra/OpenAI was recorded in the original Pulse as producing 10 mathematical results formalized in Lean, triggering the largest early ASI forecast revision in the archive.
Microsoft Research, Providence and University of Washington report two open-weight pathology foundation models for population-scale research. GigaPath-Flash retains 97% of GigaPath's average slide-level performance with roughly 50 times less compute. GigaTIME-Flash reports sixfold higher speed and eightfold lower memory while matching or improving spatial-protein prediction across tested cohorts.
A preprint attributed by its submitter to ChatGPT 5.6 proves full replica symmetry breaking for the zero-field Sherrington–Kirkpatrick model at zero temperature. A catalog audit found that the accompanying Lean development is conditional on seven identified analytic inputs and is not an assumption-free verification.
Levent Alpöge announced an explicit polynomial self-map of C^3 with constant nonzero Jacobian determinant that is not injective, refuting the Jacobian Conjecture for dimensions n≥3. Alpöge explicitly credited Claude Fable 5 with work leading to the counterexample. The result was rapidly independently checked in exact arithmetic and formally verified in Isabelle/HOL and Lean-derived work. The two-dimensional case remains open.
Colin Defant's revised paper on the MacNeille completion of Bruhat order proves a conjecture of Escobar, Klein and Weigandt and gives a counterexample to a conjecture of Hamaker and Reiner. The abstract states that those two results were obtained autonomously by ChatGPT 5.4 Pro and presents the paper as a case study in LLM-automated mathematical research. The underlying paper was first submitted in May and revised September 6; the recovered revision is primary-source confirmed but not independently externally reproduced.