两个开放问题：精确算术验证与证明助手，仅用单个周末。