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.
EDITORIAL SYNTHESIS
Daily reviews, Weekly synthesis and Breakthrough reports. Pulse interprets the evidence register; it does not replace it.
A new arXiv preprint presents an explicit counterexample to the original cscK Yau–Tian–Donaldson conjecture and documents a strongly AI-led discovery process. Independent mathematical verification is still pending.
A missed historical breakthrough has been corrected into the observatory: Levent Alpöge’s explicit counterexample, credited in part to Claude Fable 5, refutes the Jacobian Conjecture in every dimension n≥3. Independent exact-arithmetic and formal verification support the claim; the n=2 case remains open.
Astra/OpenAI reported 10 Lean-formalized mathematical results; SINGULARITY relevance 9/10.