Birbla

Join the discussion

Write your take first — we'll ask for email only when you're ready to publish.

Sign in
  • Hacker News
  • Love the idea, but the website is just broken.. problem statements don't load, etc..
    by empath75
  • Wasn't using a source-grounded AI with citations a better natural choice than chatgpt with hallucinations?
    by realsarm
  • Why do LLM coded websites seem so obvious?

    Like an earnest project in this direction would probably look like a 90s html page

    by vatsachak
  • Fun, I've been building a similar idea for the last year in my evenings, but focusing on human curation and human consumption and ensuring the humans understand the concepts correctly. Gonna be nice to have all these orthogonal projects complementing one another
    by igorkraw
  • Project creator here- I really did not expect it to get posted on hackernews! A nice surprise for sure though.

    Seems like someone found the site and posted without me.

    I am still working on the site and was planning on launching in a few weeks. There are some usability issues and some features on my roadmap I haven’t gotten to yet.

    That said- if folks are interested in helping contributing new problems/proofs, hunting bugs, or giving suggestions, we have a discord https://discord.gg/ds23BgPq6

    by philipfweiss
  • I've been considering something like this for a while. It only makes sense as a free, open-source, decentralized sharing protocol (where anyone can host theorems and no one can limit sharing them).

    If a company were to manage to commercialize this, it would end public open research.

    by amitport
  • I suspect tools like this will change human behaviour in the future so that no one really understands the math any more. If a solution to the Riemann hypothesis is found with it, I wouldn't be surprised if the person finding it didn't even understand analytic continuation. And that those that do just click like and scroll to the next problem.
    by vouaobrasil
  • Andrej Bauer and others are working on a kind of similar infrastructure, and developing a dedicated query language: https://math.andrej.com/2026/07/11/making-ai-smarter-with-ai...
    by butokai

Explore Birbla archives