@UtevR57878 · X

Not vibe-coded, rather AI assisted dev:

@Elisroden · X

285 private research maths problems. January 2024: zero solved. GPT-6 Astra is at 267, and the unsolved share halves every 4.3 months. Same week: a Lean-verified blowup proof for 3D Euler, built with Claude and Codex. Follow the exponential progress on

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.

barantt01 · V2EX

做了一个速算的小游戏，有空可以耍一耍 网页游戏 体验地址： https://mathjump.cc 游戏界面 

@BruceWayne95290 · X

just leaving a comment cause its 1am and im vibe coding, will come back tomorrow (on an alt account for open claw fyi) I've worked with the following brands: vytadose, bajabeachco, jaje health, eric javits, 4knines, welleco, coatdefence

ahmed_hassan7 · HN

CostPerPrompt – Live AI API pricing and real-workload cost calculators

u/averageChilean · Reddit

Built a free tool site to help my brother study — now has 100+ tools, would love feedback My brother's in high school and needed something more visual to study chemistry, physics, and math, so I used Claude to build him a simple site with interactive calculators and visualizers. I'm not a programmer or from a tech background, so without AI this wouldn't have happened, at least not this fast. It ended up helping him a lot more than I expected, so I kept expanding it, added a bunch of other

@lologfts · X

built Apiarium, with one api key you can choose multiple Ai models, easy integration

marcushuang4595 · V2EX

做了一个会把微积分解题过程“动起来”的计算器，想听听大家的意见 最近做了一个微积分学习工具 CalculusMate 。 起因是我发现很多计算器只给最终答案，即使列出步骤，也很难看出表达式究竟是怎样一步步变化的。所以我尝试把求导、积分和极限的计算过程做成可以逐步播放的形式。 目前支持： - 导数、积分和极限计算 - 展示每一步使用的规则 - 动画演示表达式的变化 - 支持常见数学符号键盘 - 中英文界面 - 基础计算无需注册 可以从这个页面体验： https://calculusmate.com/step-by-step 免费版本： https://calculusmate.com/free 目前还处于早期阶段，我比较想知道： 1. 解题步骤是否足够容易理解？ 2. 动画是帮助理解，还是会让页面显得太复杂？ 3. 还希望优先支持哪些题型？ 欢迎直接指出问题，尤其是计算结果、移动端体验和表达不清楚的地方。

@amanry28 · X

I don’t know why isn’t it getting that much attention it’s actually a big deal for people who do vibe coding, for people like who develop micro apps daily. As a teacher it’s so ise to just tell students to go to and practice tables… It’s so amazing

@MyApiTaco · X

GLM 5.3 Flash is now on 🌮⚡ Limited-time promotion: 66.6% OFF retail • Input: $0.05 (retail $0.15) • Cache Input: $0.01 (retail $0.03) • Output: $0.167 (retail $0.50) Plus, get an extra 5% bonus on topups over $100. #GLM #zAI #openrouter #vibecoding

13639366668 · HN

Pay-per-call MCP server with 47 AI endpoints, micropayments via x402