AdvancedMathBench: A Benchmark Suite for Advanced Mathematical Proof Generation
Large language models (LLMs) have achieved remarkable performance on high-school and olympiad-style mathematics, yet their capabilities on advanced mathematics remain poorly understood. Existing benchmarks, however, fall short in both scope
https://arxiv.org/abs/2607.11849v1 ↗Thesis fit
Good fit
Within your typical scope; diligence still required.
In your usual scope
Idea match
Light
How close the company’s idea is to your thesis statement
Sector
llm, ai
Overlap with sectors you care about
Geography
Unknown
Location unknown — scores 0
Your thesis: “We back exceptional technical founders building AI-first products and infrastructure, deploying $100K checks within 24 hours.”
Founder → stable
Traction → stable
Idea vs market ↓ declining
▸ Add / edit details
Correct facts used on the next screening or memo.
People
L
Lingkai Kong
1.0
low confidence
Z
Zijian Wu
1.0
low confidence
Y
Yuzhe Gu
1.0
low confidence
H
Haiteng Zhao
1.0
low confidence
W
Wenyong Huang
1.0
low confidence
S
Shuang Sun
1.0
low confidence
Z
Zhicheng Xiong
1.0
low confidence
X
Xiaotian Zhang
1.0
low confidence
S
Shuya Zhao
1.0
low confidence
Y
Yan Wang
1.0
low confidence
D
Disheng Xu
1.0
low confidence
W
Wenwei Zhang
1.0
low confidence
Activity & evidence
Similar baseline plays (YC · idea space)
Mathos
· Active
Ultimate AI Math Problem Solver to Revolutionize Personalized Learning
founders not scraped yet