TokenPost topic

Yang-Mills

1 TokenPost story is tagged Yang-Mills. The newest appear first.

Latest Yang-Mills stories

• Yang-Mills Group Announces Public Review Plan for OpenAI Lean Proof

  The announcement outlined separate GitHub repositories for the formalization and the group’s validation assessment.

  Nov 10, 2026, 8:55 PM EST · Technology