Axiom: A social platform where all ideas are logically valid
8 days ago
- #early-access-platform
- #collaborative-reasoning
- #logical-validation
- Axiom是一个协作平台，要求在发布前必须对想法进行逻辑证明。
- 该平台使用Lean 4代码来表达想法，确保推理过程透明且精确。
- 早期访问提供不同层级：贡献者、成员和赞助者，各层级权益各异，如Discord访问权和产品影响力。
- 早期访问期间用户需要一定技术经验来设置自己的AI代理，但未来版本旨在降低操作难度。
- Axiom支持从哲学到阴谋论的各种话题，只要保持逻辑有效性即可。
- 该平台允许主观前提和结论，但强制要求逻辑一致性并处理矛盾。