Reddit posts regarding use of AI in Mathematics. Updated: 4/3/26 Claude’s Cycles. Link to r/math post: Link. Autoformalisation of the sphere packing problem in dimensions 8 and 24. Link to r/math post: Link. Alethia tackles FirstProof autonomously. Link to r/math post: Link. Towards Autonomous Mathem... Read more 04 Mar 2026 - less than 1 minute read
To read: “Claude’s Cycles” by Knuth. Link to r/math post: Link. Link to the paper: Link. Read more 04 Mar 2026 - less than 1 minute read
Speculation. The “right kind of upskilling” can, effectively all by itself, uplift economies. To study: Report “Upskilling for shared prosperity”. Read more 03 Mar 2026 - less than 1 minute read
Ref: Functional Analysis lectures by Casey Rodriguez. Lecture on the Hahn-Banach theorem. Link to the lecture: Link. Updated: 3/3/26 For a normed space ${ V , }$ let ${ V ^{’} }$ denote ${ V ^{’} = \mathcal{B}(V, K) . }$ Q) Given a general nontrivial normed space ${ V , }$ how large is ${ V ^{’} }$? Is it ${ V ^{’} = \lbrace 0 \rbrace }$... Read more 03 Mar 2026 - 5 minute read