Sharing AI progress in mathematics