Can anyone provide proper sources for the recent AI breakthroughs in mathematics?

Collecting trend data

The percentage is based on available heat signal, not comment count or independent people.