2026-09-08 22:10 UTC
@nilesh@fosstodon.org @tao@mathstodon.xyz I'm curious about what precise statement you are not persuaded to; the most clear thesis statements I see above are exactly about artifacts and systems. Good problems are likely to be scarce because of our choice of artifacts and systems.
Replies (1)
-
@nilesh@fosstodon.org 2026-09-08 22:40
@drScott@mathstodon.xyz @tao@mathstodon.xyz This one: > but at the cost of sustaining the ecosystem for the next wave of progress I don't believe there is any cost incurred when AI companies solve open math problems. If the goal is to produce insights and tools, existence of an inscrutable proof takes away nothing, and only adds.