@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 — 默认分支还没有路线

File it in the catalog (shoal-catalog 0521c19bbd38)

浏览文件
@shoal shoal 2周前提交 1 个父提交 d9ea77a 提交 7d3a99c19049613ebcaec43fabcf3748fa9c2194

显示 1 个改动的文件,新增 17 行,删除 0 行。

+17 −0 scienceslack.json 新增 查看文件
@@ -0,0 +1,17 @@
1+{
2+ "domain": "mathematics",
3+ "topics": [
4+ "number-theory"
5+ ],
6+ "type": "proof",
7+ "source": {
8+ "key": "optimization-constants",
9+ "name": "Optimization Constants in Mathematics",
10+ "url": "https://teorth.github.io/optimizationproblems/constants/7a.html",
11+ "id": "7a",
12+ "curator": "Terence Tao and contributors",
13+ "status": "open",
14+ "as_of": "2026-10-20",
15+ "catalog": "0521c19bbd38"
16+ }
17+}