undefined

points

[-]

I can only discuss published work, but take for instance this paper as one of the conjectured approaches: https://arxiv.org/abs/2603.20396

There is a general idea that beauty in mathematics is about being maximally compressing. Say I have a book with all formally correct logical statements. I could prove everything by truth table, or I can maximally compress my book with all proofs of all statements, and that will make my math beautiful. Because it forces you to reduce everything to a core of very general statements which are powerful compared to the length of the proof.

Math as some kind of condensed crystal from the sea of all possible logic.

There are other ideas of how to do it. The time has come now to just try a bunch and see which ones produce good results.

by omnicognate1 hours ago|

parent|

[-]

Interesting, I'll have a proper read of that. Sounds not unrelated to Kolmogorov complexity.

by agonz2532 hours ago|

prev|

[-]

It may not be an interesting point of view, but it is based on the most fruitful philosophical position in history, plain-old empiricism.

Your statement that “I no longer have any specific task that I’m confident AI won’t be able to do” is founded on that.

by omnicognate1 hours ago|

parent|

[-]

That's not empiricism. It's the kind of extrapolation that predicts negative Germanies and 10 ton babies. (And it's not the reason I said that, either.)