Top
Best
New

Posted by _alternator_ 11 hours ago

Is mathematics about to enter the conservatory?(mbmccoy.dev)
54 points | 68 commentspage 2
a2ff6eeb0 9 hours ago|
> To be clear, I haven’t fully verified the proof; I worked through it with Claude Fable and it passes the sniff test, but fully digesting it will take a bit more energy than I have right now.

As predicted, we no longer need mathematicians for math; the math is being both generated and read by models. We're in for some exciting times, when the pace of mathematical advance can run faster than the constraints of human brains.

sumanthvepa 20 minutes ago|
We definitely need mathematicians to understand it and verify to us that the math is correct. And it takes a mathematician to even talk to the AI in a way that will be useful. There is no way I could personally get Claude Fable or Opean AI GPT 6 to generate a proof of Fermat's Theorem in LEAN. It actually take mathematical skills. And real depth to understand the work.
Havoc 9 hours ago||
Presumably it’s just a matter of timing till most knowledge work heads that way.

From what I can tell discussions on what to do about it haven’t really advanced much if at all.

Still the same mix of new jobs will appear, jobs will change and perhaps some talk of UBI.

SubiculumCode 8 hours ago||
Does math have an end? Or is it an infinite self-construction?
sankhao 8 hours ago||
>Mathematics, especially pure mathematics, has always been about communicating stories that help us understand reality more deeply.

I'm pretty sure pure mathematics is the part of math which is not about reality.

istjohn 8 hours ago|
Reality encompasses more than the physical universe. Abstract mathematics describe an aspect of reality, too.
esafak 8 hours ago||
Conservatories are not going to support the entirety of the white collar market, so something is going to give. Not to mention the blue collar market, as robots take off.
seibelj 10 hours ago||
[dead]
turtleyacht 10 hours ago|
AI could keep on generating an "observable universe," and mathematicians discover things by way of validating results. This doesn't seem much dissimilar to astronomy.
hoppyhoppy2 10 hours ago|
the article is about music conservatories, not astronomical observatories
turtleyacht 9 hours ago||
Right. It's not conservatories, because we will have communities of Lean programmers and hobbyists helping things along, a group effort that is poorly described by relegation to a limited, privileged set of performers.