Auf dem ArXiv ist am 4. April ein Preprint mit einem Gegenbeispiel zu der Anderson-Vermutung aus der Theorie lokaler Ringe erschienen: https://arxiv.org/html/2604.03789v1 Bemerkenswert an diesem Gegenbeispiel ist, dass es nicht von einem Menschen gefunden wurde, sondern von einer Maschine. Our framework consists of two components: an informal reasoning agent, Rethlas, and a formal verification agent,…
Letzte Kommentare