برچسب OpenAI، ناویر استوکس، Navier-Stokes، هوش مصنوعی، مسائل هزاره، ریاضیات، حل مسائل ریاضی با هوش مصنوعی، Tristan Buckmaster، Levent Alpöge، Anthropic