Rei-问题：基于种子核心理论生成的自验证数学问题库（第139号论文）

2026西湖龙井茶官网DTC发售：茶农直供，政府溯源防伪到农户家 

本文是为 dev.to 社区重新发布的 Rei-AIOS 论文第 139 号。
包含完整参考文献列表的权威版本位于下方的永久存档中：

• GitHub 源码（私有）：https://github.com/fc0web/rei-aios 作者：藤本伸树 (@fc0web) · ORCID 0009-0004-6019-9258 · 许可协议 CC-BY-4.0 ---

状态：v0.1 草稿，尚未提交至 Zenodo — 等待 γ 批次完成（来自 SEED_KERNEL 的约 7,500 道题）+ 外部验证

作者（CRediT 贡献者角色分类）：

• 藤本伸树 — 概念化、调查、数据整理
  • ORCID 0009-0004-6019-9258 / GitHub: fc0web/rei-aios
  • note.com: https://note.com/nifty_godwit2635
• Claude Code（Anthropic 命令行界面）— 实现、验证引擎、自动生成
• Claude Haiku 4.5（Anthropic）— 基于 SEED_KERNEL 理论批量生成题目

日期：2026-04-26 草稿 / Zenodo 目标：待定

摘要

我们提出了 Rei-AIOS 问题数据库（REI-PROB-DB） — 一个自我验证的知识课程体系，涵盖算法、形式逻辑、哲学以及跨学科的研究级开放性问题。该数据库目前包含 1,020 道题目，具有三种验证模式：

1. 自动数值验证 — 输入/输出比较，约 100% 自动化
2. Lean4 判定 — Lean 4 构建成功 + 0 个待证（sorry）/ 0 个公理（axiom）
3. Haiku 评分标准 — 大型语言模型（Haiku 4.5）基于评分标准的分级评估，并细分为准则层级

覆盖范围与规模：

• 1,000 道算法题 跨越 13 个家族自动生成（最大公约数、素性测试、回文、最长公共子序列、欧拉函数、除数计数、二项式取模、下界查找、人口计数、异或范围等）— Rei 原创，由种子 0xC0FFEE 确定性生成，100% 可通过自动数值验证
• 20 道源自 META-DB 的题目 封装现有的 Rei-AIOS 开放性问题 META-DB 条目（第 1 / 7 / 8 / 9 层級）
• （进行中） 通过 Haiku 4.5 从 1,517 个 SEED_KERNEL 理论生成了约 7,500 道题目

每道题目均包含：难度（入门 / 中级 / 高级 / 研究级 / 开放研究）、格式、陈述（日语+英语）、评分标准（如适用）、诚实定位（例如，“真正开放的问题。不存在正确答案；评分标准评估推理质量。”）以及内容哈希值。

我们不声称：

• (a) 该数据库是全面的
• (b) Haiku 评分标准的分级结果与专家人类共识一致
• (c) 自动生成的题目符合专业竞赛题目的严谨性

我们确实声称：

• (d) 验证链对 3 种不同类型实现了端到端运作
• (e) 存储通过四层混合架构（GitHub / Cloudflare Pages / 星际文件系统 IPFS / Arweave）实现优雅扩展
• (f) “诚实定位”原则在数据架构中得到了操作性执行

本文记录了设计过程，展示了验证引擎，报告了诚实的经验观察（包括选择偏差、评分标准严格度），并概述了通过本地 IPFS 守护进程将存储扩展至 100 万道题目的路径