AI Math Agent Claims New Upper Bound of 6.0446 for Irrationality Measure of Pi

A recreational math research agent built by Michael Moor unexpectedly derived an intermediate result bounding the irrationality measure of pi at 6.0446, improving on the previous best of 7.1033 from 2019. The claim has undergone only light verification so far.

2026-10-04 ~ 2026-10-04 · 2 related posts