News for hackers. Stuff that matters.
Re:The Mathocalypse by GMoromisato on Wednesday October 07, 2026 @04:13PM (#49998165)
I liked the metaphor of a climber teleported to the top of a fog shrouded mountain. And I agree that now that the teleporter exists, we need to use it to reach more peaks and explore. There's no going back to a world where AI doesn't exist.
Re:The Mathocalypse by lumost on Wednesday October 07, 2026 @04:16PM (#49998218)
The issue is ownership, we have no means of distributing the knowledge from the AI or rewarding those who could help.

We are quickly moving to a world where all symbolic and numeric reasoning for economic purposes is performed by AI.

Re:The Mathocalypse by GMoromisato on Wednesday October 07, 2026 @05:11PM (#49998854)
Agreed! Specifically, compensation (monetary and reputational) for professional mathematicians was bundled into theorem proving--essentially, climbing the mountain. Now that a teleporter exists, we need to unbundle compensation.

I don't know what that means in practical terms, but I agree that's the issue.

Re:The Mathocalypse by pfdietz on Thursday October 08, 2026 @06:21AM (#50004049)
That's the issue, but they can't come out and just say it, because that horse left the barn long ago for other professions. It's socially just fine to obsolete entire lines of work, and has been for centuries.
Re:The Mathocalypse by dyauspitr on Saturday October 10, 2026 @11:27AM (#50033877)
Maybe for a short amount of time until AI starts doing that too mathematicians could get monetary and reputational compensation for formulating the right questions.