Yenolab.

AI systems for advanced mathematics.

Yenolab develops autonomous AI research tooling for hard, open problems in pure mathematics.

Focus

Applied AI · mathematical reasoning · research automation

Stage

Early-stage · independent