OP-10368Mathematics · generalStatus unassessed
2D Euler equation - From graph-like interface to splash
Computational mathematics in computer assisted proofs · AIMPL workshop record
AIM Problem Lists· Workshop record · status unassessed
The index
Explore the frontier
15 entries matching the current filters. Sorted by recently added.
OP-10367Mathematics · generalStatus unassessed
How many regular tetraheadra in can touch at a single point?
Computational mathematics in computer assisted proofs · AIMPL workshop record
AIM Problem Lists· Workshop record · status unassessed
OP-10366Mathematics · generalStatus unassessed
Find a dimension where the densest sphere packing is not a lattice!
Computational mathematics in computer assisted proofs · AIMPL workshop record
AIM Problem Lists· Workshop record · status unassessed
OP-10365Mathematics · generalStatus unassessed
Create computer-assisted eigenvalue solver for matrices!
Computational mathematics in computer assisted proofs · AIMPL workshop record
AIM Problem Lists· Workshop record · status unassessed
OP-10364Mathematics · generalStatus unassessed
Smales' 9th problem.
Computational mathematics in computer assisted proofs · AIMPL workshop record
AIM Problem Lists· Workshop record · status unassessed
OP-10363Mathematics · generalStatus unassessed
Exhibit a model for phase transitions!
Computational mathematics in computer assisted proofs · AIMPL workshop record
AIM Problem Lists· Workshop record · status unassessed
OP-10362Mathematics · generalStatus unassessed
Validating numerics for analysis
Computational mathematics in computer assisted proofs · AIMPL workshop record
AIM Problem Lists· Workshop record · status unassessed
OP-10361Mathematics · generalStatus unassessed
How to use AI for computer-assisted proofs?
Computational mathematics in computer assisted proofs · AIMPL workshop record
AIM Problem Lists· Workshop record · status unassessed
OP-10360Mathematics · generalStatus unassessed
Define Space complexity!
Computational mathematics in computer assisted proofs · AIMPL workshop record
AIM Problem Lists· Workshop record · status unassessed
OP-10359Mathematics · generalStatus unassessed
Make computer-assisted proofs and software more accessible to math community!
Computational mathematics in computer assisted proofs · AIMPL workshop record
AIM Problem Lists· Workshop record · status unassessed
OP-10358Mathematics · generalStatus unassessed
General questions · Question 1.6
Computational mathematics in computer assisted proofs · AIMPL workshop record
AIM Problem Lists· Workshop record · status unassessed
OP-10357Mathematics · generalStatus unassessed
Computer-assisted proof of Mochizuk's work on the ABC conjecture!
Computational mathematics in computer assisted proofs · AIMPL workshop record
AIM Problem Lists· Workshop record · status unassessed
OP-10356Mathematics · generalStatus unassessed
How should limitations in technology for conjectures/discoveries be adressed?
Computational mathematics in computer assisted proofs · AIMPL workshop record
AIM Problem Lists· Workshop record · status unassessed
OP-10355Mathematics · generalStatus unassessed
What is the right metric to determine computability?
Computational mathematics in computer assisted proofs · AIMPL workshop record
AIM Problem Lists· Workshop record · status unassessed
OP-10354Mathematics · generalStatus unassessed
Are Computer-assisted proofs real proofs?
Computational mathematics in computer assisted proofs · AIMPL workshop record
AIM Problem Lists· Workshop record · status unassessed
Frequent tags
theoremdb 3909historical workshop 3469aim 3469icm 2898source curated 2675source candidate 1231number theory 1007status unassessed 622specialist collection 522pde dyn 399geometry 336analysis 269algebraic geometry 257algebra 224verifiable 2026 223probability 221graph theory 200topology 199lie rep 180combinatorics 154combinatorics discrete mathematics 141mathematical physics mechanics 137numerical analysis computer science 131research 2026 126