Yes this is probably a dump from a process crash. Hard to say what this the source of it without analysis.
You can delete it but it would be nice to see what is causing this.
So you can
run “file” against each of them so we can see what process it’s from
then, based on that, we may want to get him to run gdb to extract the backtrace and file an issue
gdb path_to_binary core_file
thread apply all bt
ctrl-D
Also provide some detailed information about your environment such as: