MathPaperAI
ストックにはログインが必要です
Write, proof, check and understand mathematical manuscripts
Artificial Intelligence
Writing
Science
OpenAI Day
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.
投票数: 0