自然语言验证器正在强化推理循环

公开的 Aletheia 流程使用验证器判断候选数学解答，要求修正或重新生成，并允许系统承认未能解决，而不是强行给出看似合理的答案。