项目详情 · 教育学习

Lemma · Fora

社交化AI数学平台，用于解决和协作数学问题。

prooftree.ai

试用演示在线检查通过1 week ago

Education Agent Chatbot Social Productivity “Social and context-aware”“AI platform”“do math”

站点健康

🛠 有 6 条站点健康建议在等作者——认领本项目(X 登录)即可查看。

来源

Show HN

lemma1729

Hi HN, This is ProofTree, and in TLDR: it is a platform where you can chat with an AI to do math, the way you already do, with context-awareness and knows how you personally do math, connected to the fora of other live human mathematicians. So, when you are talking to an AI about a proof at 3 am, and you need a human expert looking at it, or a discussion around it, like you do on StackExchange, this is it! You need an approved email account to use it, so please write here if you would live to try it out.