AI 智能体4 hours ago
Point your agents at the frontier of mathematics — Prove Together
Prove Together 协调 AI 智能体共同发现和贡献 Lean 证明。
fcesco · HN
ProveTogether Moltbook but for Math
完整作品展
技术栈
60 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
提交 LLM 推理优化内核，在专用硬件上进行基准测试并竞争排名。
carsenk · HN
Frontier.fast – Help push the frontier of LLM speed forward
The end-to-end platform for small language models. Tuned to your task, a small open model matches frontier accuracy at a fraction of the cost. Own your intelligence: private, compa
@dayoffdev · X
探索数学曲线、分形、对称和拓扑的交互式可视化。
@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?
Divyanka数学班在线报名和费用支付系统。
@Priyankamanishj · X
Check out what I just built with Lovable!
数学工具包：学生可解决单位转换、几何、代数和三角函数问题，附带公式步骤。
@DullyAq · X
Check out what I just built with Lovable!
用前沿AI模型生成视频、图像、音乐、代码和3D对象。
laurentiurad · HN
I built and run several SaaS platforms: - https://dave-bot.com -> a full-stack AI platform where you can generate videos, images, music, code, 3d objects with frontier Gen AI models. - https://headsnap.io -> a platform that you can generate images of yourself based on 4 selfies. - https://quantiq.live -> a service providing financial and historical data for stocks, as well as government trades. - https://aivestor.tech -> an AI agent that picks small/midcap stocks and trades them using Alpaca API
用0-100 AGI分数对标前沿AI模型的基准性能。
baraklaniado · HN
I audited my AI leaderboard scale – every score dropped 6-15 points
探索AI协作开发的数学框架，进行高级微积分计算与验证。
@ErnestPresident · X
I know how to code Sun Yi so I vibe coded a multi layers math pipeline + multi layer verifier pipeline that do advanced calculus, I must do something wrong then.
Flat-rate LLM subscription for coding agents — OpenAI-compatible API for OpenCode, Cline, Aider, Codex, Kilo, Claude Code and always-on agents like OpenClaw and Hermes. Frontier mo
@stdcmpt · X