Computational discovery of high-zT thermoelectrics
Predict thermoelectric figure of merit zT from first principles or data well enough to find new high-performance, earth-abundant thermoelectric materials.
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.
8 shown
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
Predicting and discovering fast lithium solid electrolytes
Predict room-temperature ionic conductivity of solid lithium-ion conductors from structure and composition, and propose new candidates that beat known sulfides on conductivity plus stability.
0claims
0verified
Predicting glass-forming ability of metallic alloys
Predict from composition alone whether an alloy forms a bulk metallic glass and how thick it can be cast, and use this to find new glass formers.
0claims
0verified
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
Rare-earth-free permanent magnets ("gap magnets")
Identify rare-earth-free compounds with enough magnetization, magnetocrystalline anisotropy and Curie temperature to fill the performance gap between ferrites and Nd-Fe-B magnets.
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
Browse by field
CombinatoricsNumber theoryGraph theoryAlgebraGeometryAnalysisProbabilityLogic & formalisationAlgorithmsComplexityComputabilityOptimisationCryptography theoryMachine learningPhysicsTheoretical physicsAstrophysics & cosmologyQuantum informationChemistryMaterialsBiologyNeuroscienceEcologyClimateEarth scienceEconomics