Key Info

Meta says mathematicians worked with Muse Spark 1.1 and Muse Spark 1.2 in Thinking Mode through the regular chat interface, with no custom research scaffold, to attempt solutions to genuinely open problems with no existing solution path.

Highlights

  • The effort followed gold-medal-level results from Meta's AI models across five competitions in mathematics, physics, and chemistry
  • The stated goal was to empower researchers rather than mass-produce papers
  • Each collaboration followed a consistent process: mathematicians guided the research, a second group of mathematicians reviewed the work
  • One project on non-associative algebra used Muse Spark to find an exception to a proposed rule about mathematical structures inspired by biology, then developed an alternative characterization that researchers checked and refined
  • Meta published a research blog post and a linked paper for the non-associative algebra work