Annanim News
Now
Quantum & precision measurementChina's Jiuzhang 4.0 photonic quantum computer wins a World Internet Conference awardDefense techIWI's counter-drone system enters service in Thailand, with four more Asian countries in procurementCybersecurityESET: China-aligned hackers hijacked Sogou keyboard requests to install a backdoorCybersecuritySonicWall: two GMS flaws will not be fixed because the product is no longer supportedRegulation & businessUS midterms: measures to restrict data centers win almost everywhereAutonomous vehiclesKorea: consumer group accuses Tesla of selling FSD to owners who can't use itCybersecurityChrome 157 fixes 213 vulnerabilities, seven of them criticalCybersecurityIsrael's Sentra raises $150 million for data securityChips & hardwareReport: Nvidia will supply only about 1% of China's RTX Pro 5500 ordersCybersecurityCritical Rails flaw: a crafted upload lets attackers write files to the serverChips & hardwareAMD expects quarterly revenue above Intel's for the first time in its historyCybersecurityTwo Xen flaws let a malicious virtual machine read and write other machines' memoryQuantum & precision measurementBreaking one symmetry is enough for full quantum control of an atom chainChips & hardwareWingtech rejects Nexperia restructuring plan, alleging discriminationDefense techCell antennas as radar: NATO, China and Ericsson test drone detection on 5G networksRoboticsMeta built a humanoid robot with China's Fourier in about three months

Originally published:

Anthropic is developing FlashProve, a system that proves which model produced an answer

Anthropic researchers published work on FlashProve, an open-source system for "provable inference": a cryptographic proof that a given output was produced by a specific model. The specification and code are on GitHub; there are no plans to deploy it for now.

Anthropic is developing FlashProve, a system that proves which model produced an answer
Image: TechCrunch (opens the source site in a new tab)

Anthropic on Tuesday published a research post on FlashProve, an open-source system for verifying which model produced a given output. According to TechCrunch, it is built to provide "provable inference": a cryptographic proof, essentially a mathematical guarantee, that an output came from a specific model. Like a digital signature on an email, it is meant to hold up even when the impostor is the lab that built and runs the model.

The researchers say the system could stop an AI company from quietly swapping in a cheaper model to cut costs, or a more expensive one to inflate results. It could also verify third-party claims, for example that a software library was scanned for vulnerabilities by a frontier cybersecurity model.

To work, AI labs must publish a "fingerprint" for each model they release. The fingerprint does not reveal the model's weights, so makers of closed models could use it too. The researchers released a technical specification and working code on GitHub under an open-source license, but according to TechCrunch the research is ongoing and there are no plans to deploy the system at Anthropic or any other lab. "This research post is meant to share intermediate progress," the researchers wrote.

Sources

Topics

Install the app

In Safari: tap the Share button, then “Add to Home Screen”.