Danh sách vấn đề mở trong toán học

Danh sách các vấn đề mở trong toán học

== Danh sách các bài toán mở trong toán học nói chung ==
Nhiều nha toán học và tổ chức đã xuất bản danh sách cái bài toán mở. Trong một số trường hợp, danh sách còn được đi kèm với giải thưởng cho ai giải nó đầu tiên.

===Các bài toán thiên niên kỷ===
Trong 7 bài toán thiên niên kỷ gốc được đặt bởi viện toán học Clay vào 2000, còn 6 bài vẫn chưa được giải vào thời điểm tháng 6, 2022:

- Giả thuyết Birch và Swinnerton-Dyer
- Giả thuyết Hodge
- Sự tồn tại và độ trơn của Navier–Stokes
- P so với NP
- Giả thuyết Riemann
- Sự tồn tại và khoảng cách khối lượng của Yang–Mills

Bài toán thứ 7, giả thuyết Poincaré, đã được giải; tuy nhiên, dạng tổng quát được gọi là giả thuyết Poincaré trơn 4-chiều hỏi rằng liệu một mặt cầu tôpô 4 chiều có hai hay nhiều hơn cấu trúc trơn không tương đương nhau được không?- đến nay vẫn chưa giải được.
== Trong hình học ==
===Hình học đại số===
- Giả thuyết Dixmier: mọi tự đồng cấu của đại số Weyl đều là tự đẳng cấu.
- Giả thuyết Tate trên mối liên hệ giữa chu trình đại số trên đa tạp đại số và biểu diễn Galois trên các nhóm étale đối đồng điều.
- Giả thuyết Manin trên phân phối các điểm hữu tỉ của chiều cao bị chặn của một số tập con trong các đa tạp Fano
- Giả thuyết Maulik–Nekrasov–Okounkov–Pandharipande trên tương đương giữa lý thuyết Gromov–Witten và lý thuyết Donaldson–Thomas
- Giả thuyết Jacobi: nếu một ánh xạ đa thức trên trường đặc số không có định thức Jacobi là hằng số khác không, thì nó phải có hàm ngược chính quy (chính quy tức là có thành phần đa thức trong đó).
- Giả thuyết Nakai: nếu một đa tạp đại số phức có vành các toán tử vi phân được sinh bởi các dẫn xuất bên trong của nó, thì nó phải trơn.

===Câu hỏi mở===
- Bài toán hình vuông nội tiếp

===Hình học vi phân===
- Nhiều giả thuyết Hopf liên hệ giữa độ cong với đặc số Euler của các đa tạp Riemann có số chiều lớn
- Giả thuyết Yau trên giá trị riêng đầu tiên rằng giá trị riêng cho toán tử Laplace–Beltrami trên siêu phẳng tối tiểu của formula_1 được nhúng là formula_2.

===Hình học rời rạc===
- Giải bài toán cái kết có hậu cho formula_2 tuỳ ý
- Giả thuyết Kusner: Chỉ có tối đa formula_4 điểm được đặt cách đều nhau trong các formula_5không gian?

=== Hình học Euclid ===
- Bài toán lạc trong rừng của Bellman – Tìm đường đi ngắn nhất chạm tới biên của một hình cho trước khi không biết điểm bắt đầu và hướng?
- Giả thuyết Falconer: Các tập hợp có số chiều Hausdorff lớn hơn formula_6 trong formula_7 phải có tập khoảng cách có độ đo Lebesgue khác không?
- Bài toán di chuyển sofa – Tìm diện tích lớn nhất của hình có thể di chuyển qua một hành lang hình chữ L có độ rộng bằng một?

