Live data from Hacker News

A misalignment of AI in mathematics

mathandai.org

1–10 of 251 posts

Re: A misalignment of AI in mathematics

#3
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 that we needed to release a statement sooner rather than later".

Re: A misalignment of AI in mathematics

#7
Seems more like a misalignment b/w the people practicing mathematics and the people ultimately footing the bill for their work.

Governments are invested in solving mathematical problems for practical purposes. Up to now, achieving these practical purposes relied on mathematicians doing their mathematician thing, which is better defined as a social activity than the achievement of a practical result. Now, governments can achieve similar practical results w/o the need of the social activity.

I don't believe it to be productive to think of the problem wrt AI or AI-company alignment. These conflicts always existed, but they were easy enough to paper over and believe in heavily subsidized fictions that folks in government ever cared about things that mathematicians cared about.

Re: A misalignment of AI in mathematics

#9
There is a contradiction here, among many:

1. it is hard to justify 20 years of education at this point,

2. with no such people around, who will guide those (supposedly) supersmart machines?

A. Ronacher (who builds harnesses for a living) complained today that he has no idea what Astra is doing. Imagine a bunch of slop kiddies facing an aging AI-generated codebase. Not to mention the maths.

Post reply on HN