ZME Science on MSN

Google’s AlphaProof Can Work on Mathematical Proofs Once Thought Beyond Machines

In 2024, an AI entered the fray of the International Mathematical Olympiad (IMO). Google’s AlphaProof is part of the same ...
Quanta Magazine

To Have Machines Make Math Proofs, Turn Them Into a Puzzle

Marijn Heule turns mathematical statements into something like Sudoku puzzles, then has computers go to work on them. His ...
IEEE

On the denotation of circular and non-wellfounded proofs in linear logic with fixed points

Abstract: This paper investigates the denotational invariants of non-wellfounded and circular proofs of linear logic with least and greatest fixed points, μLL, by providing a categorical semantics.
IEEE

Non-finite methods of Reconstructions of Non-Classical Propositional Logic Variants based on the Theory of Structures in Control Problems of Complex Systems

Abstract: The report explores the problem of developing a common base of mathematical support for the problem of modeling control systems for objects of great complexity. The problem of reconstructing ...