aiqbenchInformații despre AI & calcul cuantic

...

Română · beta. Traducerea a fost făcută automat și este încă în curs de revizuire. Citește pagina în engleză

perspectiva aiqbenchAI + Cuantic

This benchmark represents a significant leap in AI-driven formal verification, successfully automating the proof of 1,019 tasks from a foundational quantum physics textbook at scale. By shifting from isolated proofs to a comprehensive, interconnected library, this work addresses critical gaps in scientific reproducibility and establishes a new standard for machine-checkable quantum reasoning. The open-source nature of the AxQM library provides researchers with a robust resource for validating complex mathematical relationships central to quantum theory without relying on manual formalization.

Surse care acoperăQuantum Zeitgeist, Quantum Computing Report, arXiv

Ce este aceastaLectura unui model asupra articolului și a acoperirii conexe, scrisă pentru aiqbench. Nu sunt cuvintele publicației.

AI Dreams unlock verified quantum mechanics library now open source

Quantum Zeitgeist11 septembrie 20266 min de cititArticolul și perspectiva sunt în engleză.

AxQM, a benchmark of 1,019 tasks, verifies proofs from Quantum Computation and Quantum Information using AI, building a formalization of core physics concepts.

A system based on Axiomatic Intelligence (AxI) has completed a verified proof for every labeled statement within the widely used quantum physics textbook, Quantum Computation and Quantum Information by Nielsen and Chuang. The achievement, detailed in a new benchmark called AxQM comprising 1,019 machine-checkable proof tasks, demonstrates an AI's capacity for formal mathematical reasoning at textbook scale, the company says. "We've proven it's possible, and we believe that others can as well," says Winston Yin, who formalized nearly the complete content of the textbook autonomously. This capability moves beyond AI assistance with calculations to verifiable scientific reasoning, addressing a critical verification gap in scientific work. This scale distinguishes AxQM from…

Extras afișat conform termenilor RSS ai publicației · 110 cuvinte · textul integral și figurile sunt pe site-ul publicației

Citește pe Quantum Zeitgeist ↗Întreabă despre acest articol