Math

OpenAI’s work on Math. Commoditization moment.

I found there’re few types of response of internet for OpenAI’s work on formal math & theorem proving/discovery recently. 90%…

8 October 2026

Resources for math

few articles for autodidact Mathematics for the adventurous self-learnerA guide to (graduate-level) self-study of mathematicshttps://journeyinmath.wordpress.com/2024/07/20/journeys-of-mathematicians/where to buy paper-books Amazon, of…

13 September 2025

[data-stoat-modal]{display:none} .stoat-modals{width:var(--content-width);max-width:calc(100% - 20px);margin:0 auto} .stoat-modal{position:static;visibility:visible} .stoat-modal__backdrop,.stoat-modal__close{display:none} .stoat-modal .stoat-modal__dialog{position:static;width:auto;max-width:none;max-height:none;transform:none;opacity:1;padding:var(--spacing-lg) 0;border:0;border-top:1px solid var(--border);box-shadow:none;background:none;color:inherit}