OBSERVATORY DEGRADED

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.

0 critical overdue · 2 material overdue
Last semantic import 19 Sept, 04:12

EVIDENCE REGISTER

The evidence archive

A chronological register of published signals. Source class, verification state, evidence quality and relevance remain visible before interpretation.

PUBLISHED RECORDS

215 matching evidence records

201–215 / 215
10 Aug 2026Intelligence

BDH-CQ sets a new ARC-AGI-1 cost-efficiency point with recurrent latent reasoning

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.

INDEPENDENTLY CONFIRMEDPREPRINTPrimary source ↗
Relevance8.2/10evidence 78/100
08 Aug 2026AI for Science

Dittert-5: near end-to-end AI mathematics workflow

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.

PRELIMINARYVIBEMATHEDPrimary source ↗
Relevance7.0/10
07 Aug 2026AI for Science

WeatherNext Cyclones signals faster AI-enabled forecasting progress

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.

PRIMARY CONFIRMEDORIGINAL SINGULARITY PULSE
Relevance8.0/10evidence 78/100
06 Aug 2026AI for Science

AI-assisted construction gives negative solution to the inverse generator problem on Hilbert spaces

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.

PRIMARY CONFIRMEDPREPRINTPrimary source ↗
Relevance7.1/10evidence 84/100
06 Aug 2026AI for Science

K-U-M rank-3 mathematics result recorded as Lean-verified

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.

PRIMARY CONFIRMEDORIGINAL SINGULARITY PULSE
Relevance7.0/10evidence 80/100
04 Aug 2026Intelligence

Qwen3.8-Max highlighted in the Daily Pulse

The 4 August Pulse recorded Qwen3.8-Max at 2.4T parameters and 1M context, relevance 7/10, with no ASI forecast change.

INDEPENDENTLY CONFIRMEDSURGE AI INDEPENDENT EVALUATIONPrimary source ↗
Relevance7.4/10evidence 88/100
04 Aug 2026Compute & Infrastructure

SpaceX details Starmind AI1 orbital AI compute architecture with NVIDIA Vera Rubin

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.

PRIMARY CONFIRMEDFIRST-PARTY SOCIALPrimary source ↗
Relevance7.5/10evidence 90/100
03 Aug 2026AI for ScienceBreakthrough

GPT-5.6 Sol-assisted construction gives counterexample to Connes' rigidity conjecture

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.

PRIMARY CONFIRMEDPREPRINTPrimary source ↗
Relevance9.4/10evidence 91/100
02 Aug 2026Robotics

Figure F.03 autonomously handles steep stairs for about two hours

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.

ANNOUNCEDFIRST-PARTY SOCIALPrimary source ↗
Relevance7.5/10evidence 68/100
02 Aug 2026Robotics

Gemini Robotics 2 emerges as a major embodied-AI signal

The 2 August Pulse rated Gemini Robotics 2 at 8/10 but did not change the ASI forecast.

ANNOUNCEDORIGINAL SINGULARITY PULSE
Relevance8.0/10evidence 70/100
01 Aug 2026AI for ScienceBreakthrough

Astra reports 10 Lean-formalized mathematics results

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.

PRIMARY CONFIRMEDORIGINAL SINGULARITY PULSE
Relevance9.0/10evidence 85/100
20 Jul 2026AI for Science

GigaPath-Flash cuts whole-slide pathology compute while preserving most predictive performance

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.

PRIMARY CONFIRMEDPREPRINTPrimary source ↗
Relevance8.1/10evidence 76/100
20 Jul 2026AI for Science

ChatGPT 5.6 authored a preprint proving full replica symmetry breaking at zero temperature

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.

PRIMARY CONFIRMEDPREPRINTPrimary source ↗
Relevance8.7/10evidence 64/100
20 Jul 2026AI for ScienceBreakthrough

Claude-assisted counterexample refutes the Jacobian Conjecture in dimensions n≥3

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.

INDEPENDENTLY CONFIRMEDFORMAL / REPOSITORYPrimary source ↗
Relevance9.2/10evidence 98/100
08 May 2026AI for ScienceBreakthrough

ChatGPT 5.4 Pro autonomously proves and disproves two Bruhat-order conjectures

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.

PRIMARY CONFIRMEDPREPRINTPrimary source ↗
Relevance9.4/10evidence 89/100
Page 9 / 9
← PreviousNext →