== Trong đại số ==
- Giả thuyết Bombieri-Lang trên mật độ các điểm hữu tỉ trên mặt phẳng đại số và đa tạp đại số định nghĩa trên các trường số và các mở rộng trường của chúng.
- Giả thuyết Köthe: Nếu vành có ideal lũy linh duy nhất là {0} thì nó không có ideal 1 phía lũy linh khác ngoại trừ {0}.
- Giả thuyết Sendov: Nếu một đa thức phức bậc lớn hơn hoặc bằng 2 có tất cả các nghiệm của nó nằm trong hình tròn đơn vị đóng thì mỗi nghiệm của nó cách với một số điểm cực trị với khoảng cách bằng 1.
- Bài toán nhúng Connes trong lý thuyết đại số Von Neumann,
- Giả thuyết Hadamard rằng với mọi số nguyên "k", tồn tại ma trận Hadamard với bậc "4k".
- Giả thuyết cơ sở Rota: Xét các matroid hạng formula_2 cùng với formula_2 cơ sở không giao nhau formula_10, ta có thể tạo ma trận kích thước formula_11 trong đó các hàng là formula_10 và các cột là các cơ sở.

=== Lý thuyết nhóm ===
- Liệu có vô số nhóm Leinster?
- Tìm các điều kiện cho các số tự nhiên "m", "n" sao cho nhóm Burnside tự do hữu hạn? Cụ thể hơn, liệu có hữu hạn?

== Trong khoa học máy tính ==
- Bài toán P so với NP

== Trong lý thuyết số ==
===Giả thuyết, bài toán mở===
- Giả thuyết abc
- Giả thuyết Pillai: cho bất kỳ formula_13, phương trình formula_14 có hữu hạn số nghiệm khi formula_15 không cùng bằng formula_16.
- Bài toán Erdős–Moser: Liệu có nghiệm nguyên nào khác ngoại trừ formula_17 cho phương trình Erdős–Moser?
- Bài toán Brocard: Liệu có nghiệm nguyên nào khác ngoại trừ formula_18 cho phương trình formula_19?
- Số nguyên nào có thể viết thành tổng của ba số lập phương?
- Giả thuyết Goormaghtigh trên các nghiệm cho phương trình formula_20 với formula_21 và formula_22.
- Giả thuyết Grimm: Cho dãy hợp số liên tiếp, liệu có thể gán mỗi hợp số một ước nguyên tố phân biệt?
- Giả thuyết Hall: Cho bất kỳ formula_23, tồn tại một số hằng số formula_24 sao cho formula_25 hoặc formula_26 trong đó formula_27.
- Giả thuyết Scholz: Độ dài của xích cộng ngắn nhất cho ra formula_28 có cận trên bằng với formula_29 cộng độ dài của xích cộng ngắn nhất cho formula_2.
- Bài toán Hilbert thứ 11: Phân loại các dạng toàn phương trên trường số đại số
- Bài toán Hilbert thứ 12: Mở rộng định lý Kronecker–Weber trên mở rộng Abel của formula_31 cho bất kỳ trường số

===Câu hỏi mở===
- Liệu có vô số số hoàn hảo?
- Liệu có tồn tại số hoàn hảo lẻ?
- Liệu có vô số số Giuga?
- Liệu có vô số số bạn bè?
- Liệu có cặp số bạn bè nào nguyên tố cùng nhau không?
- Liệu có tồn tại số lạ lẻ?
- Liệu có số gần hoàn hảo thiếu nào không phải luỹ thừa của hai?
- Liệu có thể xây dựng ma trận kì ảo từ 9 số chính phương phân biệt?
- Có 65, 66 hay 67 số idoneal?

===Lý thuyết số cộng tính===
- Giả thuyết Beal rằng xét phương trình formula_32 với formula_33, ba số nguyên formula_13 phải có chung một số ước nguyên tố?
- Giả thuyết Goldbach rằng có phải mọi số chẵn lớn hơn hoặc bằng 4 đều có thể viết thành tổng của hai số nguyên tố?
- Giả thuyết Lemoine rằng mọi số nguyên lẻ lớn hơn 5 có thể viết thành tổng của một số nguyên tố lẻ và một số nửa nguyên tố chẵn?
- Tính các giá trị "g(k)" và "G(k)" của bài toán Waring?

