Seoul:&Truth, a public benefit corporation, has announced its emergence from stealth mode, introducing a pioneering universal verification machine designed to establish a foundational standard for provably safe code. This innovative machine can read code in any programming language and mathematically prove that it is secure, safe, and correct, with proofs accessible for independent verification by anyone.

According to BERNAMA News Agency, the urgency to verify software safety has heightened due to the rapid pace of AI-driven code generation and increasing cyber threats. &Truth, founded in early 2026, aims to meet this challenge with its groundbreaking technology. The company has received $70 million in seed funding from prominent leaders in AI safety and venture capital to support its mission.

The universal verification machine developed by &Truth seeks to address a critical need in the tech industry by ensuring that software systems are reliable and resistant to cyberattacks. This development marks a significant step forward in the quest for safer digital environments as technological advancements continue to accelerate.