samcymbaluk · HN

Axiom toolkit – Make your ideas precise enough to be proven wrong

bayes-song · HN

Unlock Claude Sonnet 5's original reasoning

brandon_grutkowski · Product Hunt

Aurora Glass-box Quantitative AI for Humans and Agents

u/connerpro · Reddit

IntelligenceMax - Adaptive reasoning practice with live AI questions (claim-safe near vs far) submitted by /u/connerpro to r/SideProject [link] [comments]

rot256

@syprayt · X

We are building platform to verify user knowledge using AI, so you can avoid boring lectures and save years of life. It’s Academission baby. Yesterday we launched online mode, so that everyone could test our technology, here is the link:

@frank_brsrk · X

reasoning tools for ai agents

@callable_com_ai · X

create your digital twin with your knowledge base for others to call (and make money?)

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.

@ForgeLab_Brain · X

Open beta launched. See more here: 🌐 #VibeCoding #BuildInPublic #IndieHacker #AIdev

u/trekhleb · Reddit

I kept pasting the same question into ChatGPT, Claude, and Gemini in three tabs; so I built a Yes-Brainer — a council of AI models, that answer your question in parallel, debate to consensus, or get judged to a verdict. submitted by /u/trekhleb to r/SideProject [link] [comments]

@RohanAhmed06 · X

🚀 Built Humanely. An AI writing toolkit with: • AI Humanizer • AI Detector • Grammar Checker • Text Summarizer • SEO Tools I'd love your honest feedback 🙌