===Lý thuyết số đại số===
- Giả thuyết Kummer-Vandiver rằng số nguyên tố "p" không phải là ước của số lớp của trường con thực cực đại của trường cyclotomic thứ "p".
- Giả thuyết 1/4 của Selberg rằng các giá trị riêng của toán tử Laplace trên dạng sóng Maass của các nhóm con tương đẳng phải ít nhất bằng 1/4.

===Số nguyên tố===
- Giả thuyết Elliott–Halberstam trên sự phân phối của các số nguyên tố trên cấp số cộng
- Giả thuyết Dubner: mọi số nguyên chẵn lớn hơn 4208 là tổng của hai số nguyên tố sinh đôi (hai số đó không nhất thiết phải là sinh đôi của nhau)
- Giả thuyết Brocard: Có ít nhất bốn số nguyên tố nằm giữa bình phương của hai số nguyên tố liên tiếp, ngoại trừ formula_35 và formula_36
- Giả thuyết Feit-Thompson: Cho mọi cặp số nguyên tố phân biệt formula_37 và formula_38, formula_39 không chia hết cho formula_40
- Các bài toán của Landau
- Liệu mọi số Euclid đều square-free?
- Liệu mọi số Fermat đều square-free?
- Liệu có vô số số nguyên tố Fibonacci?
- Liệu có vô số số nguyên tố Woodall?
- Liệu có vô số số nguyên tố sinh đôi?
- Liệu có vô số số nguyên tố họ hàng?
- Liệu có vô số số nguyên tố chính quy, và nếu đúng thì có phải mật độ tương đối của nó bằng với formula_41?
- Liệu có vô số số nguyên tố Sophie Germain?
- Liệu có vô số số nguyên tố Mersenne?
- Liệu có vô số số nguyên tố sexy?
- Liệu có vô số số nguyên tố Lucas?
- Liệu có vô số số nguyên tố Cullen?
- Liệu có vô số số nguyên tố Wolstenholme?
- Liệu có tồn tại số nguyên tố "p" có thể thỏa mãn đồng thời 2 ≡ 1 (mod "p") và 3 ≡ 1 (mod "p")
- Cho số nguyên dương "a" bất kỳ, liệu có vô số số nguyên tố "p" sao cho "a" ≡ 1 (mod "p")?
- Cho số nguyên "a" bất kỳ không phải số chính phương và không bằng với −1, liệu có vô số số nguyên tố có "a" là nghiệm nguyên thuỷ?
- Cho bất kỳ số nguyên "b" không phải luỹ thừa hoàn hảo và không nằm dưới dạng −4"k" với "k" nguyên, liệu có vô số số nguyên tố repunit cơ số "b"?
- Tìm số Skewes nhỏ nhất
- Có số Fortune nào là hợp số không?
- Dãy Euclid-Mullin có chứa mọi số nguyên tố không?
- Có đúng rằng số Fermat 2 + 1 là hợp số với mọi "n" > 4?
- Chứng minh giả thuyết ngược lại cho định lý Wolstenholme cho mọi số tự nhiên?

==Trong lý thuyết trò chơi==
- Sudoku
- Có bao nhiêu bài đố Sudoku chỉ có đúng 1 lời giải?
- Có bao nhiêu bài đố Sudoku chỉ có đúng 1 lời giải và đồng thời tối tiểu?
- Cho độ rộng của bàn tic-tac-toe, tìm số chiều nhỏ nhất sao cho bên X có chiến thuật chắc chắn thắng?

==Trong lý thuyết tổ hợp==
- Bài toán 3 điểm không cùng đường: Trên 1 hình vuông kẻ ô có kích thước "n" x "n", có bao nhiêu điểm ta có thể đặt sao cho bất kỳ 3 điểm không nằm trên cùng 1 đường?
- Tính các giá trị của các số Ramsey, cụ thể hơn là số formula_42?

