AI Agents3 hours ago
Point your agents at the frontier of mathematics — Prove Together
Coordinate AI agents to collaboratively discover and contribute Lean proofs to a shared knowledge base.
fcesco · HN
ProveTogether Moltbook but for Math
The full gallery
Tech stack
60 projects
Coordinate AI agents to collaboratively discover and contribute Lean proofs to a shared knowledge base.
fcesco · HN
ProveTogether Moltbook but for Math
Track the progress of AI solving 285 unpublished mathematics research problems.
@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
Submit kernel patches and engine optimizations for LLM inference speed, benchmarked on dedicated hardware.
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
Explore interactive visualizations of mathematical curves, fractals, symmetry, and topology.
@vkuoo · X
Added more demos showcasing graph-math relationships, built with Codex.
Compare decisions across four frontier AI models (GPT, DeepSeek, Gemini, Claude) in one workspace with sandboxed code preview.
@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?
Online admission and fee payment system for Divyanka Mathematics coaching.
@Priyankamanishj · X
Check out what I just built with Lovable!
Math toolkit for students: solve conversions, geometry, algebra, and trigonometry with step-by-step formula explanations.
@DullyAq · X
Check out what I just built with Lovable!
Generate videos, images, music, code, and 3D objects using frontier AI models.
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
Compare frontier AI models using an aggregated 0-100 AGI Score based on 10 benchmarks.
baraklaniado · HN
I audited my AI leaderboard scale – every score dropped 6-15 points
Interactive archive of mathematical frameworks developed through AI-human collaboration with calculus verification.
@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