LAUNCH INDEX

TheoremSmith

Mass-Producing Hard Proof Problems to Train LLMs

AITLAI Tools & LLM Apps·HNShow HN

Launched TheoremSmith? Get the free weekly brief →

Breakout launch

Beat 95% of Show HN launches that day

#8 of 198 on Nov 10

Share on X

#1 of 12 AI Tools & LLM Apps launches on Show HN on Nov 10. 7.5% of AI Tools & LLM Apps launches (3 of 40) reached 10+ points in the last 7 days. See AI Tools & LLM Apps →

100 (0.0%)

points · traction gained Nov 12, 10:31 UTC → Nov 13, 10:27 UTC

Still tracked: re-read by each daily run while under ~168h old (window closes ~Nov 17, 18:33 UTC).

0

comments · buzz 0 in latest interval

2d

listed Nov 10, 18:33 UTC

Traction (points) over time

0510Nov 11Nov 12Nov 13ListedNov 11, 10:42 UTC · 10 points · 0 comments · 16h after listingNov 12, 10:31 UTC · 10 points · 0 comments · 40h after listingNov 13, 10:27 UTC · 10 points · 0 comments · 64h after listing
3 readings (one per daily ingest run). Dots are recorded values; lines just connect them — nothing in between is measured.

Key statistics

Traction
10points
Comments
0
Rank in AITL this week
#4of 47 HN
Rank overall this week
#58of 1,038 HN
Sector hit rate
7.5%3/40 · 7D
Traction line
Hit10+ points
First reading
10Nov 11, 10:42 UTC
Last reading
10Nov 13, 10:27 UTC
Readings
3over 64h

Get the launches that broke through, every Tuesday.

3 of 40 AI Tools & LLM Apps launches on Show HN reached 10+ points over the last 7 days. The weekly brief shows what they did differently, so you can compare TheoremSmith.

Free, every Tuesday. Unsubscribe anytime.

Grades · each graded against other AI Tools & LLM Apps launches from the same source

Momentum

C

+0 points

Traction gained in the latest daily interval

Better than 49% · vs 41 still-tracked AI Tools & LLM Apps · Show HN launches

Velocity

A

0.21 points/h

Votes per hour since listing (age capped at 48h)

Better than 94% · vs 193 AI Tools & LLM Apps · Show HN launches, last 30 days

Engagement

—

0.0 per 10 points

Comments per 10 points

Too few peers to grade (11; need 20)

Staying Power

—

1.0×

Votes at last reading ÷ votes at first reading

Too few peers to grade (11; need 20)

Launch-day race · #8 of 198 Show HN launches on 2026-11-10

  1. #6Y Recombinator14 points
  2. #7WolveKafka11 points
  3. #8TheoremSmith10 points
  4. #9Cosh10 points
  5. #10ZTHR7 points
All launches on 2026-11-10 →

Is this your launch? Show your rank

Add this badge to your site or README. It updates every day with your current rank.

TheoremSmith on Launch Index
<a href="https://launchindex.ai/product/118557" target="_blank"><img src="https://launchindex.ai/badge/118557" alt="TheoremSmith on Launch Index" height="54" /></a>

Maker? Add your website and we will link it from this page.

Discussion

No comments yet. Open on Hacker News →

Data as of Nov 13, 2026, 9:22 AM UTC. Sector comes from keyword rules on the title and tagline and can be wrong. How it works