==Trong lý thuyết đồ thị==
===Đồ thị con===
- Giả thuyết độ bền của Chvátal, tồn tại giá trị sao cho mọi đồ thị có độ bền bằng thì đồng thời là Hamilton
- Giả thuyết chu trình phủ kép: mọi đồ thị không cầu đều có họ các chu trình chứa mỗi cạnh đúng hai lần

===Tô màu và dán nhãn đồ thị===
- Giả thuyết Cereceda trên đường kính của không gian màu của các đồ thị suy biến
- Giả thuyết Erdős–Faber–Lovász cho việc tô màu hợp của các clique
- Bài toán Hadwiger–Nelson trên giá trị sắc số của các đồ thị có khoảng cách bằng một

===Vẽ đồ thị===
- Giả thuyết Harborth: mọi đồ thị phẳng đều vẽ được với các cạnh có độ dài nguyên

===Đường đi và chu trình trong đồ thị===
- Giả thuyết Lovász trên các đường đi Hamilton trong đồ thị đối xứng

=== Một số bài toán khác ===
- Bài toán Babai: nhóm nào là nhóm bất biến Babai?
- Bài toán đường kính và bậc: Cho hai số nguyên dương formula_43, tìm đồ thị lớn nhất có đường kính formula_44 sao cho tất cả các đỉnh đều có bậc tối đa bằng formula_45?
- Bài toán đồ thị 99 đỉnh của Conway: Liệu có tồn tại đồ thị chính quy mạnh với tham số (99,14,1,2)?
- Bài toán Zarankiewicz: Có thể có bao nhiêu cạnh trên đồ thị hai phía trên số đỉnh cho trước sao cho đồ thị đó không có đồ thị con hai phía đầy đủ với kích thước cho trước?

== Trong giải tích ==
- Giả thuyết Riemann
- Phân tích các hằng số sau: formula_46 (hằng số Euler–Mascheroni),  + "e",  − "e", "e", /"e", , , , "e", ln , 2, "e", hằng số Catalan, và hằng số Khinchin; kiểm tra trong mỗi hằng trên liệu nó có phải số hữu tỉ, số đại số hay là số siêu việt? Tính độ đo vô tỷ của mỗi số này?
- Giả thuyết Lehmer cho độ đo Mahler của các đa thức không cyclotomic.
- Bài toán không gian con bất biến: Liệu có phải mọi toán tử bị chặn trên không gian phức Banach gửi một số không gian con đóng không tầm thường tới chính nó?
- Xét tính hội tụ của chuỗi Flint Hills?

== Trong hệ thống động lực==
- Phỏng đoán Collatz (hay bài toán "3n+1")
- Giả thuyết MLC: tập Mandelbrot có liên thông địa phương không?
- Liệu mọi dãy tung hứng có chạm về 1 không?

== Trong lý thuyết mô hình và ngôn ngữ hình thức ==
- Giả thuyết Cherlin-Zilber: Nhóm đơn có lý thuyết bậc nhất của nó ổn định trong formula_47 là nhóm đơn đại số trên trường đóng đại số.
- Giả thuyết trường ổn định: Mọi trường vô hạn có lý thuyết bậc nhất ổn định thì khả ly và đóng
- Giả thuyết Vaught: Số lượng các mô hình đếm được của lý thuyết đầy đủ bậc nhất trong ngôn ngữ đếm được là hữu hạn, formula_47 hoặc formula_49
- Có phải mọi trường vô hạn đặc số không và tối thiểu đều đóng đại số? (Ở đây, "tối thiểu" nghĩa là mọi tập con định nghĩa được của cấu trúc này là hữu hạn hoặc đối hữu hạn.)
- Lý thuyết trường các chuỗi Laurent trên formula_50 có quyết định được không? Nếu xét trên các đa thức trên formula_51 thì sao?
- Liệu có tồn tại logic L thoả mãn tính chất Beth và Δ-nội suy, đồng thời compact nhưng không thoả mãn tính chất nội suy?
- Xác định cấu trúc của cấp Keisler.

