Birbla

Join the discussion

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

Sign in
  • Hacker News
  • Paywalled.
    by chrisjj
  • It’s extremely aggravating that AI firms are given the easy task of selling and advertising a product that has obvious potential and uses but feel the need to over hype more and more to the point where the actual uses aren’t even the focus anymore but instead the focus is on what the product (and the firms) fail to do.

    I know that part of that is scrambling to find a way to justify the insane debt and margins they need to make up for but I feel that it could have been done.

    by ofjcihen
  • Nothing more real in research than academics fighting over credit and missed citations.
    by paxys
  • With machine automated formalizations now feasible, I wonder whether git repos (which would automatically include attribution) wouldn't make more sense as modern journals. e.g. you could have the core mathlib as the "prestige" journal, and then various "results in X" repos as more niche journals? If a theory or result becomes central enough, it is elevated to the core. Peer review becomes a PR, etc. "Journals" could also run a timestamp authority/notary that records when a commit was pushed.

    This would make it much easier to catch such things and also easier to build more powerful math agent harnesses. Like you could imagine something like a Lean Hoogle that can locate any applicable theorems to whatever type(s) you have as a tool call.

    by ndriscoll
  • > In particular, Astra’s key mathematical step combined ideas first found in two papers from 2016 and 2019. Andreas Thom, a mathematician at the Dresden University of Technology, who co-authored both papers, summarized the result on MathOverflow.com, calling it “creative and at the same time elementary.”

    Looking at the mathoverflow post, he says:

    ``` I think it is too early to judge if this construction will serve any other purpose than providing the right framework to apply these earlier results efficiently. On the other side, I was looking myself for such a mechanism ever since we wrote the paper in 2019 and admire the efficiency of this construction. ```

    So it maybe is a pretty interesting result.

    by Nail2680

Explore Birbla archives