[cyc6221]

Summary

• List the current status of OpenAI Math Result Add Andrica, Oppermann, and Brocard notes and cite sources in the prime notes #109 on the openai/math card, under one Status item with four sub-items: the previous selected result (#1094), the selected result (#4359), the highest merged-but-not-selected candidate (#4416) and the highest open claim (#4470).
• Each PR number is followed by a GitHub icon link to that PR in CrocSwap/integer-mult-bounds.

Commits

1. Record the current status of Add Andrica, Oppermann, and Brocard notes and cite sources in the prime notes #109 on the openai/math card
2. Nest the Add Andrica, Oppermann, and Brocard notes and cite sources in the prime notes #109 status list and link each PR to GitHub
3. Put the highest open claim on its own line in the status list

Test plan

• bundle exec jekyll build --strict_front_matter passes
• Rendered /math/ai/ locally with headless Edge and checked the nested list and icon links (before the last line split; the split was checked in the built HTML only)
• Check the Status list on /math/ai/ after the deploy

The kappa values and PR states match the note merged in #37, checked against CrocSwap/integer-mult-bounds on 2026-10-22.

🤖 Generated with Claude Code

[Copilot]

Copilot was unable to review this pull request because the user who requested the review has reached their quota limit.

[cyc6221]

Code review

已檢查 PR 的 3 個 commit（僅改 _includes/math/ai/OpenAIMath.html），並在暫存 worktree 建置驗證。

已驗證

• bundle exec jekyll build --strict_front_matter 通過；輸出有 4 個 aria-label="PR #…" 連結，Status: 的巢狀 <ul> 結構正常。
• 新增的 4 個 GitHub 圖示路徑與卡片原有的圖示完全相同。
• 分支已包含最新 main，CI 通過，狀態 CLEAN。
• 卡片的 Status 四項與筆記 openai/integer-mult-bounds.md「目前狀態」逐項一致：
  • 前一個 selected：#1094，$\kappa\approx0.00167$（約 $2^{-9.2}$）
  • Selected：#4359，$\kappa=0.0023$（高於 $2^{-9}$），maintainer-reviewed，非完整 Lean 證明
  • 已 merge 的最高 candidate：#4416，$\kappa=0.00268647$
  • Open 中最高的 claim：#4470，$\kappa=0.00302015$（作者自行檢查）
• selected 結果（#4359，$\kappa=0.0023$）與前一個 selected（#1094）和專案的 selected-result.json、current-status.md 一致。

備註

• 專案 repo 的最新狀態與筆記、卡片有差異：#4440 至 #4478 已在 UTC 10/22 02:49 被 maintainer 合併，不再是 open。此 PR 是依筆記內容更新卡片，筆記與卡片之後會一併更新，不在這個 PR 處理。

尚待確認

• 瀏覽器目視：/math/ai/ 的 Status 清單與 PR 連結圖示（PR 描述提到最後一次換行調整只檢查了建置出的 HTML）。