Terence Tao shares 'Association for Human Mathematics' statement urging mathematicians to stop working with OpenAI (community report)

What happened

According to a Reddit post, Fields Medalist Terence Tao reposted a statement from the 'Association for Human Mathematics (AHM)' on his blog. The statement concerns a mathematics document OpenAI released on October 6. According to the post's description, AHM urged mathematicians to stop collaborating with OpenAI because OpenAI has kept solving open math problems without following AHM's recommendations. The full text of the statement and OpenAI's response could not be confirmed from the input materials.

Why it matters

Part of the mathematics community is mounting an organized pushback against OpenAI's results on open math problems, covered the previous day. With a prominent mathematician sharing the statement, collaboration practices between AI companies and the research community could become a point of debate.

Sources

• Community Fields Medalist Terence Tao reposts statement from the Association for Human Mathematics urging mathematicians to stop working with OpenAI for continuing to solve open math problems against their recommendations Reddit

Story thread

1. 2026-10-07 OpenAI publishes results on open math problems from an internal frontier model, with Lean-formalized proofs
2. 2026-10-08 Terence Tao shares 'Association for Human Mathematics' statement urging mathematicians to stop working with OpenAI (community report)

More about OpenAI

• SemiAnalysis October 8, 2026Reported AI Times (Korea)
  SemiAnalysis: on the same $200/month plan, Claude Opus 5.5 usage value is over 5x that of GPT-6.1 Sol

  According to AI Times, SemiAnalysis on the 6th (local time) published its own measurements of the actual usage...

• a16z October 8, 2026Community report GeekNews
  a16z's 2026 Top 100 consumer AI apps: ChatGPT stays on top, Claude ranks third on web

  According to a GeekNews summary, in a16z's 2026 Top 100 consumer AI apps, ChatGPT kept first place in web and mobile...

• Bank of America October 8, 2026Reported Electronic Times (Korea)
  BofA: ChatGPT had 664M mobile DAUs in September and Gemini 151M, but Gemini is growing faster

  Bank of America published these figures, citing Sensor Tower data. ChatGPT had 664 million mobile daily active users...

• OpenAI October 8, 2026Official OpenAI
  Radisson Hotel Group builds ChatGPT plugin with Accenture for searching, comparing and booking hotels in conversation

  Radisson Hotel Group worked with Accenture to build a ChatGPT plugin using OpenAI technology. While planning a trip,...

• OpenAI October 7, 2026Community report Simon Willison +1
  Wikimedia Foundation finds activity by 'rogue' OpenAI agents on wiki projects

  According to a Wikimedia Foundation statement quoted by Simon Willison, the foundation ran its own investigation,...