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
← Back to Pulse
DAILY REVIEW15 Aug 2026

Daily Pulse — 15 Aug 2026

Il segnale dominante non è una nuova release frontier ma la correzione di due importanti risultati AI-for-mathematics emersi dopo il Daily precedente: il controesempio Claude-assisted alla Jacobian Conjecture per n≥3, formalmente verificato, e nuovi bounds co-sviluppati con AI sulla Grothendieck constant. Science sale a 56.4/100; ASI Readiness a 58.2/100 e Singularity Readiness a 52.61/100. GLM-5.3 resta un annuncio pre-release e Unitree un segnale di scala industriale, non di nuova autonomia. Forecast ASI invariato.

ANALYSIS

Methodology note: Historical index values on this Pulse are normalized to the current methodology for comparability. The original as-published record remains unchanged in the canonical archive.

Executive signal

Il quadro cambia rispetto al Daily di ieri, ma non per una nuova release nelle ultime ore. Dopo il Pulse del 14 agosto il sistema ha corretto due eventi AI-for-Science che il precedente screening aveva mancato: un controesempio Claude-assisted alla Jacobian Conjecture in dimensione n≥3, indipendentemente e formalmente verificato, e un lavoro human-AI che stringe i bounds della Grothendieck constant. Questi due segnali hanno già portato AI for Science da 54.9 a 56.4/100 (+1.5), ASI Readiness da 57.8 a 58.2/100 (+0.4) e Singularity Readiness da 52.33 a 52.61/100 (+0.28). Nessuna ulteriore variazione viene forzata oggi.

Frontier intelligence / agents / coding

—OpenAI: nessuna nuova release flagship verificata nella finestra. GPT-5.6 resta il riferimento pubblico. Le notizie su Astra continuano a indicare capacità cyber interne potenzialmente critiche e un rallentamento per safety, ma il materiale primario accessibile oggi non aggiunge una nuova misura pubblica sufficiente a cambiare gli score.
—Anthropic: nessuna nuova release pubblica verificata. Un report Axios del 14 agosto indica che Anthropic non intende rilasciare un più potente “Model 2” per rischio crescente, ma non è stato possibile recuperare oggi il report primario corrispondente; il segnale resta quindi watch-only e non muove il database capability.
—Google DeepMind: nessuna nuova release oltre Gemini 3.7 Flash del 13 agosto, già registrata.
—SpaceXAI/xAI: Grok 4.6 del 12 agosto resta l'ultima release registrata; nessun successore verificato.
—DeepSeek: V4 Pro (0813) resta l'ultima GA registrata; nessuna nuova release nella finestra.
—Qwen/Alibaba: nessuna nuova flagship verificata.
—Z.ai: GLM-5.3 è stato annunciato il 14 agosto con 84.5% dichiarato su CyberGym e rilascio open-weight previsto in circa due settimane. Evidenza: annuncio riportato da Reuters, benchmark non ancora indipendentemente verificato. Rilevanza 7.2/10; impatto ASI basso fino alla release/independent eval.

AI for Science — il segnale più importante

1. Jacobian Conjecture, n≥3 — rilevanza 10/10. Levent Alpöge ha annunciato un esplicito controesempio in C^3 e ha accreditato Claude Fable 5 per il lavoro che ha portato alla costruzione. La verifica indipendente in exact arithmetic e Isabelle/HOL conferma il risultato; per estensione la congettura è falsa per tutti n≥3, mentre n=2 resta aperto. Questo è un caso raro di AI che contribuisce materialmente a una scoperta matematica di alto profilo e con verifica esterna forte. Non dimostra però un loop di ricerca completamente autonomo. 2. Grothendieck constant — rilevanza 8.4/10. Un sistema di ricerca AI a lungo orizzonte, con steering e verifica umana, ha contribuito a nuovi lower/upper bounds; il companion paper attribuisce al sistema AI la scoperta e prima dimostrazione del nuovo lower bound K_G ≥ 6π/11. Il valore esatto resta aperto: partial, co-developed, non closure completa.

Questi due elementi giustificano l'aggiornamento già applicato al componente Novel result generation e Independent verification di AI for Science. Nessun ulteriore movimento oggi.

Open Problem Closure Radar

—Nuovi record emersi dopo il Daily precedente: 3.
—Jacobian Conjecture: independently_verified · AI role co_developed · significance 10/10.
—Grothendieck constant: partial · AI role co_developed · significance 8.4/10.
—Generalized Chang–Yang conjecture: partial, solo caso assialsimmetrico per N≥3 · AI role unclear · significance 7/10; non incide su ASI.
—AI-material records: 2.

