AI Used to Verify Toughest Mathematics Proof Yet
Axiom Math's AI system AxiomProver automatically verified the proof of the 246 theorem relating to prime numbers for the first time. The formal verification converts a mathematical proof into a machine-readable version that a computer checks, though the process is not a guaranteed proof of absolute correctness.
Read full story →Immune cells have a 'sense of touch,' scientists discover
Tissue-resident memory T cells can sense physical touch through mechanical forces, not just biochemical signals. This mechanosensing ability, discovered by McGill University researchers, shapes how these immune cells develop long-term immunity in tissues.
Molecular electromagnetic sensor may enable remote-controlled gene therapy
Researchers developed a molecular electromagnetic sensor that uses DNA regulatory elements as gene switches for potential therapeutic applications. The sensor enables noninvasive control of gene expression in living organisms, particularly for treating genetic disorders through remote activation mechanisms.
Curiosity Blog, Sols 4975-4981: Happy 14th Landing Anniversary
The Curiosity rover celebrated its 14th landing anniversary on Mars. The rover has been operating on Mars for 14 years since its original landing date.