Yes! I've been wondering if discovery fiction (in the sense of @michael_nielsen) and open-exposition problems (as introduced by Timothy Chow) might start to receive greater attention. It's also interesting to consider how AI might assist in these more subjective areas.
Rado Kirov@radokirov
Why am I excited about math formalization with AI assistance? Paradoxically, it might free up human time and exposition space for some more human, softer and often neglected aspects of mathematics - intuition, storytelling, experimentation, etc. (From arxiv.org/pdf/2603.26524)
English
