Sharing AI progress in mathematics | CodexMaster