Comment by 317070

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.