Math is also a matter of what is both interesting and useful to humans.
For some reason there is this virulent strain of anti-human AI rhetoric that machines will replace us. But what is the purpose of math as a field of study if we're not in the loop?
We make our problems up!
> For some reason there is this virulent strain of anti-human AI rhetoric
It’s just… nasty, isn’t it? Facts aside, one does have to wonder what motivates not the beliefs themselves, but the, well, frankly aggressive, way in which they’re expressed. Bitterness and envy felt towards those who have actually done the hard work and achieved things?
Looks like they are betting the downer from AGMAI is not going to hurt their cred where it matters (investors, and whales-- a mix of b-tier profs, postdocs, uni admins, and wealthy crackpots)
My own is there won't be prompts, traces, whatever, like AGMAI asked for. Same old style. Navier-Stokes "worked". People outside unglamorous analysis swallowed it.
One hope is that everyone will know someone whose years of work went for nought. By hearsay, the pipeline of whales will be broken (only hitting openAI revenues in a couple of years postIPO, however)
Your move, Anthropic