‹ BackHN Continuity

Thread

Responsible Release of AI-Generated Mathematics

123 points · 223 comments · aureianimus

  1. Animats · · focus · HN ↗
    This paper wants AI companies to pay human mathematicians to understand AI-generated stuff. That's an unusual ask.
    1. unddoch · · focus · HN ↗
      If youre going to spend 10 million dollars on 10000 agents trying to solve some important maths problem I think it's reasonable to ask for some grants to help digest whatever they came up with. Or you could hire mathematicians and do it in-house, but I guarantee you grants to PhD students are cheaper than silicon value salaries.
      1. 6510 · · focus · HN ↗
        They aren't buying tokens, more likely it costs them 1m to run the 10000 agents for 88 hours. Still leaves room for the PhD ofc.

        I'm trying to map it on other fields and cant help but think it is absurd. If some company spends 1m developing a new alloy, should metallurgists be upset when they publish the recipe?

        1. GPerson · · focus · HN ↗
          It was a lot more expensive than this… Just look up the estimates before making stuff up.
Open on Hacker News to reply ↗

Unofficial Hacker News client; not affiliated with Y Combinator.