Tangential but this article got me thinking.

Are we going to see less publicly shared science? With private actors or governments restricting access to AI resources to a few scientists and keeping new knowledge to themselves.

Advancing science in the open was the best strategy when there was real advantage to share the load with every brain on the planet willing to give a try at science, but if a computer can match or surpass the collective output of the entire human scientific community the equation will change.

It's a sad outlook.

This kills me, it is correct, but misses the forest for the trees. Yes, mathematics is a discipline of understanding, but an insular one. The entire field is about trying to understand, but the discipline does not try to be understood. No, that is "your job, not theirs" and that is why this discipline is struggling, struggling in a culture that can barely communicate without emotional morons destroying any constructive communications.

Incredibly thoughtful. This essay gives that very rare sense of being well reasoned, gods at forest and trees, and sitting atop a shit ton of domain expertise.

Someday, there might be mathematics designed for AI. Mathematics that only a tiny fraction of humans can understand, but a different kind of mathematics might emerge. I wonder if we would still call it mathematics.

What would happen if a non-human layer of mathematics emerged on top of human mathematics? In this article, the distinction between Mathlib and Mathslop might be a precursor to that.

If models advance enough in the future, and new definitions, compressions, and representational forms that are convenient for AI-to-AI communication emerge, what would happen then? Would mathematics split into Human-facing and Machine-facing branches?

Does the the ⁡(,1) conjecture paper in annnals of Math say 7 years between submission and acceptance? Insane

This might be the most interesting essay on the nature of mathematics I have ever read.

I see the AI panic has reached mathematics…

Some previous submissions

HN history

  +-- 2mo before by sdfrew
  |   4 points / 1 comments
  |   The Fall of the Theorem Economy
  |   https://news.ycombinator.com/item?id=47862472
  |
  +-- 2mo before by fuglede_
  |   3 points / 1 comments
  |   The Fall of the Theorem Economy
  |   https://news.ycombinator.com/item?id=47891494
  |
  +-- 2mo before by mathgenius
  |   2 points / 0 comments
  |   The Fall of the Theorem Economy
  |   https://news.ycombinator.com/item?id=47909751
  |
  +-- 2mo before by delis-thumbs-7e
  |   15 points / 4 comments
  |   David Bessis on AI destroying mathematics
  |   https://news.ycombinator.com/item?id=47985962
  |
  +-- 1mo before by magoghm
  |   4 points / 0 comments
  |   The Fall of the Theorem Economy
  |   https://news.ycombinator.com/item?id=48084737
  |
  +-- 1mo before by cubefox
  |   2 points / 0 comments
  |   The Fall of the Theorem Economy
  |   https://news.ycombinator.com/item?id=48089716
  |
  +-- 1mo before by cubefox
  |   5 points / 0 comments
  |   The Fall of the Theorem Economy
  |   https://news.ycombinator.com/item?id=48152469
  |
  +-- 1mo before by tmp10423288442
  |   4 points / 1 comments
  |   The Fall of the Theorem Economy
  |   https://news.ycombinator.com/item?id=48214866
  |
  `-- this submission by varjag
      58 points / 7 comments
      The Fall of the Theorem Economy
      https://news.ycombinator.com/item?id=48758048