Proof of Usefulness Report

Axiom Math

Analysis completed on 2/4/2026

+885
Proof of Usefulness Score
Unicorn Utility

Axiom Math is a verified, high-profile AI startup (raised $64M, valued at ~$300M) developing an 'AI Mathematician' capable of generating formal proofs. The project has demonstrated exceptional technical traction, notably solving 12/12 problems on the Putnam 2025 competition (a historic achievement). However, the submission data itself was of extremely low quality (claiming 'Team size 0', 'most people' usage, and inconsistent naming), which heavily impacted the Response Quality score. The final rating reflects the verified unicorn-level potential and technical breakthrough of the actual company, adjusted for the poor submission accuracy.

Ready to Compete for $150k+ in Prizes?

Move this data into a HackerNoon blog draft to become eligible for your share of $150k+ in cash and software prizes

View All Reports

Score Breakdown

Real World Utility+337.5
Audience Reach Impact+120.0
Technical Innovation+220.5
Evidence Of Traction+318.75
Market Timing Relevance+95.0
Functional Completeness+2.5
Subtotal+1094.25
Usefulness Multiplierx0.81
Final Score+885

Project Details

Project URL
Description
Axiom Math is an artificial intelligence startup developing an "AI mathematician" capable of solving complex mathematical problems and generating new knowledge by proposing unproven conjectures. Their AI produces rigorous, step-by-step proofs that are verifiable, aiming to translate mathematical concepts into code for validation and discovery. The company has potential applications in finance, aircraft and chip design, and quantitative trading, focusing on foundational scientific progress.

Algorithm Insights

Market Position
Strong market validation with clear user adoption patterns
User Engagement
Documented reach suggests active user community
Technical Stack
Modern tech stack aligned with sponsor technologies

Recommendations to Increase Usefulness Score

Document User Growth

Provide specific metrics on user acquisition and retention rates

Showcase Revenue Model

Detail sustainable monetization strategy and current revenue streams

Expand Evidence Base

Include testimonials, case studies, and third-party validation

Technical Roadmap

Share development milestones and feature completion timeline