Wednesday, 2026-09-09
05:23 What are the actual risks of putting work-in-progress mathematics into AI assistants? – mathoverflow.net
05:23 What should be the editorial policy of a journal regarding AI usage given the rapid changes undergoing mathematics – mathoverflow.net
Tuesday, 2026-09-08
21:23 AI and training PhD students – mathoverflow.net
21:23 Relevance of the work of Alpöge and Buckmaster to Navier-Stokes? – mathoverflow.net
05:23 Projectivity condition in Arapura's motivic Leray Spectral Sequence – mathoverflow.net
05:23 Avoiding conflicts of interest in AI as a pure mathematician – mathoverflow.net
Monday, 2026-09-07
21:23 certifying a proof without publishing it – mathoverflow.net
13:23 Effect of AI on publication rates – mathoverflow.net
05:23 Length of "shortest max run" / length of "longest max run" – mathoverflow.net
05:23 Examples for the use of AI and LLMs to autonomously find important errors in published results – mathoverflow.net
Sunday, 2026-09-06
21:23 Is this monoid of classes of normal functions group-embeddable? – mathoverflow.net
05:23 Ratio of number of standard Young tableaux of two certain shapes – mathoverflow.net
05:23 Is finite index subgroup of a profinite group closed? – mathoverflow.net
Saturday, 2026-09-05
21:23 Interesting anti-classical purely logical (e.g., higher-order propositional) axioms – mathoverflow.net
13:23 Nearest missing points of the Binary Dragon – mathoverflow.net
13:23 Posting AI proofs – mathoverflow.net
05:23 Is this tangent half-angle integral formulation of Li’s criterion equivalent to the Riemann Hypothesis? – mathoverflow.net
Wednesday, 2026-09-02
05:23 Primitive root of unity without analysis – mathoverflow.net
05:23 Can a submanifold with boundary always be extended? – mathoverflow.net
Tuesday, 2026-09-01
05:23 Finding all permutations "without rising or falling 2-sequences" – mathoverflow.net
Monday, 2026-08-31
05:23 Universal closed subscheme of codimension n – mathoverflow.net
Sunday, 2026-08-30
05:23 For how long does a minimal surface / solution of elliptic PDE remember its boundary regularity? – mathoverflow.net
Saturday, 2026-08-29
21:23 Convolution theorem for higher-dimensional Fourier transforms – mathoverflow.net
Friday, 2026-08-28
13:23 Do five lattice points on a circle force 106 inside? – mathoverflow.net
Thursday, 2026-08-27
13:23 reduction mod p of ordinary representations – mathoverflow.net
13:23 Do only Mersenne primes have “good” permutations? – mathoverflow.net
Wednesday, 2026-08-26
21:23 Existence of a fixed-point free injection and weaker forms of (AC) – mathoverflow.net
Tuesday, 2026-08-25
05:23 Identity in homotopy type theory – mathoverflow.net
Sunday, 2026-08-23
21:23 Are vertex-transitive graphs of polynomial growth quasi-isometric to Cayley graphs? – mathoverflow.net
21:23 Estimate for the product of consecutive primes – mathoverflow.net
13:23 Is upper density preserved along many arithmetic progressions? – mathoverflow.net
13:23 Combining newforms to produce other newforms – mathoverflow.net
Friday, 2026-08-21
21:23 Product of two bijections is also a bijection Q to Q – mathoverflow.net
Thursday, 2026-08-20
13:23 Examples of problems that current AI models fail to solve but people can – mathoverflow.net
13:23 Is there a formalization of probability theory so that the product definition of independence is a conclusion, not the definition? – mathoverflow.net
05:23 Examples of problems that current AI models fail to solve but humans can – mathoverflow.net
05:23 Formalization leading to enlightenment – mathoverflow.net
Wednesday, 2026-08-19
05:23 Biretracts that are not isomorphic – mathoverflow.net
Tuesday, 2026-08-18
05:23 Two irrationals with the same approximation sequence – mathoverflow.net
05:23 About AI and how we publish – mathoverflow.net
Monday, 2026-08-17
21:23 Do all topos have "enough ordinals" to get fixpoint by iterations – mathoverflow.net
Sunday, 2026-08-16
13:23 Finite subgroups of hyperbolic Kac-Moody groups – mathoverflow.net
05:23 A generalisation of graph colouring problems – mathoverflow.net
05:23 Generalized solutions of PDEs as trivializations: is there an analogue of gerbes with connection? – mathoverflow.net
Saturday, 2026-08-15
13:23 Equal unions of residue classes – mathoverflow.net
05:23 The smallest untweetable number – mathoverflow.net
Thursday, 2026-08-13
13:23 Typesetting Mumford's Red Book – mathoverflow.net
05:23 What missing examples, other than counterexamples, would be most enlightening? – mathoverflow.net
Wednesday, 2026-08-12
21:23 What does one do when one accidentally stumbles upon an LLM-generated counterexample to a conjecture far outside one’s area of expertise – mathoverflow.net
Monday, 2026-08-10
21:23 True in the infinite, open in the finite case – mathoverflow.net
Sunday, 2026-08-09
13:23 Does type theory have an equivalent to large cardinal axioms? – mathoverflow.net
05:23 Can hereditarily non-well-orderable sets exist? – mathoverflow.net
Saturday, 2026-08-08
05:23 Which topos (or topoi) most accurately reflect Brouwer's ideas on intuitionism? – mathoverflow.net
05:23 Question about three consecutive prime numbers – mathoverflow.net
Friday, 2026-08-07
21:23 Can we tile the plane with mutually similar and mutually non-congruent copies of some polygon that is not itself a tile? – mathoverflow.net
05:23 Dimensions of the stable Auslander algebras of Dynkin quivers – mathoverflow.net
Thursday, 2026-08-06
05:23 Generator of bounded derived category of a fiber product – mathoverflow.net
Tuesday, 2026-08-04
21:23 How can we effectively prompt AI to do mathematics? – mathoverflow.net
05:23 Finite graphs such that adding an edge increases the Hadwiger number – mathoverflow.net
05:23 AI for the working (and also the retired) mathematician – mathoverflow.net
Monday, 2026-08-03
21:23 Pitts' article on "Regularity and singularity of one dimensional stationary integral varifolds" – mathoverflow.net
21:23 What are the key new ideas in the proof of nonsoficity of groups in OpenAI’s construction of nonsofic groups – mathoverflow.net
05:23 What is the intended interpretation of type theory? – mathoverflow.net
Sunday, 2026-08-02
21:23 Basic question on spectra – mathoverflow.net
05:23 A serious challenge to equity in mathematical research – mathoverflow.net
Friday, 2026-07-31
21:23 Infinitely many primes where reductions acquire prescribed complex multiplication – mathoverflow.net
05:23 Mathematical and scientific publishing process reform – mathoverflow.net
Thursday, 2026-07-30
21:23 Are we stuck with Lean? – mathoverflow.net
05:23 Unwrapping the proof of the fact that an illfounded computable tree can have no hyperarithmetic branches – mathoverflow.net
05:23 Variant of Landau's problem n°4 – mathoverflow.net
Tuesday, 2026-07-28
05:23 Was a computational hardness argument ever used to solve a mathematical conjecture? – mathoverflow.net
Monday, 2026-07-27
21:23 Can a finite colimit of finite groups be an infinite simple group? – mathoverflow.net
Saturday, 2026-07-25
21:23 Grassmannians in scattering – mathoverflow.net
21:23 From ∞-categories to 1-categories – mathoverflow.net
Friday, 2026-07-24
21:23 Where can we watch the full ICM 2026 livestream? – mathoverflow.net
13:23 Should we trust AI-generated formal proofs in Lean 4? – mathoverflow.net
Thursday, 2026-07-23
21:23 Cobordism in an open set – mathoverflow.net
21:23 PhD student supervision and AI use statements – mathoverflow.net
13:23 On borel measurable and continuous functions – mathoverflow.net
Wednesday, 2026-07-22
21:23 Geometric degrees of counterexamples to the Jacobian conjecture in dimension three – mathoverflow.net
21:23 Tetrad formalism of general relativity in the language of principal bundles – mathoverflow.net
Tuesday, 2026-07-21
21:23 Reference for Moore (measured) loop and path spaces – mathoverflow.net
13:23 The simplest case of Jacobian conjecture – mathoverflow.net
Monday, 2026-07-20
21:23 Connection between induction and transfer – mathoverflow.net
Sunday, 2026-07-19
05:23 Primes as sum of two biquadrates – mathoverflow.net
Saturday, 2026-07-18
05:23 Weil centenary colloquium at IHÉS – mathoverflow.net
Friday, 2026-07-17
05:23 On the proof of Weil conjectures in the curve case – mathoverflow.net
Thursday, 2026-07-16
13:23 Settings where we can construct Morse homology – mathoverflow.net
Wednesday, 2026-07-15
13:23 For which words does isomorphism of 1-relator groups imply automorphic equivalence? – mathoverflow.net
05:23 Weighted zeta values of fixed weight – mathoverflow.net
Tuesday, 2026-07-14
13:23 Constructive proof of uncomputability of the Halting Problem? – mathoverflow.net
05:23 Can an integer reciprocal series remain rational after a unit shift in the denominator? – mathoverflow.net
Monday, 2026-07-13
05:23 Algebraic space with equivalence relation being closed immersion – mathoverflow.net
Saturday, 2026-07-11
13:23 Infinite chains vs arbitrarily long finite chains of subgroups – mathoverflow.net
Friday, 2026-07-10
05:23 Infinite chains of subgroups – mathoverflow.net
05:23 Examples where numerical analysis led to advances in pure mathematics or theoretical physics – mathoverflow.net
Thursday, 2026-07-09
21:23 Shortest proof about intersection property – mathoverflow.net
05:23 Are there symmetric runs of consecutive primes of arbitrary length? – mathoverflow.net
Tuesday, 2026-07-07
05:23 Can a rng be canonically embedded in a ring? – mathoverflow.net
Monday, 2026-07-06
21:23 Why does this "Snowball" number system have Poisson statistics? – mathoverflow.net
13:23 Families of compact sets of some topological space – mathoverflow.net
05:23 Brönnimann's Question 3: a group with solvable word problem and irrational geodesic growth – mathoverflow.net
Sunday, 2026-07-05
21:23 User friendly exposition of the theory of mixed Hodge modules – mathoverflow.net
Saturday, 2026-07-04
21:23 Due diligence in the age of AI: is this Laurent polynomial parity lemma in the literature? – mathoverflow.net
Friday, 2026-07-03
21:23 Cauchy completion and presentability – mathoverflow.net
05:23 Existence of a nontrivial bi-Lipschitz involution of the unit ball fixing the boundary – mathoverflow.net
Thursday, 2026-07-02
21:23 Does the commutant of a quasinilpotent operator on a Banach space necessarily contain an operator with infinite spectrum? – mathoverflow.net
Wednesday, 2026-07-01
05:23 Smallest known disciminants for totally real number field of arbitrary degree – mathoverflow.net
Tuesday, 2026-06-30
21:23 How should one think about 2-categories? – mathoverflow.net
21:23 What are applications of hard Lefschetz theorem in algebraic geometry? – mathoverflow.net
Monday, 2026-06-29
13:23 Countably many smooth manifolds with boundary – mathoverflow.net
05:23 On the sum of divisors of powers – mathoverflow.net
Sunday, 2026-06-28
21:23 Apophatic mathematics – mathoverflow.net
21:23 Is there a subset of the plane whose intersection with every line is countable, yet it has positive Lebesgue outer measure? – mathoverflow.net
13:23 Does every CM elliptic curve occur inside the Jacobian of a Fermat curve? – mathoverflow.net
Showed 115 links.
View older hot links.