Simple proofs: Pi is transcendental

MathJax = { tex: {inlineMath: [[‘$’, ‘$’], [‘\\(‘, ‘\\)’]] }, svg: {fontCache: ‘global’}};

Credit: Vatican Museum

NOTE: A typeset PDF version of this article, with references, is available HERE.

Introduction

The first rigorous mathematical calculation of $\pi$ was due to Archimedes (ca. 250 BCE), who used a scheme of inscribed and circumscribed polygons to obtain the bounds $3 \frac{10}{71} < \pi < 3 \frac{1}{7}$. The fifth century Indian mathematician Aryabhata produced four digits; the Chinese mathematician Tsu Chung-Chih produced seven. Following the discovery of calculus by Newton and Leibniz in the 1600s, several new formulas for $\pi$ were found.

Continue reading Simple proofs: Pi is transcendental

DeepSeek: A breakthrough in AI for math (and everything else)

MathJax.Hub.Config({tex2jax: {inlineMath: [[‘$’,’$’], [‘\\(‘,’\\)’]]}});

DeepSeek performance versus OpenAI

DeepSeek’s big splash

By now, many readers have likely heard about DeepSeek, a new AI software system developed by a team in China. The latest version (R1) was introduced on 20 Jan 2025, while many in the U.S. were preoccupied by Donald Trump’s inauguration. DeepSeek is variously termed a generative AI tool or a large language model (LLM), in that it uses machine learning techniques to process very large amounts of input text, then in the process becomes uncannily adept in generating responses to new queries. It represents yet another

Continue reading DeepSeek: A breakthrough in AI for math (and everything else)