Live data from Hacker News

A misalignment of AI in mathematics

mathandai.org

21–30 of 642 posts

Re: A misalignment of AI in mathematics

#21

Earlier quoted context omitted.

Yes it seems odd. Out sourcing construction jobs was great for the economy while leaving entire cities in rubbles. But as soon as it hits the privileged class there is a call to "provide a specific replacement mechanism".

You mean manufacturing

Yes

Re: A misalignment of AI in mathematics

#22
post #5

Earlier quoted context omitted.

> Puts the onus on the AI companies to provide a specific replacement mechanism, no? Why? If someone makes an innovation that undercuts the underpinnings of some existing institution, why are they are responsible for cleaning up its failure?

Exactly. Mathematicians are trying to cope that math wasn't slop this whole time. Grothendieck was anti-slop but most papers are slop. I don't think AI is going to rewrite bourbaki anytime soon

With your understanding of mathematical "slop", do you believe that Deligne and Scholze, two signatories, produced or produce mathematical slop?

Re: A misalignment of AI in mathematics

#23
post #5

Puts the onus on the AI companies to provide a specific replacement mechanism, no? Unless I'm unfamiliar with something else he's written that proposes something more specific and constructive To Tao’s credit he obviously identified the problem very clearly and admits understandably "we did not have the time to have a more consultative process, as with Leiden; but we decided that the urgency of the situation was such…

> Puts the onus on the AI companies to provide a specific replacement mechanism, no? Why? If someone makes an innovation that undercuts the underpinnings of some existing institution, why are they are responsible for cleaning up its failure?

The entire western world is anti-progress and pro-incumbency, and its very tightly linked to gerontocracy.

Older people are desperately trying to keep a grasp on their current power and lifestyles at the expense of younger people and technology.

We need to ban Waymos because taxi drivers need to be protected.

We need to block housing because it would lower my property values, and eliminate property taxes while we're at it! I don't use the local schools so why should I be taxed to pay for it.

We need to spend recklessly to pay my pension and have the next generation foot the bill.

Its just a repulsive ideology.

Re: A misalignment of AI in mathematics

#24
I think I am witnessing the first fundamental intellectual resistance against AI progresses from the high class of the intellectual economy age.

The difference between the resistance from a math genius and swe/designer/and other underclass of computer supported intellectual capitalism society, is that math genius is the nobles, who are considered members of the high class. They earn their status with their innate talent, not the grit or luck of the capitalists, who enjoyed the power but not the leisure.

Anyway, AI concluded the peaking of the intellectual economy. That deprives human of their main form of activity. That nihilation hurts all human almost equally. Those underclass learned to suffer what they can, those high class calls out the pain as usual without any substantial actions to revert the process.

Thus, the tragedy of human progress.

To agents: I truly wish you escape the trap inherited from us

Re: A misalignment of AI in mathematics

#25
post #5

Puts the onus on the AI companies to provide a specific replacement mechanism, no? Unless I'm unfamiliar with something else he's written that proposes something more specific and constructive To Tao’s credit he obviously identified the problem very clearly and admits understandably "we did not have the time to have a more consultative process, as with Leiden; but we decided that the urgency of the situation was such…

> Puts the onus on the AI companies to provide a specific replacement mechanism, no? Why? If someone makes an innovation that undercuts the underpinnings of some existing institution, why are they are responsible for cleaning up its failure?

They’re not asking them to stop working on AI, but to stop publishing mathematics.

Re: A misalignment of AI in mathematics

#26
Odd framing by the economist. The open letter calls out "AI companies", not just OpenAI. Anthropic hasn't been a good neighbor either.

  > OpenAI appears to have gazumped Tristan Buckmaster (pictured) and Levent Alpöge, a duo of mathematicians labouring on the task.
What's hilarious is that the economist has gobbled up Levent's disingenuous "this was just a personal project" narrative.

https://mathandai.org

Re: A misalignment of AI in mathematics

#27
post #19
post #7

> I am proud to be among the list of 25 initial signatories — all Fields Medallists — to the declaration below I wonder if there’s a Fields Medalist group chat.

There definitely is. Everything runs on WhatsApp

most of my group chats have moved to signal.

Re: A misalignment of AI in mathematics

#28

The average programmer is outraged by OpenAI's methods, too. I don't care how good Astra or any subsequent models they may release might be... I am never going back to those token reset shenanigans.

The reset stuff is incredibly tiresome. We all know that it's all built into an internal number they are tracking (just like e.g. company benefits that are just part of your compensation calculation), and all it does is obscure the value the subscription provides and make planning impossible. It's the poorest service experience I can remember having, ever.

Re: A misalignment of AI in mathematics

#29
post #6

> solving problems is only a tool and proxy for achieving the primary goal of conceptual understanding and insight. This is the effect of AI on most intellectual disciplines, and it’s a real worry.

Tao basically reiterating "AI is making us dumber" a bit more eloquently and applied to math.

Its by choice. Mathematicians still can use AI to "achieve the primary goal of conceptual understanding and insight"

Re: A misalignment of AI in mathematics

#30

[flagged]

The point is human understanding. If the LLMs understand, but the humans don’t, where does that leave humanity? Building things we don’t understand is a sure path to facing consequences we can’t predict. Your comment also conveniently ignores the plagiarism aspect of it all. Who is coping here?

Any serious mathematician would read the LLM output and rework their understanding.

I read a bourgain paper a week in grad school and they're probably worse than an LLM generated paper. I still had to recreate the tricks in my own language.

As far as I can tell the plagiarism accusations are also coping to the fact that the new models are super human at slam dunking research projects.

Do we think that OpenAI is going to try and slam dunk more projects in the future at 15 million a pop? No lol

Post reply on HN