Image created with gemini-3.1-flash-image-preview with claude-sonnet-4-5. Image prompt: 1980s NORAD war room with large CRT monitor showing glowing amber wireframe DNA double helix fragmenting into chaotic red mutations, dark silhouette of scientist backlit by screen glow, massive bold red retro sans-serif text reading SCIENCE across top, pitch black background, high contrast cinematic lighting, techno-thriller aesthetic.
1/ AxiomProver has solved Fel’s open conjecture on syzygies of numerical semigroups, autonomously generating a formal proof in Lean with zero human guidance. This is the first time an AI system has settled an unsolved research problem in theory-building math and self verifies.
https://x.com/axiommathai/status/2019449659807219884
Leave a Reply