Anthropic Unreleased Model Helps Prove Major Quantum Computing Conjecture
Physical Superintelligence announced that an unreleased Anthropic model proved the long-standing Aaronson-De Raedt conjecture in three days. The research identifies conditions for exponential quantum speedups, highlighting AI's potential in mathematical discovery.
Summarized by AI from one outlet
Source
- IT之家Read original ↗
Latest
- Research
PSI commercializes AI-driven scientific discovery
PSI is attempting to commercialize AI-driven scientific discovery. The organization used an unreleased Anthropic model to answer a fundamental question in quantum computing that scientists have pursued for nearly two decades, highlighting the potential of AI in frontier research.
- Research
Anthropic Fable 5.2 completes 41% of freelance jobs
Anthropic reported that Fable 5.2 completed 41.3% of real freelance jobs on the Remote Labor Index, outperforming Opus 5.5 and GPT 6 Astra. This is a significant increase from 2.5% a year ago, though product design and animation remain weak areas.
THE DECODERMarkTechPost2 outlets
- Research
Google DeepMind Unveils AlphaProof Code for Crypto Verification
Google DeepMind introduced AlphaProof Code, an AI agent that wrote three million lines of Lean proofs to verify Signal's core encryption. This breakthrough demonstrates the potential of AI in formal verification of complex software, enhancing algorithmic trustworthiness.
Google DeepMindIT之家2 outlets
- Research
Qualcomm Survey: 70% of Users Expect AI Agents to Manage Wearables
Qualcomm released a survey of over 12,000 wearable users, revealing that AI agents are becoming a core selling point for the category. About 70% of respondents expect AI to coordinate device management and daily tasks via natural language, though privacy and security remain key barriers to adoption.
All news → · All rights belong to the original creators