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
Score Breakdown
Project Details
Algorithm Insights
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