Sharing AI progress in mathematics · Bharat Hunt