AI Mathematical Olympiad

Stream: Machine Learning for Theorem Proving

[Luigi Massacci]

I assume this announcement might interest some of the people in this stream, if everyone hasn’t seen it already.

[David Renshaw]

There has been some discussion on the #IMO-grand-challenge stream: https://leanprover.zulipchat.com/#narrow/stream/208328-IMO-grand-challenge/topic/AI.20Math.20Olympiad.20Prize/near/430818537