formal verification AI News & Updates

Pramaana Labs Secures $27M to Apply Formal Mathematical Verification to AI Systems

June 17, 2026 14:15

Pramaana Labs has raised $27 million in seed funding to develop a deterministic verification layer for AI systems using formal mathematical proof methods. By applying tools like the LEAN programming language, the startup...

AI Language Models Demonstrate Breakthrough in Solving Advanced Mathematical Problems

January 14, 2026 19:10

OpenAI's latest model GPT 5.2 and Google's AlphaEvolve have successfully solved multiple open problems from mathematician Paul Erdős's collection of over 1,000 unsolved conjectures. Since Christmas, 15 problems have been...