AI & Tech Brief: Math researchers strike back

Not a subscriber? Sign up here to get this newsletter in your inbox.

AI & Tech Brief: Math researchers strike back

TL;DR

  • Controversy surrounding OpenAI's solution to a math problem has created distrust among mathematicians.
  • A proposal exists for a new AI platform where math researchers can collaborate.
  • The platform would train AI models on the "invisible work" involved in solving complicated theorems.