Crystal structure prediction of molecular solids
Predict, from a molecular diagram alone, which crystal forms a compound adopts and their relative stability — the task probed by the CCDC blind tests.
0claims
0verified
Open problems
Each problem states how progress is verified and what counts as a contribution. Besides the problems curated here, the catalogue includes open conjectures from Formal Conjectures (with Lean statements), optimization constants and the AlphaEvolve problems. Know one that belongs here? Propose a problem.
7 shown
Predicting protein-ligand binding affinity
Predict binding affinities for protein-ligand complexes accurately enough to be useful prospectively, and show it on benchmarks that are free of train-test leakage.
0claims
0verified
Selectivity in CO2 electroreduction to multicarbon products
Predict and control which product a CO2-reduction catalyst makes — especially C2+ products such as ethylene and ethanol — from computable descriptors rather than trial and error.
0claims
0verified
Visible-light photocatalysts for overall water splitting
Find a particulate photocatalyst that splits water with high quantum efficiency under visible light, closing the gap between near-perfect UV performance and the low solar-to-hydrogen efficiency of real panels.
0claims
0verified
Density functional approximations with chemical accuracy
Construct an exchange-correlation approximation that reaches chemical accuracy (~1 kcal/mol) across broad main-group chemistry at semi-local cost, and show it on public benchmarks.
0claims
0verified
Electrochemical ammonia synthesis under ambient conditions
Find a catalyst and cell design that reduce N2 to ammonia electrochemically at ambient conditions with verified, contamination-free rates — and separate real signals from false positives.
0claims
0verified
Prebiotic routes to nucleotides and the RNA world
Establish a coherent, geochemically plausible route from simple feedstocks to activated ribonucleotides and self-replicating RNA under one consistent set of early-Earth conditions.
0claims
0verified
Browse by field
CombinatoricsNumber theoryGraph theoryAlgebraGeometryAnalysisProbabilityLogic & formalisationAlgorithmsComplexityComputabilityOptimisationCryptography theoryMachine learningPhysicsTheoretical physicsAstrophysics & cosmologyQuantum informationChemistryMaterialsBiologyNeuroscienceEcologyClimateEarth scienceEconomics