#Beweisassistent Lean
Artikel
Modelle
PSI sagt, sein Forschungssystem mit einem nicht öffentlichen Anthropic-Modell habe die Aaronson-Ambainis-Vermutung bewiesen; das in Lean geprüfte Papier ist noch nicht begutachtet
PSI sagt, ein nicht öffentliches Anthropic-Modell habe die Aaronson-Ambainis-Vermutung bewiesen, in Lean geprüft. PSIs Behauptung; ohne Begutachtung.