← Back to context

Comment by NegativeLatency

1 day ago

Why should I care?

Because it means mathematical discovery can largely be automated away from academics. This is the beginning.

  • Humans propose; AI will dispose.

    It's not clear from this progress that AI can formulate conjectures despite this new ability to solve them. So mathematicians still look like they have a job. Though instead of spotting far-off landmarks it's sounds more like they'll be chasing waves on a beach.