Launched this week

MathPaperAI

Launched this week

Write, proof, check and understand mathematical manuscripts

2 followers

Write, proof, check and understand mathematical manuscripts

2 followers

Visit website

Draft, structure and refine mathematical and scientific papers with AI-assisted explanations, fact-checking and rewriting. Connect with others to proof, explore and collaborate on mathematical domains. Use an advanced Lean proof pipeline to find new insights and new mathematics.