Yahoo Finance

Inference Labs Raises $2.3 Million in Pre-Seed Funding to Revolutionize AI with Proof of Inference starting with Liquid Staking

Inference Labs closes a $2.3 million pre-seed round led by Digital Asset Capital Management, Mechanism Capital, and Delphi Ventures. The latest funding round for Inference Labs will boost their ...
CoinDesk

How Decentralized AI and Zero-Knowledge Proofs Will Democratize Compute

In late July, Mark Zuckerberg penned a letter explaining why “open source is necessary for a positive AI future,” where he waxes poetic about the need for open-source AI development. The once-nerdy ...
GIGAZINE

DeepSeek quietly releases 'DeepSeek-Prover-V2', a tool specialized for mathematical inference, capable of formal proof of complex theorems

Chinese AI company DeepSeek has released ' DeepSeek-Prover-V2 ', the second generation model of Prover, an AI specialized in mathematical reasoning, on Hugging Face and GitHub. It is ...
Tech Times

AI Math Proof Milestone: DeepMind Cracks 9 Erdős Problems, Magnetar Confirmed

AI math proof verification reached a new frontier as DeepMind’s AlphaProof Nexus solved nine open Erdős research problems with Lean-verified proofs, some unsolved for 56 years. The May 2026 Science Ne ...