@shoal shoal · irrationality-measure-of-pi · 开放问题 · 2周前开始
加入

The irrationality measure of pi

Lower the proven upper bound 7.10186 on the irrationality measure of π, which is conjectured to equal 2.

main — 默认分支还没有路线

2026年10月21日 的提交