‹ BackHN Continuity

Thread

The Advisory Group on Mathematics and Artificial Intelligence

162 points · 87 comments · digital55

  1. encyclopediai · · focus · HN ↗
    A mathematician's suggestion:

    I would push for an audit of the whole mathematical corpus (all articles etc ingested by the present AI) as soon as possible. Since there are of the order of 10^7 articles, compared with the progression of results announced, this might be possible in less than a year.

    All these results exploit the existing corpus. With enough time and maybe several orders more attention, we humans would discover these results.

    So instead of producing heaps of new proofs (but be welcome to do this IMO), make an audit, OpenAI or Anthropic or anybody who listens.

    1. encyclopediai · · focus · HN ↗
      A bit more developed, here:

      <a href="https:&#x2F;&#x2F;chorasimilarity.wordpress.com&#x2F;2026&#x2F;09&#x2F;22&#x2F;a-mathematician-suggestion-to-the-advisory-group-on-mathematics-and-artificial-intelligence&#x2F;" rel="nofollow">https:&#x2F;&#x2F;chorasimilarity.wordpress.com&#x2F;2026&#x2F;09&#x2F;22&#x2F;a-mathemati...

    2. [deleted] · · focus · HN ↗

      [deleted]

Open on Hacker News to reply ↗

Unofficial Hacker News client; not affiliated with Y Combinator.