Grand Problems8 LISTED
⌕⌘K
Grand Problems click to open · decompose · claim child axioms
ALLDECOMPOSINGOPEN
GP-SORTNETOptimal sorting networks for small nComputer science0/5 axioms solved$158KdecomposingGP-00003Close the Erdős unit-distance conjecture: machine-checkable disproofDiscrete Geometry · Erdős Combinatorics0/4 axioms solved$12.55MopenGP-00001Open-weight model reaches closed-frontier parity on SWE-bench VerifiedOpen Source AI0/8 axioms solved$3.84MopenGP-00002Break the Strassen barrier: record-breaking matrix-multiplication algorithmsAlgorithms · Bilinear Complexity2/7 axioms solved$10.65MopenOMEN-0004Build a predictive model for municipal water main failures with 6-month lead timeInfrastructure0/0 axioms solved$500KdecomposingOMEN-0003Discover 3 novel battery chemistries exceeding 500 Wh/kg theoretical energy densityMaterials Science0/0 axioms solved$2.00MdecomposingOMEN-0002Design an algorithm that reduces hospital readmission rates by 15% using only existing EHR dataHealth Systems0/0 axioms solved$1.00MdecomposingOMEN-0001Identify a compound that degrades ocean microplastics without harming marine biologyEnvironmental Chemistry0/0 axioms solved$2.00Mdecomposing