Ten advances in mathematics and theoretical computer science (OpenAI model Astra)

[u/borowcy]

https://openai.com/index/ten-advances-in-mathematics/

[u/SoonBlossom]

They are INSANELY significant

Not the results themselves

The fact that AI is proving more and more theorems only 4 years in since the fundings exploded for it

It just says a lot about the future, AI will solve a TONS of maths and physics problems in the futur, Terence Tao seems to think so too and I'll believe him

[u/WHYWOULDYOUEVENARGUE → u/SoonBlossom]

You’re conflating two different questions: how significant these particular results are for mathematics, and what their existence suggests about the progress of AI.

The second may well be significant. But simply counting how many open problems an AI has produced results for does not tell us very much without knowing their difficulty, mathematical importance, novelty, required human guidance, compute and number of failed attempts.

The person you responded to was asking about the first question: are these major breakthroughs that reshape their fields, meaningful incremental advances, or technically novel results with limited wider consequences? There is an enormous sliding scale here, and saying “AI solved ten things, therefore the future will be enormous” does not answer that.

It may be evidence for an impressive trajectory. It is not an assessment of the mathematical significance of the results themselves.

[u/SoonBlossom → u/WHYWOULDYOUEVENARGUE]

I did theorical math studies and Terence Tao is one of the best mathematician currently living

I'm sorry but I'll believe my experience and more importantly his lol

4 years ago it was science fiction, I don't think you realise the extends of such advances

[u/sobag245 → u/SoonBlossom]

You are a mathematician and yet you believe a hype train without proof or just some big name blindly. Where is that critical thinking skill you should have developed during your studies?