Math research

I use AI to test proof ideas around open problems, then publish the paper and its complete LaTeX source. Each entry says what the manuscript claims and how far that claim has been checked.

Research log

01 paper

Erdős Problem 169

A 2/3 Lower Bound for Progression-Free Harmonic Sums in Terms of van der Waerden Numbers

An AI-assisted preprint claiming an explicit lower bound that raises the universal coefficient attached to log W(k) from 1/2 to 2/3 without resolving the full limit question.

Additive combinatorics

v1.0 · August 28, 2026