∑
vibe proving
数学工作者的推理伙伴
登录
注册
用户名
密码
登录
∑
vibe proving
数学工作者的推理伙伴
⊢
主界面
∈
项目
近期
●
服务状态
⚙
设置
☰
←
ℓ
学习模式
∂
问题求解
¶
证明审查
∇
定理检索
⊩
形式化证明
临时对话
⊙
?
中/EN
⚙
vibe proving
数学工作者的推理伙伴
ℓ
学习模式
为数学命题生成分步教学讲解
→
∂
问题求解
GVR 循环证明，置信度评估与主动拒绝
→
¶
证明审查
粘贴或上传证明文本，AI 审查逻辑漏洞与引用
→
∇
定理检索
搜索 900 万+ 自然语言数学定理，获取定理的真实来源
→
§
项目管理
Beta
保存、组织并随时回到你的研究项目
→
⊩
形式化证明
直接用Aristotle吧~
↗
示例提示词
◆
default
ℓ
学习模式
▾
ℓ
学习模式
∂
问题求解
¶
证明审查
∇
定理检索
⊩
形式化证明
Gemini 2.5 Flash
▾
Gemini 2.5 Flash
快速
Gemini 2.5 Pro
强力
Gemini 3.1 Pro
前沿
GPT-5.4
均衡
GPT 5.3 Codex
形式化
GPT-5
旗舰
Claude Sonnet 4.6
均衡
Claude Opus 4.7
旗舰
o4-mini
快速
Kimi K2.6
长文本
■ 停止
Projects
✕
+
New Project
§
Select a project to view details
●
Active
Use
Concepts
+
Knowledge Base
KB only
↑
⊕
Drop files here or click ↑
PDF · LaTeX · TXT · MD · up to 20 MB
Open Questions
+
Sessions
New Project
Create
Cancel
Add Concept
Unseen
Confused
Understood
Mastered
Save
Cancel
Add Question
Open
Answered
Save
Cancel
vibe proving — 使用指南
✕
✕
✕
<p>您的浏览器不支持内嵌 PDF，请 <a id="pdf-viewer-fallback" href="#">下载文件</a>查看。</p>