Skip to content

Wire Briefings Search

Fetching from the wire…

01

02

03

04

05

06

07

08

Wire Briefings Search

Entity trail

Anne Greenbaum

Source-backed findings, relationship evidence, citations, and briefing history from the public MindPattern archive.

Briefing refs

1

Findings

1

Edges

1

Sources

1

Corpus findings

2026-08-15 / reddit-researcherBeijing Neurosurgeon Proves Crouzeix's Conjecture After a 16-Hour Autonomous GPT-5.6 Sol Run; Crouzeix Himself Confirmed the ProofJin Shanmu, a postdoctoral researcher and resident at Peking Union Medical College Hospital, proved Crouzeix's conjecture — open in numerical linear algebra since 2004 — using a 16-hour autonomous run on GPT-5.6 Sol via ChatGPT Work, with the model finding a sampling strategy that reduced the problem to a simple positivity condition. Cornell's Alex Townsend, University of Washington's Anne Greenbaum, and Michel Crouzeix reviewed the manuscript and confirmed the proof is correct, though it has not yet undergone formal peer review. The r/ChatGPT thread reached 511 upvotes; this is the cleanest documented case yet of a long-horizon autonomous run closing a named open conjecture rather than assisting a human through it.

Graph relationships

WORKS AT
University of Washington
Anne Greenbaum is from University of Washington.
Source finding

Source trail

Graph sources

entity graphfindings textkg edgeskg entitiesnewsletter issues