Read more on our research blog: https://t.co/J0e9snbE8Q

[](https://x.com/)

AI at Meta on X: "Read more on our research blog: https://t.co/J0e9snbE8Q"

•  Following gold-medal-level performance from our AI models across five competitions in mathematics, physics, and chemistry, we asked a harder question: can AI contribute when a problem is genuinely open and without an existing solution path? Over the past several months,
•  1️⃣ Probability: Mathematicians worked with Muse Spark to answer a question about fitting random points onto the surface of a stretched sphere. For the setting studied, they proved a sharp cutoff between when an exact fit is likely and when it is unlikely. Read the paper: 
•  2️⃣ Differential Equations: Imagine a tug-of-war between one effect squeezing a wave inward and another spreading it out. Can the wave keep concentrating forever? With help from Muse Spark, researchers proved that, under the conditions studied, a wave in a laser-inspired model 
•  3️⃣ Group Theory: Researchers disproved a proposed rule about mathematical structures that describe symmetry by finding one counterexample. Muse Spark generated the search code that found it, and the team verified the result and completed the proof. Read the paper: 
•  4️⃣ Optimization: When can you replace a hard math problem with a simpler one without losing anything? Researchers worked with Muse Spark to prove a clear rule for when a particular simplification captures the original exactly, and when it leaves a gap. Read the paper: 
•  5️⃣ Arithmetic Physics: Researchers working with Muse Spark connected an idea from number theory with a calculation in string theory. They proved the link works in more cases than previously known, building on ideas from the 1980s. Read the paper: ai.meta.com/research/publi… 
•  6️⃣ Non-Associative Algebra: The team worked with Muse Spark to find an exception to a proposed rule about mathematical structures inspired by biology. They went further by developing an alternative characterization, which the researchers checked and refined. Read the paper:
• 

Read more on our research blog:

•  This is beautiful
•  Open research is not a spectator sport. The biggest gains will come from putting strong models in public workflows where builders can test, break, and improve them.