cam

almost surely procrastinating

[cam @manifoldios]

@LucaAmb @plain_simon @TaliaRinger That math of stochastic processed is heavily based on measure theory, which was invented over two centuries after calculus

[cam @manifoldios]

@rao2z I don’t think most mathematicians agree with that essay lol. On the other hand, we kind of are second rate minds compared to AI

[cam @manifoldios]

Lol

[cam @manifoldios]

@IsaacKing314 @TaliaRinger @Downzorz1 This belief obviously relies on experience. Your sci fi fantasies don’t

[cam @manifoldios]

@nihilunbounded Very convenient to pick someone that’s dead

[cam @manifoldios]

@DunsmuirSmith @veronica_humble @joelwatsonfish @nihilunbounded You know I think you just don’t like Gowers

[cam @manifoldios]

@QiaochuYuan @RichDecibels This is just describing superman

[Daniel Litt @littmath]

Without commenting on the correctness of this claim, I want to briefly say a few words about what it would mean in practice.

Chess is supportable as a hobby in part because one can pick up the rules of chess in an afternoon. While one can't quickly play at a high level, it is relatively easy to appreciate the game, and have fun at it.

Research math is not like this. Over the last decades we have made incredible progress understanding basic concepts (number, shape, etc.) but the edifice we have built to do so requires an incredible time investment. Learning the ideas that go into proving, or understanding the proof of, basic statements like Fermat's last theorem requires years of institutional support.

It's possible that soon, AI will be able to do work at this level; despite recent successes, this isn't the case yet. But even if it can do this, why would it? Without people who care about these deep but fundamental ideas, who will ask it to? Perhaps it might on its own, or a person asking it to "do some cool math" might elicit a similarly deep idea, but who would understand it, if doing so requires years of unsupported work?

In practice, turning pure math into a hobby means the end of pure math, and the end of people who understand basic mathematical concepts at a deep level. Whether this is something we want is something we'll have to decide together.

[cam @manifoldios]

@unethicalaccel @_vangelis_66 @ArielKwiat Tao disagrees

[cam @manifoldios]

@tejotaefe Was the solution path that grothendieck envisioned ever found

[cam @manifoldios]

@Or_Tinrante @CihanPostsThms OAI’s paper

[cam @manifoldios]

Very unserious https://t.co/WfAsM0sn1x

[levent @__alpoge__]

Augustus Mirabilis

[cam @manifoldios]

Yes, why was Alpöge pretending he could simply have this as his personal project while working for a top AI lab?

[Sridhar Ramesh @RadishHarmers]

To be honest, I find this baffling as well. Levent Alpöge, the #1 face of AI corporations claiming pure math results, is deeply concerned about that? And so he reaches out as a shot in the dark to offer his collaboration on a PDE problem, which he has no particular expertise in?

[cam @manifoldios]

@rakishromantic What’s pathetic is try to pretend this is a “woke” thing

[cam @manifoldios]

@rakishromantic Do you understand how this attitude is cancer for math research?

[cam @manifoldios]

@rakishromantic @EdrowScape Seems very implausible that they forgot. Then what?

[cam @manifoldios]

@charlie_4601 @NickEMoran @EigenGender Yes and the right thing afterwards was to offer to collaborate not keep it secret

[cam @manifoldios]

@jerrrrrrryyyyy @RadishHarmers Check the date