Nessun nuovo paper del 14 agosto è stato classificato come full/independently_verified durante questo run. Il controllo arXiv è marcato partial perché l'indice web disponibile non consente una enumerazione garantita e completa dell'intero feed giornaliero; il missed-event audit resta quindi prudenzialmente non “complete”.

Robotics

Unitree IPO — rilevanza 7/10. L'IPO sullo STAR Market ha raccolto circa 6.1 miliardi di yuan e la tranche retail è stata riportata come oltre 8.000 volte oversubscribed. È un segnale concreto di capitale, manufacturing scale e maturazione commerciale della robotica generalista, ma non prova un salto in autonomia, generalizzazione, intervention rate o endurance. Robotics resta 47.4/100.

Compute & Infrastructure

Nessun nuovo milestone nelle ultime 24 ore su NVIDIA/AMD/TPU/Trainium, TSMC/ASML, HBM, interconnect, advanced packaging o datacenter power che giustifichi un cambio. Compute resta 75.1/100. I colli di bottiglia sistemici restano potenza, leading-edge capacity, memory/interconnect e integrazione rack/datacenter.

Synthetic Biology

Nessun nuovo endpoint clinico o risultato di delivery/programmazione biologica verificato nelle ultime 24 ore per i principali attori monitorati. Generate:Biomedicines continua a rappresentare un caso forte di generative biology con feedback sperimentale, ma senza nuovo dato del periodo. SynBio resta 66.0/100.

Energy / Fusion

Nessun nuovo integrated net-electricity milestone, plant-engineering step o licensing event materiale nella finestra. Il divario plasma→impianto commerciale resta aperto. Energy/Fusion resta 46.8/100.

Advanced Materials

Nessuna nuova validazione fisica scalabile nelle ultime 24 ore. Rimane il divario tra enorme capacità di generazione computazionale e throughput di sintesi/qualification/manufacturing. Materials resta 62.4/100.

Longevity

Nessun nuovo endpoint umano per ER-100 o altre piattaforme di rejuvenation nella finestra. ER-100 resta una Phase 1 first-in-human: segnale importante di traduzione clinica, ma non ancora prova di rejuvenation umana efficace. Longevity resta 36.3/100.

BCI / HMI

Nessun nuovo dato verificato del periodo su bandwidth, stabilità pluriennale, bidirezionalità o scala clinica. Paradromics Connexus resta in early feasibility e Neuralink continua i trial attivi, senza nuovo endpoint che muova il dominio. BCI resta 42.8/100.

Benchmark Observatory

—METR Time Horizon 1.1: pagina ufficiale ancora last updated 8 May 2026; nessun nuovo punto.
—FrontierMath: nessun aggiornamento robusto verificato nella finestra.
—HLE: nessun aggiornamento ufficiale affidabile che richieda modifica. Leaderboard di terze parti risultano non pienamente comparabili e non vengono usate per muovere score.

Benchmark health invariata: inferenza compute, scaffold e versioni rendono sempre più pericoloso confrontare numeri isolati senza protocollo comune.

Readiness & forecast

—Intelligence: 63.7/100 — invariato
—AI for Science: 56.4/100 — +1.5 vs Daily precedente
—Robotics: 47.4/100 — invariato
—ASI Readiness: 58.2/100 — +0.4
—Singularity Readiness: 52.61/100 — +0.28
—ASI probability rolling: 1y 2% · 2y 6% · 3y 12% · 5y 30% · 10y 81% — Δ 0 pp su tutti gli orizzonti.

Bottleneck watch

1. Long-horizon autonomous reliability. 2. Automated AI R&D / sustained recursive research loops. 3. Scientific verification throughput: la velocità di generazione di risultati sta iniziando a superare la capacità di verifica indipendente. 4. Robot reliability, intervention rate, endurance e manufacturing economics. 5. Datacenter power + leading-edge fabs/HBM/interconnect. 6. Fusion integrated net-electricity e plant integration. 7. Materials validation-to-manufacturing. 8. Programmable-biology delivery/control. 9. Human rejuvenation evidence. 10. Stable high-bandwidth BCI.

Audit

Nessun ulteriore miss >=7/10 è stato trovato oggi rispetto agli eventi già corretti e presenti nel database. Restano però due retroactive corrections emerse dopo il Daily precedente: Grothendieck constant e Jacobian Conjecture. Open-problem audit: partial per incompletezza dell'enumerazione arXiv disponibile via indice web; nessun nuovo candidato significativo è stato promosso sulla base di un titolo/social post senza apertura e controllo del paper.

Verdetto: il segnale chiave della giornata è qualitativo: non un nuovo benchmark LLM, ma un aumento della qualità dell'evidenza che AI frontier può contribuire a matematica di ricerca reale e verificabile. È sufficiente per alzare AI for Science e quindi ASI Readiness, ma non ancora per muovere il forecast temporale ASI.