@rofarkas · 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.

@intheworldofai · X

On the World of AI Bench (vibe-coding composite): Claude Fable 5 → 85.2 GPT-5.6-sol → 82.4 kimi-k3 → 81.5 Moonshot’s K3 just walked in and claimed bronze on one of the toughest coding-focused leaderboards out there.

@ExpressSheet · X

Upload a spreadsheet. Ask questions in plain English. Get insights, charts, and a polished PDF report back. ExpressSheet is like having a data analyst on call, 24/7. Start free:

@Shahzebsolodev · X

grow you X on autopilot (Almost done building. Giving the finishing touches)

@durdom_evm · X

Chinese team at just dropped ZCode 3.0 and it's quietly reshaping the agentic coding landscape while everyone's waiting on Anthropic's roadmap here's what matters: GLM-5.2 is trading blows with Opus 4.8 on the benchmarks that actually count. 81.0 vs 85.0

Detector de IA — 西班牙语优先的 AI 文本复核网站，可检查粘贴文本和文档，查看概率信号、句子高亮和可导出报告

BookletAI — 面向普通用户的小册子 AI 工具，可自动调研、写作并生成排版好的 booklet 页面。

@erdemwrites · X

Smart Match AI — 自定义条件和精度来匹配两列不同的数据，更加自由的 Excel lookup/vlookup

lecsium · Product Hunt

Lecsium Learn languages by reading AI-generated interactive novels

@slaven_ra · X

- recently added subscribe to Youtube channel feature to receive auto-summaries via email on each new published video