数学上の未解決問題
数学上の未解決問題(すうがくじょうのみかいけつもんだい、unsolved problems in mathematics)とは、未だ解決されていない数学上の問題のことで、未解決問題の定義を「未だ証明が得られていない命題」という立場を取るのであれば、そういった問題は数学界に果てしなく存在する。ここでは、リーマン予想のようにその証明結果が数学全域と関わりを持つような命題、P≠NP予想のようにその結論が現代科学、技術のあり方に甚大な影響を及ぼす可能性があるような命題、問いかけのシンプルさ故に数多くの数学者や数学愛好家たちが証明を試みてきたような有名な命題を列挙する。
以下7つの問題はミレニアム懸賞問題と呼ばれ、クレイ数学研究所によってそれぞれ
100万ドルの懸賞金が懸けられている。
ポアンカレ予想( グリゴリー・ペレルマン によって解決済み)
バーチ・スウィンナートン=ダイアー予想(BSD予想とも)
双子素数の予想=双子素数は無数に存在するか。
メルセンヌ素数は無数に存在するか。(メルセンヌ予想)
等価の問題として、偶数の完全数は無数に存在するか。
一般に、倍積完全数は無数に存在するか。
調和数は無数に存在するか。
友愛数は無数に存在するか。
婚約数は無数に存在するか。
社交数は無数に存在するか。
正則素数は無数に存在するか。
カレン素数は無数に存在するか。
プロス素数は無数に存在するか。
ソフィー・ジェルマン素数は無数に存在するか。
十進法において、回文素数は無数に存在するか。
十進法において、レピュニット素数は無数に存在するか。
ルース=アーロン・ペアは無数に存在するか。
フィボナッチ素数は無数に存在するか。
素数(合成数)であるフェルマー数は無数個(有限個)存在するか。
奇数の完全数は存在するか。
一般に、1以外の奇数の倍積完全数は存在するか。
準完全数は存在するか。
2k の形をした数(1, 2, 4, 8, 16, ...)以外に概完全数は存在するか。
偶数と奇数の組の友愛数は存在するか。
偶数同士、奇数同士の婚約数は存在するか。
3つ組の社交数は存在するか。
7つ組の社交数は存在するか。
10個組の社交数は存在するか。
1以外の奇数の調和数は存在するか。
奇数の不思議数は存在するか。
合成数のフォーチュン数は存在するか。
ウォルステンホルム素数は16843と2124679以外に存在するか(無数に存在するか)。
ウィルソン素数は5, 13, 563以外に存在するか(無数に存在するか)。
ブロカールの問題 - ブラウン数は(4,5), (5,11), (7,71)以外に存在するか。
十進数のリクレル数は存在するか。
6個以下の6乗数の和で表すことができる6乗数は存在するか。
ゴールマハティヒ予想 - 2つ以上の基数において3桁以上のレピュニットとして表される自然数は31と8191以外に存在するか。
ゴールドバッハの予想 6以上の任意の偶数は、2つの奇素数の和で表せるか。
5番目以上のフェルマー数はすべて合成数か。
フェルマー数は全て平方因子を持たないのか。
無理数かつ代数的数である数は正規数であるかどうか。
ボスト予想=代数的K理論と素数論を統一する予想。
魔方陣の数はいくつあるか。
最小のシェルピンスキー数は 78557、最小のリーゼル数は 509203、最小のブリエ数は 3316923598096294713661 かどうか。
シェルピンスキー数のうち、最小の素数は 271129 か。また、シェルピンスキー数の最初の2個は 78557、271129 か。
基底5における最小のシェルピンスキー数は 159986、最小のリーゼル数は 346802、最小のブリエ数は 120538009895207932 かどうか。
何個組までの社交数が存在するか。
3倍完全数は6個、4倍完全数は36個、5倍完全数は65個、6倍完全数は245個かどうか。
素数計数関数 π (x) が対数積分 li (x) より大きくなる最小の x は何か。
ソファ問題 - L字型の通路を通すことができる、ソファの面積の最大値は何か。
ヒルベルトの23の問題のうち、第8の問題、第12の問題、第16の問題、第23の問題の4題。
2つのブラックホールが融合する、という現象のモデル化
オイラーの定数 γ は無理数か。
P = L かどうか。
NL = L かどうか。
フィボナッチ数列の逆数和は超越数かどうか。
単位正方形の有理距離問題(Rational Distance Problem)
加法的整数論については、加法的整数論を参照されたい。
フェルマー=カタラン予想 (Fermat–Catalan conjecture)
ゴールドバッハ予想 (Goldbach's conjecture)
ウェアリングの問題 (The values of g(k) and G(k) in Waring's problem)
コラッツ予想 (Collatz conjecture)(3n + 1 conjecture)
Diophantine quintuples
Determine growth rate of rk(N) (see Szemerédi's theorem)
ヒルベルトの23の問題の16番目 (Hilbert's sixteenth problem)
ヒルベルトの23の問題の15番目 (Hilbert's fifteenth problem)
アダマール予想 (Hadamard conjecture)ジャコブソン予想 (Jacobson's conjecture)
Existence of (perfect cuboids) and associated (Cuboid conjectures)
(Zauner's conjecture): existence of (SIC-POVM)s in all dimensions
(Wild Problem): Classification of pairs of n×n matrices under simultaneous conjugation and problems containing it such as a lot of classification problems
ケーテ予想 (Köthe conjecture)
(Birch–Tate conjecture)
セール予想 (Serre's conjecture II)
(Bombieri–Lang conjecture)
(Farrell–Jones conjecture)
ボスト予想 (Bost conjecture)
(Uniformity conjecture)
(Kaplansky's conjecture)
(Kummer–Vandiver conjecture)
(Serre's multiplicity conjectures)
(Pierce–Birkhoff conjecture)
(Eilenberg–Ganea conjecture)
(Grothendieck–Katz p-curvature conjecture)
(Sendov's conjecture)
ゴールマハティヒ予想 (Goormaghtigh conjecture)
アンドレ・オールト予想(André–Oort conjecture)
バスの予想(Bass conjecture)
Deligne conjecture
Fröberg conjecture
Hartshorne conjectures
Manin conjecture
Resolution of singularities in characteristic p
代数的サイクルの標準予想(Standard conjectures on algebraic cycles)
Section conjecture
テイト予想 (代数幾何学)(Tate conjecture)
Virasoro conjecture
Whitehead conjecture
Zariski multiplicity conjecture
Are there infinitely many real quadratic number fields with unique factorization (類数問題)
Characterize all algebraic number fields that have some power basis.
Stark conjectures (including Brumer–Stark conjecture)
ヤコビアン予想(The Jacobian conjecture)
Schanuel's conjecture and four exponentials conjecture
レーマーの予想(Lehmer's conjecture)
Pompeiu problem
γ(オイラーの定数),π + e, π − e, πe, π, πe, π2, ππ、 eπ2, ln π, 2e, ee, カタランの定数, ヒンチンの定数, これらは代数的無理数(代数的数であり、無理数でもある数)か、超越数か?これらの無理数度の値は何か?
Khabibullin's conjecture on integral inequalities
ヒルベルトの23の問題の13番目(Hilbert's thirteenth problem)
Vitushkin's conjecture
魔方陣の数 (sequence A006052 in OEIS )
Number of magic tori (sequence A270876 in OEIS )
Finding a formula for the probability that two elements chosen at random generate the symmetric group
Union-closed sets conjecture: for any family of sets closed under sums there exists an element (of the underlying space) belonging to half or more of the sets
Lonely runner conjecture: if  runners with pairwise distinct speeds run round a track of unit length, will every runner be "lonely" (that is, be at least a distance  from each other runner) at some time?
Singmaster's conjecture: is there a finite upper bound on the multiplicities of the entries greater than 1 in Pascal's triangle?
1/3–2/3 conjecture : does every finite partially ordered set that is not totally ordered contain two elements x and y such that the probability that x appears before y in a random linear extension is between 1/3 and 2/3?
unicity conjecture for Markov numbers
balance puzzle [14]
Solving the happy ending problem for arbitrary
Finding matching upper and lower bounds for k-sets and halving lines
The Hadwiger conjecture on covering n-dimensional convex bodies with at most 2n smaller copies
The Kobon triangle problem on triangles in line arrangements
The McMullen problem on projectively transforming sets of points into convex position
Ulam's packing conjecture about the identity of the worst-packing convex solid
Filling area conjecture
Hopf conjecture
掛谷予想(Kakeya conjecture)
The einstein problem – does there exist a two-dimensional shape that forms the prototile for an aperiodic tiling, but not for any periodic tiling?[15]
Inscribed square problem – does every Jordan curve have an inscribed square?[16]
Moser's worm problem – 平面内のすべての単位長曲線をカバーできる形状の最小領域は何か?[17]
ソファ問題 – 単位幅のL字型の廊下を通過できる形状の最大領域はどんな形か?[18]
Shephard's problem (a.k.a. Dürer's conjecture) – does every convex polyhedron have a net?[19]
トムソン問題 The Thomson problem - what is the minimum energy configuration of N particles bound to the surface of a unit sphere that repel each other with a 1/r potential (or any potential in general)?
Falconer's conjecture
g-conjecture
Circle packing in an equilateral triangle
Circle packing in an isosceles right triangle
Furstenberg conjecture – Is every invariant and ergodic measure for the  action on the circle either Lebesgue or atomic?
Margulis conjecture — Measure classification for diagonalizable actions in higher-rank groups
MLC conjecture – Is the Mandelbrot set locally connected ?
Weinstein conjecture - Does a regular compact contact type level set of a Hamiltonian on a symplectic manifold carry at least one periodic orbit of the Hamiltonian flow?
Is every reversible cellular automaton in three or more dimensions locally reversible?[21]
Barnette's conjecture that every cubic bipartite three-connected planar graph has a Hamiltonian cycle
The Erdős–Gyárfás conjecture on cycles with power-of-two lengths in cubic graphs
The Erdős–Hajnal conjecture on finding large homogeneous sets in graphs with a forbidden induced subgraph
The Hadwiger conjecture relating coloring to clique minors
The Erdős–Faber–Lovász conjecture on coloring unions of cliques
Harborth's conjecture that every planar graph can be drawn with integer edge lengths
The total coloring conjecture
Hadwiger conjecture (graph theory)
The list coloring conjecture
The Ringel–Kotzig conjecture on graceful labeling of trees
How many unit distances can be determined by a set of n points? (see Counting unit distances)
The Hadwiger–Nelson problem on the chromatic number of unit distance graphs
Lovász conjecture
Deriving a closed-form expression for the percolation threshold values, especially  (square site)
Tutte's conjectures that every bridgeless graph has a nowhere-zero 5-flow and every bridgeless graph without the Petersen graph as a minor has a nowhere-zero 4-flow
Petersen coloring conjecture
The reconstruction conjecture and new digraph reconstruction conjecture concerning whether or not a graph is recognizable by the vertex deleted subgraphs.
The cycle double cover conjecture that every bridgeless graph has a family of cycles that includes each edge twice.
Does a Moore graph with girth 5 and degree 57 exist?
Conway's thrackle conjecture
Negami's conjecture on the characterization of graphs with planar covers
The Blankenship–Oporowski conjecture on the book thickness of subdivisions
Hedetniemi's conjecture
Is every finitely presented periodic group finite?
The inverse Galois problem: is every finite group the Galois group of a Galois extension of the rationals?
For which positive integers m, n is the free Burnside group B(m,n) finite? In particular, is B(2, 5) finite?
Is every group surjunctive?
Andrews–Curtis conjecture
Herzog–Schönheim conjecture
Does generalized moonshine exist?
Vaught's conjecture
The Cherlin–Zilber conjecture: A simple group whose first-order theory is stable in  is a simple algebraic group over an algebraically closed field.
The Main Gap conjecture, e.g. for uncountable first order theories, for AECs, and for -saturated models of a countable theory.[22]
Determine the structure of Keisler's order[23][24]
The stable field conjecture: every infinite field with a stable first-order theory is separably closed.
Is the theory of the field of Laurent series over  decidable? of the field of polynomials over ?
(BMTO) Is the Borel monadic theory of the real order decidable? (MTWO) Is the monadic theory of well-ordering consistently decidable?[25]
The Stable Forking Conjecture for simple theories[26]
For which number fields does Hilbert's tenth problem hold?
Assume K is the class of models of a countable first order theory omitting countably many types. If K has a model of cardinality  does it have a model of cardinality continuum?[27]
Shelah's eventual Categority conjecture: For every cardinal \lambda there exists a cardinal \mu(\lambda) such that If an AEC K with LS(K)<= \lambda is categorical in a cardinal above \mu(\lambda) then it is categorical in all cardinals above \mu(\lambda).[22][28]
Shelah's categoricity conjecture for L_{\omega_1,\omega}: If a sentence is categorical above the Hanf number then it is categorical in all cardinals above the Hanf number.[22]
Is there a logic L which satisfies both the Beth property and Δ-interpolation, is compact but does not satisfy the interpolation property?[29]
If the class of atomic models of a complete first order theory is categorical in the , is it categorical in every cardinal?[30][31]
Is every infinite, minimal field of characteristic zero algebraically closed? (minimal = no proper elementary substructure)
Kueker's conjecture[32]
Does there exist an o-minimal first order theory with a trans-exponential (rapid growth) function?
Lachlan's decision problem
Does a finitely presented homogeneous structure for a finite relational language have finitely many reducts?
Do the Henson graphs have the finite model property? (e.g. triangle-free graphs)
The universality problem for C-free graphs: For which finite sets C of graphs does the class of C-free countable graphs have a universal member under strong embeddings?[33]
The universality spectrum problem: Is there a first-order theory whose universality spectrum is minimum?[34]
大リーマン予想(Grand Riemann hypothesis)
一般化されたリーマン予想(Generalized Riemann hypothesis)
リーマン予想(Riemann hypothesis)
n conjecture
ヒルベルトの23の問題の9番目(Hilbert's ninth problem)
ヒルベルトの23の問題の11番目(Hilbert's eleventh problem)
ヒルベルトの23の問題の第12の問題 (Hilbert's twelfth problem)
Carmichael's totient function conjecture
Erdős–Straus conjecture
Pillai's conjecture
Lindelöf hypothesis
Montgomery's pair correlation conjecture
Hilbert–Pólya conjecture
Grimm's conjecture
Leopoldt's conjecture
Do any odd perfect numbers exist?
完全数は、無限にあるか。
準完全数は存在するか。
Do any odd weird numbers exist?
リクレル数は存在するか。
Is 10 a solitary number?
Catalan–Dickson conjecture on aliquot sequences
Do any Taxicab(5, 2, n) exist for n>1?