Meta lets mathematicians use Muse Spark via free meta.ai chat to tackle open problems
Meta researchers had mathematicians use the Muse Spark model through the free public meta.ai chat to work on open problems, producing six papers that mark which passages were drafted by humans versus AI, including one case where a cross-field connection helped complete a proof.
We had a group of mathematicians work on open problems they're passionate about using our Muse Spark models via a regular http://meta.ai chat (which is free and publicly available), and they came up with pretty interesting discoveries which we're sharing today in our blog. One example was when the model was able to connect the dots between 2 very different fields, helping researchers develop a proof. We then wrapped all the work into 6 nice research papers where we mark which passages were primarily drafted by humans vs AI. We also gave credit for any similar work we found. Our goal here wasn't to mass-produce papers, but to empower researchers and help them develop mathematical insights that others can understand and build on :) Blog: https://research.meta.ai/blog/solving-open-research-problems-together
This post quotes another post: x.com/aiatmeta/status/2106099776035152231