Show HN: Social and context-aware AI platform to do math
Show HN (score: 5)Description
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.
More from Show
Show HN: Vektorgeist- A platform for AI operators and their agent's
Show HN: Vektorgeist- A platform for AI operators and their agent's VektorGeist is a platform designed for AI operators to discover, share, and distribute AI resources in one place. The platform brings together: AI tools MCP servers Prompts Workflows Templates Agents Technical articles A community for collaboration Recent updates include selectable layouts, customizable themes, an immersive interface, community profiles, and a marketplace for sharing projects and resources. The goal is to create a central hub where AI operators can find practical resources, contribute their own work, and collaborate with others without having to search across dozens of different platforms. Feedback is welcome, especially on: Overall user experience Features that would improve the platform Missing functionality Ideas for making it more useful for AI operators Website: <a href="https://vektorgeist.com" rel="nofollow">https://vektorgeist.com</a> Discord:<a href="https://discord.gg/EEsMTJ73m" rel="nofollow">https://discord.gg/EEsMTJ73m</a>
No other tools from this source yet.