MATHEMATICAL SUPERINTELLIGENCE
Summary of public USPTO data
- Owner
- Concordance Inc.
- Status
- Live/Registered
- Serial number
- 98915236
- Registration number
- 8518224
- Filing date
- 2024-12-20
- Registration date
- 2026-10-20
- International classes
- 42
Goods and services
Class 42
- Artificial intelligence as a service (AIAAS) services featuring software using artificial intelligence (AI) for use in automated theorem proving, formal mathematical reasoning, mathematical proof generation and verification, and formal verification of software code for mathematical research and education in the fields of mathematics, computer science, cryptography, and physics, and for building accurate, verifiable or interpretable artificial intelligence (AI) outputs