教育学习4 hours ago
Math Toolkit — Conversions, Geometry, Algebra & Trig
数学工具包：学生可解决单位转换、几何、代数和三角函数问题，附带公式步骤。
@DullyAq · X
Check out what I just built with Lovable!
完整作品展
主题
已知属性
是透镜不是过滤器——只显示我们能确认的项目。
技术栈
2 projects
数学工具包：学生可解决单位转换、几何、代数和三角函数问题，附带公式步骤。
@DullyAq · X
Check out what I just built with Lovable!
用AI辅助解决和协作数学问题的社交平台。
lemma1729 · HN
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.