AI Progress On IMO Prompts Speculation About Solving Open Conjectures

After seeing AI's progress on IMO last year, it felt like only a matter of time before we'd see it tackle open conjectures. I'm still curious to see if (when) it can *pose* new mathematical conjectures, or even new IMO problems -- that will take a lot of taste.

Is anyone working on this?