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.
United Kingdom, International Ecology Research, Queen Mary University of London, Nature Machine Intelligence, Ecological Foundation Models, Biodiversity, Conservation, Multimodal Data, Field Observations, Indigenous Data Governance, Uncertainty, Environmental Costs and Human Review
Ecologists want foundation models for nature. Keep the field observation attached
An international team has proposed a foundation model that could connect genes, images, sounds, satellite data, species records and ecological theory. The model does not exist yet. If it gets built, every predicted relationship should travel with the field evidence, missing places, uncertainty and people who can say no.
United States, Project ProtoStar, Open Science, Public Research, Scientific Data, Metadata, Provenance, Licensing, Versioning, Climate Risk, Research Infrastructure and Responsible AI
Project ProtoStar wants science to be AI-ready. Keep the provenance attached
Universities, open-science groups and Hugging Face want publicly funded datasets, models and code to be easier for people and AI systems to reuse. The useful unit is not a naked file. It is an artifact with its methods, license, lineage and limits still connected.
Japan, ARiSE, Japan Science and Technology Agency, AI for Science, Materials Science, Life Science, Autonomous Laboratories, Digital Twins, Research Governance, Milestones, Public Funding and Scientific Evidence
Japan listed its AI-for-science bets. Publish the milestones behind the titles
JST selected 31 ARiSE projects across materials, biology, automated labs and world models. The titles are ambitious, the summaries mostly say TBA, and the evidence register now matters more than the slogan.
Switzerland, France, Particle Physics, Foundation Models, AI for Science, Open Science and Scientific Validation
CERN is training one model on billions of collisions. The lab notebook should be public
CERN and Mistral want one foundation model to help reconstruct collisions, identify particles, flag surprises and test detector designs. The ambition is large. So is the need for a public record of the simulations, versions, baselines, uncertainty and failed ideas behind it.
Japan, AI for Science, Research Strategy, Physics, Shared Infrastructure, Scientific Collaboration and Public Evidence
Japan's AI-for-science workshop is trying to pick the next five years
Researchers in Nagoya are starting with scientific questions, not a model shopping list. The useful output will be a public agenda that turns five days of discussion into owners, infrastructure needs and testable work.
Japan, International Science Policy, AI for Science, Research Infrastructure, Compute Access, Scientific Integrity and Public Accountability
Seventeen countries endorsed AI for science without publishing the shared ledger
The Kyoto Vision promises wider access to models, data, computing and experimental facilities. What it does not yet provide is the operating record that shows who receives those resources, under what rules and what the public gets back.
United States, AI for Science, Genome Mining and Human Validation
Anthropic's 950 science agents found a pattern, then humans had to test it
Claude searched more than 200,000 reverse transcriptases and surfaced a strange repeating DNA array. That is a serious result. The system's function is still unknown, the report is a preprint and every physical experiment was done by people.
AI for Science, Fusion Research and Supercomputing
Britain put AI on a fusion supercomputer bridge
British and American fusion laboratories want models and experiments to move between two purpose-built computing platforms. The bridge is a signed plan, not a working scientific machine yet.
AI for Science, Research Infrastructure and Transparency
Hong Kong launched an AI science workstation without a public spec sheet
PolyU, China Mobile, and GTI say TG Science will support cross-border research. The announcement names the ambition but leaves researchers without the details needed to inspect the machine.