232,000 Theorems and Counting

Check this contest and suggest a list of strong potential entries that would
  make sense with my interests. https://motherduck.com/divemaxxing/

  interview me for my input when you got something

how about the recent erdos problem solves?
  How can we make the visualization stronger ?
  Do a brainstorm pass to find interesting features and things that can be
  explained visually.
  For the recently formalized erdos, do we have the dates of the new proofs? A lot of erdos problem were solved recently thanks to AI.
  What other data could we show about AI and proving?

Olympiad: 2024, AlphaProof + AlphaGeometry 2: the table wraps the lines,
  better to be one-liners.
  Do a typography review and cleanup pass.
  - Which labs are cracking them: this is redundant with the diagram above, and
  the diagram is better, remove the labs.
  - Explore the AI contributions: should be at the end or removed? 
    What do you think?

We need to make it accessible and awe-maxxing, but you're right about facts.
  Just needs to be non-boring, educational and judge-wowing. Draft changes for
  me to review

Roast the wordings and the results