Note that \[{ \int _0 ^{1} \frac{1}{1+x ^2} \, dx = \frac{\pi}{4} . }\] This suggests studying inequalities of form \[{ \boxed{ \int _0 ^{1} \frac{P(x) ^2}{1 + x ^2} \, dx > 0 } }\] where ${ P(x) }$ is a polynomial, to get bounds on ${ \pi . }$ Ideally, we want ${ P(x) ^2 }$ to leave a constant remainder on dividing by ${ (1 + x ^2) . ... Read more 08 Mar 2026 - 2 minute read
The foundational idea behind money seems to be: Be of “value” to others, by involving in selling something. Earn “value” in return, by earning money. Some problems are: This “value” earned, namely money, is often unequally distributed. Value to other people isn’t the only measure of value. For eg, consider Scientific Disco... Read more 06 Mar 2026 - less than 1 minute read
Ref: “Linear Algebra and Matrices” by Helene Shapiro. Chapter on Simultaneous Triangularization. Math StackExchange answer here. Thm [Commuting matrices share an eigenvector] Let ${ A, B \in \mathbb{C} ^{n \times n} . }$ Suppose ${ AB = BA . }$ Then ${ A, B }$ share an eigenvector. Pf: Let ${ \lambda }$ be an eigenval... Read more 06 Mar 2026 - 2 minute read
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