khalis_ux · Product Hunt

CartesiumAI Learn by experimenting with a real-time AI companion

u/darth_santos · Reddit

I built an AI app that turns any study material into a gamified learning journey Hi everyone! After several months of development, I'm excited to finally launch my project: Odyssa. The idea came from my frustration with reading long PDFs, taking notes manually, and forgetting what I'd learned. Instead of just summarizing content, Odyssa transforms your study material into a complete gamified learning journey powered by AI. You can upload PDFs, documents, and other learni

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.