Comment by bbor

  math more like an art than a science.

That’s a fun turn of phrase, but hopefully we can all agree that math without scientific rigor is no math at all.

  we likely need some new kind of math. Imo, it's unlikely that an LLM will somehow invent it.

Do you think it’s possible/likely that any AI system could? I encourage us to join Yudkowsky in anticipating the knock-on results of this exponential improvement that we’re living through, rather than just expecting chatbots that hallucinate a bit less.

In concrete terms: could a thousand LLMs-driven agents running on supercomputers—500 of which are dedicated to building software for the other 500-come up with new math?