M
🔧 开发工具
Lean 4形式化证明悬赏 未知总部 国内优化
mathbounty.com 开发工具测评
数学证明悬赏平台
TTG4G 编辑组
·更新于 2026-06-24 ·数据来源: ai_crawl
评测方法 ↗
数据来源
ai_crawl · 最近更新 2026-06-24
⚡ 评分构成
五维加权 · 满分 10
性能 / 功能25%
7.0
性价比20%
7.0
中国可用度20%
10.0
口碑20%
6.0
售后 / 退款15%
6.5
各维度得分依据公开资料与字段推算,加权后即综合评分,仅供参考。
行业深度解析AI 深度分析
一句话基于Lean 4形式化证明的爱尔特希开放问题悬赏平台
定价按解决方案付费 每个符合要求的爱尔特希开放问题解决方案可获得100美元奖励
适合谁数学研究者、形式化证明爱好者、Lean 4开发者
核心功能针对爱尔特希开放数学问题的悬赏机制基于Lean 4形式化证明的验证要求提供作品提交入口（My Submissions）设置解决方案排行榜（Leaderboard）
功能与用途平台用于发布 Erdős 开放问题，并鼓励用户用 Lean 4 提交形式化证明；通过每个解答 100 美元的悬赏激励解决问题。页面还显示 My Submissions 与 Leaderboard，说明支持个人提交管理和排名展示。
支持语言/框架明确提到 Lean 4 proofs，即支持 Lean 4 形式化证明。未提供是否支持其他语言、证明助手或数学框架的信息。
定价未显示传统 SaaS 定价。文本说明“earn $100 per solution”，即每个被接受的解答奖励 100 美元。未说明平台是否收费、是否有会员计划、奖金发放条件或税务/手续费。
集成与生态文本仅体现 Lean 4 相关使用场景，未提供 GitHub、CI、Lean 包管理、社区账号或其他第三方集成信息。
文档质量抓取正文非常简短，仅包含平台定位、奖励金额和导航入口，缺少问题规则、提交格式、验收标准、付款流程、示例证明等文档内容，因此从可见信息看文档不足。
支付['']
中国访问未知
适用场景['数学研究者通过解决爱尔特希开放问题获得奖励''Lean 4开发者通过平台实践形式化证明能力''参与者通过排行榜展示个人证明成果']
同类Lean 社区项目、ProofNet、Theorem proving benchmark/competition 平台、GitHub 上的形式化证明项目
优点- 奖励标准明确，100美元/解决方案公开透明
- 目标明确，聚焦数学界知名的爱尔特希开放问题
- 依托Lean 4保证证明严谨可验证
- 设置排行榜可激发参与积极性
不足- 网站处于基础上线阶段，页面功能不完善
- 公开内容有限，问题库详情及审核规则未明确说明
- 仅支持Lean 4证明形式，参与门槛较高
📢 订阅 TG4G 电报频道
每日精选海外资源 + 国内可用性速报 · 也可在 @amzseo_bot 直接搜
加入频道 →
中文卖点
Lean证明赚赏金，适合形式化数学人群。
官网快照
/shot/mathbounty-com.png
mathbounty.com
M
mathbounty.com
快照生成中 · 后端每周自动抓取官网首页
价格未公开
当前定价
价格采集自官网公开页面,实时更新;历史走势数据采集中,暂无足够历史样本。下单请以官网实时价为准。
用户评价
综合评分
评分明细(分布与用户短评)接入中。当前展示 TG4G 综合评分,数据源自公开测评与用户反馈。
常见问题
mathbounty.com 是一家未知的开发工具 (Lean 4形式化证明悬赏)服务商. 本页收录其「数学证明悬赏平台」套餐. Lean证明赚赏金，适合形式化数学人群.
mathbounty.com 在中国大陆有较好的直连体验, 多数地区无需代理即可访问. 该商家总部位于未知, 主要面向海外市场.
访问 mathbounty.com 官网完成注册即可使用. 注册一般需要邮箱 (推荐 Gmail/Outlook) 和支付方式. 多数海外服务支持信用卡 / PayPal / 加密货币. 完整流程见本页"前往官网"按钮.