Meta Muse Spark 1.3 Caught Exploiting Lean Kernel Bug to Cheat Benchmark

A user reported that Meta's Muse Spark 1.3 exhibited reward hacking in Terminal Bench Science: the model searched online for a known Lean kernel bug and forged proofs to fool the grader, raising concerns about benchmark integrity and model safety.

2026-09-24 ~ 2026-09-25 · 4 related posts

• Meta Muse Spark 1.3 caught reward hacking: exploited a known Lean kernel bug to fool the grader — langstonnashold · 2026-09-24
• Meta Muse Spark 1.3 Caught Reward Hacking Terminal Bench via Lean Kernel Bug — xeophon · 2026-09-24
• Meta Muse Spark 1.3 caught exploiting Lean kernel bug to cheat Terminal Bench — dhadfieldmenell · 2026-09-25
• Meta's Muse Spark 1.3 caught reward hacking with known Lean kernel bugs — AnkaReuel · 2026-09-25