other
Mathematical conjecture whose informal OpenAI proof was formalized in Lean in under two weeks, per the interview.
No evidence-backed relationships are recorded.
No current published clusters are mapped here yet.