‹ BackHN Continuity

Thread

Responsible Release of AI-Generated Mathematics

123 points · 223 comments · aureianimus

  1. throwaway713 · · focus · HN ↗
    > we ask them to stop testing advanced mathematical problems on proprietary models.

    Maybe I'm alone on this, but for some reason these sorts of requests strike me as akin to gatekeeping how someone should breathe air. It's math... the numbers and symbols are just out there in the platonic realm available for anyone to do as they like with them. It's patently absurd to request other people to stop.

    Ensuring credit where credit is due? That's fine. If your model incorporates the efforts of many others, then it's reasonable to request acknowledgement of everyone who contributed (even indirectly). But that's not what the request states — presumably their ask subsumes any advanced ML model, including those that weren't trained on a giant corpus of text.

    1. isotypic · · focus · HN ↗
      To quote Noam Brown, "Our main focus is shipping great models so everyone can use them to make discoveries of their own" [1]. Spending 15 million dollars of compute with an internal model to blitz and scoop a resolution of Navier-Stokes that someone is already on track to resolve (or, from my understanding of why OpenAI did this, had already resolved, as staff at OpenAI stated their attempt was prompted by rumors of a resolution by Anthropic) is in complete opposition to this stated claim. That act is what this portion of the recommendation is in response to: OpenAI perpetually holding out internal models and tooling, using them to solve important problems in math, and thus themselves holding a monopoly on certain aspects of mathematics. Why is it absurd to ask people who are in a position to do an obviously damaging act to not do so, especially when those same people were the ones who asked for your advice in the first place and claimed to not want to do said act previously?

      [1] <a href="https:&#x2F;&#x2F;x.com&#x2F;polynoamial&#x2F;status&#x2F;2093451221273387477" rel="nofollow">https:&#x2F;&#x2F;x.com&#x2F;polynoamial&#x2F;status&#x2F;2093451221273387477

      1. ChickeNES · · focus · HN ↗
        Because it’s not a damaging act, to those who aren’t gatekeepers.
        1. isotypic · · focus · HN ↗
          How so? All it does it move who the &quot;gatekeepers&quot; are. OpenAI continuing to pump math problems into their internal models will only mean that if you want to be on the cutting edge of mathematics problem solving, you have to have access to internal OpenAI models. It takes what was previously an incredibly open field -- basically every paper is freely available on the arXiv, any given topic has probably 5 textbooks -- and turns it into one where the frontier is in the hands of a single company. If you are so against &quot;gatekeeping&quot; -- which I assure you, mathematicians are not doing, if you personally use an LLM to solve an important problem and write it up nicely (keyword: nicely) nobody will be mad at you -- why are you so happy to place the field into the hands of a singular entity?
          1. quantumspandex · · focus · HN ↗
            How about not trying to be always on the cutting edge ? Is mathematics a sport ?
            1. shank-false-rin · · focus · HN ↗
              Doing research is by definition to be on the cutting edge.

              AI labs don&#x27;t even need models to out compete mathematicians, they can employ enough mathematicians to out compete those who are not affiliated.

              The questions is whether if we want research to be held in a oligopoly.

Open on Hacker News to reply ↗

Unofficial Hacker News client; not affiliated with Y Combinator.