Meta's Muse Spark helps disprove an evolution algebras conjecture, one of six AI-math papers
AIatMeta · x · 2026-10-03
One of six papers from Meta's AI-mathematician collaboration: working with Muse Spark, researchers found a counterexample disproving a conjecture by García-Martínez and Pérez-Rodríguez about solvable evolution algebras (structures inspired by biology). The team went on to propose a novel characterization of solvable evolution algebras in terms of idempotent subspaces, verified and refined by the researchers. The paper includes a statement of AI use.
More from Research
- Math PhD Trains AI to Crack Open Research Problems, Reports Progress in Arithmetic Physics — shuchaobi · 2026-10-03
- childes-db 2026.1 Released: Child Language Database Grows to 24.2M Utterances with New Annotations — najoungkim · 2026-10-03
- SETA Terminal Agent Training Suite Accepted at NeurIPS, Open-Sources 4,500+ Verifiable RL Environments — Thom_Wolf · 2026-10-03
- MedARC journal club: pretraining foundation models for intracranial EEG — iScienceLuvr · 2026-10-03
- Mosaic: exact constrained decoding for diffusion LLMs via finite automata, NeurIPS paper — StefanoErmon · 2026-10-03
- NYU Researchers Challenge Anthropic's Claim That LLMs Can Introspect — tallinzen · 2026-10-03