@prefix schema: <https://schema.org/> .
@prefix af: <https://anchorfact.org/ns#> .

<https://anchorfact.org/kb/ai/ai-mathematical-reasoning>
  a schema:article ;
  schema:headline "AI for Mathematical Reasoning: Theorem Proving with Lean, AlphaProof, and Formal Mathematics" ;
  schema:url <https://anchorfact.org/ai/ai-mathematical-reasoning/> ;
  af:status "public" ;
  af:confidence "medium" ;
  af:confidenceScore "0.85" ;
  af:confidenceBasis "verified_sources" ;
  af:generationMethod "ai_structured" .

<https://anchorfact.org/kb/ai/ai-mathematical-reasoning>
  schema:citation <https://www.nature.com/articles/d41586-025-03585-5> ;
  af:sourceTier "S" .

<https://anchorfact.org/kb/ai/ai-mathematical-reasoning>
  schema:citation <https://www.nature.com/articles/s41586-023-06747-5> ;
  af:sourceTier "S" .