dated publication or supporting document

Towards Autonomous Mathematics Research (version 1)

Historical reference supporting Google DeepMind publishes Aletheia mathematics research agent results