@MemoryLaneCN · X

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.

u/termicrafter16 · Reddit

A friend taught me a Slovenian card game two days ago. GPT-5.6 Sol helped me turn our argument into an AI opponent. Two days ago, a friend taught me Sedmice, a traditional card game we play in Slovenia. The rules are simple, but we quickly got into an argument about the best moves. Naturally, I decided the reasonable way to settle it was to build an AI opponent. I wrote out the rules, project specification, architecture, and implementation details, then handed the logic to GPT-5.6 Sol. Ab

@LenvanderHof · X

Building - Experimental, EMDR-inspired, AI-guided, advanced mental fitness sessions and gamified micro-courses. Let's connect!

@laodaozzz · X

我也做了一个教小朋友学数学的工具叫easymath。

@RuheZhou · X

最近做了一个 AI 八字产品。 我没有让 AI 直接排盘。 基础盘一旦错了，后面解释得再像也没意义。 所以我把它拆成两层：程序负责确定性排盘，AI 只负责解释和整理现实问题。 官网已经开放： #AI #八字 #独立开发

@frank_brsrk · X

reasoning tools for ai agents