The Mathematician: 7th October 2025

A Chess Scandal Revisited II – Kramnik Responds (bayesianspectacles​.org). Kramnik critiques streak analysis; discusses likelihood principle, cherry-picking, and Nakamura's cheating probability with online speed chess context

Chess Engine Draw Rates (beuke​.org). Draw rates of engine vs engine games rise with Elo; a cubic-logit GLM models p(draw) and thresholds to 90–99% draws

The Invisible Curriculum of Research (muratbuffalo​.blogspot​.com). Invisible curriculum of research: taste, questions, craft, community, and courage guiding distributed systems exploration

the Harvard and Brown school of computer science (xianblog​.wordpress​.com). Harvard-Brown school vs LeCun's neural networks; Bayesian inference and Markov random fields in pattern learning

From τὰ φυσικά (ta physika) to physics – LIII (thonyc​.wordpress​.com). Describes Beeckman and Descartes’ exercises, Stevin’s hydrostatic paradox, Pascal’s Torricelli experiments, and the development of the barometer

Hilbert's Power (fi-le​.net). Hilbert's open problems and the impact of Hilbert's power on modern mathematics, including Gödel, Turing, and the Millennium Prize Problems

Group Theory Day in Budapest (cameroncounts​.wordpress​.com). Group Theory Day in Budapest features talks on random generation, diameters, higher-order representation theory, and inverse group theory

Monday Morning Math: Unknotting! (threesixty360​.wordpress​.com). Knot theory Unknotting Number disproven; Hermiller and Brittenham computer work; Quanta article; Matt Parker demonstration

Past, ongoing, and future research plans (curiouscoding​.nl). Past, ongoing, and future research plans in algorithm engineering, hashing, SIMD heaps, and tool/library development with KIT, Peters Sanders, Igor Martayan, and Bede Constantinides

Mapgen4 river shader (redblobgames​.com). Mapgen4 river shader explores bezier-to-polynomial curve rendering and shader-based river drawing within triangles

Vector Norms (nishtahir​.com). Explains L2, L1, Lp norms, and L-infinity; with Python examples and properties like positive definiteness, homogeneity, and triangle inequality

A grand week (blog​.mitrichev​.ch). Interactive E1/E2 problem from a Grand Week: hidden array of size 2n-1, pairwise numbers 1..n, one appears once; queries reveal presence among indices

Routing algorithms visualized (spatialists​.ch). Interactive visualizations of BFS, DFS, Greedy, A*, and related routing algorithms by Adam Kulikowski with Bidirectional variants and lookup tables

Attention in LLMs and Extrapolation (data-processing​.club). Attention heads in LLMs: syntactic, streaming, retrieval, induction, function vectors, and iteration heads underpin in-context learning and extrapolation

Flattening Cases to Avoid Nesting in Lean 4 (brandonrozek​.com). Flattening Lean 4 case analyses with custom EInt casesOn to avoid nesting in proofs and define isPos via WithBot/WithTop

Mutual Refinement and Composition (veitner​.bearblog​.dev). Mutual refinement and composition of Layouts using morphisms, nested tuples, and Colfax/CuTe concepts

AI as a research partner: Advancing theoretical computer science with AlphaEvolve (research​.google). AI-assisted theory via AlphaEvolve evolves finite gadgets to improve MAX-4-CUT inapproximability and Ramanujan graphs for average-case hardness with rigorous verification

ProofOfThought: LLM-based reasoning using Z3 theorem proving (github​.com). LLM reasoning with Z3 theorem proving and neurosymbolic program synthesis using OpenAI integration

Linkage with feijoas (11011110​.github​.io). Explores feijoas, Wikipedia entries, CSS features, geometric polyhedra, mesher concepts, and mean curvature flow in a playful blog post

Neutrinos and Gold (johncarlosbaez​.wordpress​.com). Edinburgh Explorations: Neutrinos, Gold, and a public-engagement series on math and physics

Origami Patterns Solve a Major Physics Riddle (quantamagazine​.org). Origami crease patterns map to the momentum amplituhedron, unlocking triangulation and linking paper folding to particle-physics geometry

Strogatz, the NYT, and Mathematical Packing (mrhonner​.com). Strogatz’s NYT essays on mathematical packing, soda can packing, high-dimensional packing, and open conjectures for packing squares in squares

Geometric Visualization of the Elliptic Curve Method for Prime Factorization: The Palm Jumeirah… (deeptiman​.medium​.com). Geometric intuition for ECM using Palm Jumeirah analogy, j-invariants, Weierstrass curves, torsion checks, and trial division

Lattice (mathr​.co​.uk). Overview of lattices, closest/second-closest point algorithms, and examples in Zn, Dn, An, and E7/E8 lattices with references

Student projects in complex analysis: The Prime Number Theorem (noncommutativeanalysis​.wordpress​.com). Video project on the Prime Number Theorem using Riemann zeta prerequisites and holomorphic/meromorphic function theory

Base Fibonacci (bruceediger​.com). Explains Zeckendorf representations, Fibonacci encoding, and its unusual endian, with examples and practical implications

Fermat primes and tangent numbers (johndcook​.com). Fermat numbers and tangent numbers connect via a condition: F(n) is prime iff it does not divide the (F(n)-2)th tangent number

The $θ$-adics (arxiv:math). Archimedean Cantor multi-field O_theta, greedy Laurent series, p-adic analog at infinity, quasicrystal completions

On global isomorphisms and a closure property of semigroups (arxiv:math). Global isomorphism of semigroups: P(H) ≅ P(K) and global closure for groups, torsion-free monoids, numerical monoids

Evaluation of lattice sums via telescoping over topographs (arxiv:math). Telescoping sums over topographs of binary quadratic forms yield modular graph identities and Hurwitz-style class number formulas

Formal Cantor's theorem via abbreviations (arxiv:math). Calculus of abbreviation schemes for ZF formulas; formal Cantor's theorem, extensive structures, digraphs, completeness

Elliptic curves and finitely generated Galois groups (arxiv:math). Elliptic curves over finitely generated fields, Galois groups, and Mordellian results yielding rank and freeness assertions

I've got a big favor to ask - keeping Blaze running isn't expensive, but it does all add up, so I'm asking readers like you to help, if you can.
That's why I'm launching a Patreon page!. Nothing flashy, just a way for folks who find value in these newsletters to chip in a little each month. In return, you'll get:

• Real say in how Blaze evolves — vote on new topics, features, topic curation ideas
• First dibs on merch (details still cooking)
• That warm fuzzy feeling knowing you're supporting something that saves you time and keeps you plugged into great tech writing

If you are getting value from blaze, checking this out would mean the world. And if you can't contribute, no worries—the newsletters keep coming either way, and you can follow along on patreon for free.
Thanks for reading and being part of this nerdy corner of the internet. All the best - Alastair.