Meta's Muse Spark co-authors six math papers; five solve open problems