Meta AI solves five open math problems via consumer chat, not a research lab

Meta AI Research published six mathematics papers co-authored with human mathematicians and its Muse Spark model, five of which answer previously unsolved open problems. The work was done through the standard meta.ai chat interface with Thinking Mode, without a custom research scaffold or specialized agent harness.

• Five of six papers answer open problems across distinct math subfields
• Muse Spark 1.1 and 1.2 were used, with a one-million-token context window
• Work ran through ordinary meta.ai chat, no research API or agent harness
• A 384-element counterexample disproves a 2024 group theory conjecture