formal verification AI News & Updates

2026-06-17 14:15 [Industry Trend] [SRC↗]

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

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...

[Large Language Models] [AI Safety] [Venture Capital] [formal verification] [mathematical proofs]

Risk: [-0.08% ↓] [+1 days ↓]

AGI: [+0.02% ↑] [0 days]

Analyze >>

2026-01-14 19:10 [Research Breakthrough] [SRC↗]

AI Language Models Demonstrate Breakthrough in Solving Advanced Mathematical Problems

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...

[OpenAI] [Large Language Models] [Mathematical Reasoning] [AGI Capabilities] [formal verification]

Risk: [+0.04% ↑] [-1 days ↑]

AGI: [+0.04% ↑] [-1 days ↑]

Analyze >>