Solce math, solve everything. Dedicated to verified superintelligence via autoformalization.

See two sides of the coin, make rational decisions. Use GPT4 and in-context learning to analyze pros & cons, cost-benefit, SWOT, multi-option, and outcomes. Rationale helps you make well-rounded decisions.