一个用于探索雅可比猜想反例的Fable CoT（形式化推理链）工具，面向数学研究者与形式化验证开发者，支持在浏览器中交互式构建和验证数学证明路径。
▲5
为什么值得关注
访问 Hacker News 页面 →
将复杂数学猜想的反例探索形式化，结合AI推理链提升数学研究效率，是形式化数学的新尝试。
手机端点「分享」直达微信/朋友圈/小红书;桌面端用「复制文案」后到 App 内粘贴发布
将复杂数学猜想的反例探索形式化，结合AI推理链提升数学研究效率，是形式化数学的新尝试。