Hacker News new | past | comments | ask | show | jobs | submit
JacobAsmuth | on: Mathematics has changed. Let's act like it
Tens of millions? You're thinking specifically of the proof of Navier-Stokes. According to https://github.com/openai/math/blob/main/README.md:

"On average, each result used three hours of ChatGPT Pro thinking compute with that model. Over the course of the evaluation, the model was posed approximately 4,000 problems. Aggregating the output into result families and manuscripts and requiring an appropriate level of significance led to the catalog outlined above."

I will note that this includes the Quasi Riemann Hypothesis. The model that solved NS was significantly dumber and less efficient that OpenAIs more recent math-models and you shouldn't over index on "it's expensive now". AI has advanced so quickly that your <2 month old opinion is out of date by 5+ orders of magnitude!

Paracompact | parent
Question: Have you actually used AI to do research-level math? At the current time, it is not "tackle any problem you wish and you can get headline results in ~3 hours." Their method is spraying-and-praying across the entire mathematical frontier, which is something only AI demonstrators are interested in. And as far as I know, they have never elaborated on what their "average of 3 hours" metric even means (e.g. including or excluding all unsuccessful leads?).
JacobAsmuth | root | parent | next
I would say no. I am just finishing my MS in applied computational math at Johns Hopkins, but am not specialized to a PhD level.
loading story #50333890
nradov | root | parent | next
I suspect the AI frontier labs will also soon turn their tools loose on the entire corpus of historical math papers to check for errors. They'll likely find that some major areas of math are built on a very shaky foundation.
pixl97 | root | parent | next
>Have you actually used AI to do research-level math

Being that OpenAI has done most of this on models that are not released, I don't think you have either...

The other thing you're not looking at is mathematics is becoming a means of actual training a model versus just something to try out.

NewsaHackO | root | parent
That sounds close to what human researchers do as well. Big part of getting grants/doing graduate work is finding a tractable problem. It requires constant refinement of what the scope and direction of focus.
loading story #50332211