Reddit posts regarding use of AI in Mathematics. Updated: 21/5/26 OpenAI’s internal model disproves Unit Distance Conjecture of Erdos. Link to r/math post: Link. MathOverflow post on use of AI. Link. A paper by Johannes Schmitt. Link to r/math post: Link. Timothy Gowers on ChatGPT 5.5 Pro. Link to Wo... 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: 5/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