Jason Dean Lee stated that half of the mathematical problems Meta claimed to have solved with its Muse Spark AI were already resolved by others. The dispute targets a recent announcement from Meta where the company shared six papers detailing how its Muse Spark 1.1 and 1.2 models helped mathematicians answer questions that it described as being without an existing solution path.
The projects used a regular chat interface in Thinking Mode and covered fields including probability, group theory, and arithmetic physics. Meta guided the research through a protocol where mathematicians oversaw the work and a second group of researchers verified the results. This initiative followed gold medal performances by the Muse Spark models in five separate competitions across mathematics, physics, and chemistry.
Key sources
- SOURCE@aiatmeta“mathematicians worked with Muse Spark 1.1 and Muse Spark 1.2 in Thinking Mode through the regular https://t.co/wHkMPH82ZH chat interface, with no custom research scaffold, to find solutions to such problems”x.com
- SUPPORT@alexandr_wang“mathematicians and muse spark collaborated to solve 6 open problems in math”x.com
- SUPPORT@jasondeanlee“Actually 3 of 6 were already resolved.”x.com
- SOURCEhuggingnewshuggingnews.com