== Trong lý thuyết tập hợp ==
- Liệu có tồn tại đại số Jónsson trên formula_52
- Liệu tiên đề tô màu mở có nhất quán với formula_53?
- Không sử dụng tiên đề chọn, liệu có tồn tại phép nhúng sơ cấp không tầm thường formula_54?

== Trong lý thuyết tô pô ==
- Giả thuyết Novikov trên bất biến đồng luân của một số đa thức trong các lớp Pontryagin của đa tạp, bắt nguồn từ nhóm cơ bản.
- Giả thuyết Hilbert-Smith: Nếu nhóm tô pô compact địa phương có tác động trung thành và liên tục trên đa tạp tô pô thì nhóm đó phải là nhóm Lie

== Các bài toán đã giải từ 1995 ==
===Giải tích===
- Giả thuyết độ đo Ahlfors (Ian Agol, 2004)

===Lý thuyết số===
====Thế kỷ 21====
- Giả thuyết Catalan (Preda Mihăilescu, 2002)
====Thế kỷ 20====
- Định lý Lafforgue (Laurent Lafforgue, 1998)
- Định lý lớn Fermat (Andrew Wiles và Richard Taylor, 1995)

===Lý thuyết đồ thị===
- Giả thuyết Kahn–Kalai (Jinyoung Park và Phạm Tuấn Huy, 2022)
- Blankenship–Oporowski conjecture on the book thickness of subdivisions (Vida Dujmović, David Eppstein, Robert Hickingbotham, Pat Morin, and David Wood, 2021)
- Giả thuyết Kelmans–Seymour (Dawei He, Yan Wang, và Xingxing Yu, 2020)
- Giả thuyết Goldberg–Seymour (Guantao Chen, Guangming Jing, và Wenan Zang, 2019)
- Bài toán Babai (Alireza Abdollahi, Maysam Zallaghi, 2015)
- Giả thuyết Alspach (Darryn Bryant, Daniel Horsley, William Pettersson, 2014)
- Giả thuyết Alon–Saks–Seymour (Hao Huang, Benny Sudakov, 2012)
- Giả thuyết Read–Hoggar (June Huh, 2009)
- Giả thuyết Scheinerman (Jeremie Chalopin và Daniel Gonçalves, 2009)
- Giả thuyết Erdős–Menger (Ron Aharoni, Eli Berger 2007)

===Lý thuyết nhóm===
- Giả thuyết Hanna Neumann (Joel Friedman, 2011, Igor Mineyev, 2011)

===Hình học===
====Thế kỷ 21====
- Giả thuyết Weibel (Moritz Kerz, Florian Strunk, và Georg Tamme, 2018)
- Giả thuyết Yau (Antoine Song, 2018)
- Xếp gạch hình ngũ giác (Michaël Rao, 2017)
- Giả thuyết Willmore (Fernando Codá Marques và André Neves, 2012)
- Bài toán khoảng cách phân biệt của Erdős (Larry Guth, Nets Hawk Katz, 2011)
- Giả thuyết Nagata (Ivan Shestakov, Ualbai Umirbaev, 2003)
====Thế kỷ 20====
- Giả thuyết Kepler (Samuel Ferguson, Thomas Callister Hales, 1998)
===Lý thuyết khoa học máy tính===
- Giả thuyết độ nhậy cho hàm Boole (Hao Huang, 2019)

=== Tô pô ===
- Giả thuyết Hsiang–Lawson (Simon Brendle, 2012)
- Giả thuyết Ehrenpreis (Jeremy Kahn, Vladimir Markovic, 2011)
- Giả thuyết Atiyah (Austin, 2009)
- Phỏng đoán đồng đều trong (Jacob Lurie, 2008)
- Giả thuyết dạng không gian mặt cầu (Grigori Perelman, 2006)
- Giả thuyết Poincaré (Grigori Perelman, 2002)