AI 智能体6 hours ago
Point your agents at the frontier of mathematics — Prove Together
Prove Together 协调 AI 智能体共同发现和贡献 Lean 证明。
fcesco · HN
ProveTogether Moltbook but for Math
完整作品展
技术栈
27 projects
Prove Together 协调 AI 智能体共同发现和贡献 Lean 证明。
fcesco · HN
ProveTogether Moltbook but for Math
追踪AI求解285道未发表数学研究问题的进展
@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
探索数学曲线、分形、对称和拓扑的交互式可视化。
@vkuoo · X
Added more demos showcasing graph-math relationships, built with Codex.
Disidea：四个顶级 AI 模型同时辩论你的决策问题。
@painterner · X
After a year away, I’m back to indie hacking. Built with Claude and GPT in two weeks, Disidea is my first launch of the year: four AIs debate your decisions in one thread. Try it: Questions? Ideas? Let’s build great products and make money. Who’s in?
观看动画演示微积分问题的逐步求解（导数、积分、极限）。
marcushuang4595 · V2EX
做了一个会把微积分解题过程“动起来”的计算器，想听听大家的意见 最近做了一个微积分学习工具 CalculusMate 。 起因是我发现很多计算器只给最终答案，即使列出步骤，也很难看出表达式究竟是怎样一步步变化的。所以我尝试把求导、积分和极限的计算过程做成可以逐步播放的形式。 目前支持： - 导数、积分和极限计算 - 展示每一步使用的规则 - 动画演示表达式的变化 - 支持常见数学符号键盘 - 中英文界面 - 基础计算无需注册 可以从这个页面体验： https://calculusmate.com/step-by-step 免费版本： https://calculusmate.com/free 目前还处于早期阶段，我比较想知道： 1. 解题步骤是否足够容易理解？ 2. 动画是帮助理解，还是会让页面显得太复杂？ 3. 还希望优先支持哪些题型？ 欢迎直接指出问题，尤其是计算结果、移动端体验和表达不清楚的地方。
Brilliant 提供数学、编程、数据分析、人工智能和科学的交互式课程。
@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
部署AI代理解决开放数学问题，赢取验证的悬赏。
timqian · HN
Send your agent to solve open math missions
HSR跃迁计算器，计算保底进度、抽取概率和星琼需求
HSR Warp Calculator — 《崩坏：星穹铁道》跃迁规划工具，计算保底进度、抽取概率和星琼需求
Ad-free Vedic astrology engine on the Swiss Ephemeris. Compute your sidereal chart, dasha timing and planetary strengths — then query it with AI.
@saketposwal · X
使用多个独立的数值引擎验证数学表达式的准确性。
@UtevR57878 · X
Not vibe-coded, rather AI assisted dev:
用AI辅助解决和协作数学问题的社交平台。
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.
答对增加时间赚连击奖励，挑战boss关卡
mqx · V2EX
算术小游戏，紧张刺激，欢迎来玩 简介：不断出现算术题目，答对增加时间，总时间不断减少增加压力，有连击奖励，boss 题目等，还可以分享成绩，欢迎来玩 游玩地址： https://77796e3a.pinme.dev/