OpenAI lost honderden wiskundige problemen op wiskundigen hebben bedenkingen