With llms and theorem provers doing the formalism, what is left is intuition - love the intuitionist focus in this book, also tying into what Bessis said in [1] I intend to read this book in depth.

Author: please fix the html rendering.

[1] https://www.amazon.com/Mathematica-Secret-World-Intuition-Cu...

Mathematician David Bessis describes similar exercises in his book [ref] - wherein he explores a room blindfolded to awaken other senses, or visualize the places he has been to.

[ref] https://www.amazon.com/Mathematica-Secret-World-Intuition-Cu...