AI & Tech Brief: Math researchers strike back
Not a subscriber? Sign up here to get this newsletter in your inbox.

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.