THE COLLECTION
EVERY SIGNAL, SORTED.
Search the whole shelf by topic, tool, term, or plain old curiosity.
United States, Global Mathematics Research, Physical Superintelligence, Anthropic, Stanford University, Aaronson-Ambainis Conjecture, Quantum Computing, Computational Complexity, Formal Verification, Lean, AI for Science, Open Source and Human Review
AI helped close a quantum conjecture. Keep the proof receipt
PSI says its research system produced a complete proof of the Aaronson-Ambainis conjecture, then formalized it in Lean. The result is consequential. The more reusable invention may be the evidence package that lets other mathematicians find exactly what the machine, proof assistant and humans each checked.
Singapore, Quantum Computing, Artificial Intelligence and Application Measurement
Singapore put quantum and AI in one room, but applications still need a scoreboard
NUS convened about 300 people from 22 countries and expanded a six-member industry and government consortium. The collaboration is real. The public benchmark showing when the quantum part earns its seat is not here yet.
Scientific Agents and Quantum Computing
A coding agent can calibrate a qubit until the signal gets weird
OpenAI and MIT connected a general coding agent to a live superconducting-qubit lab. It handled routine measurements, then reminded everyone why ambiguous physics still needs a scientist.