Recent Questions - MathOverflow Metamost recent 30 from meta.mathoverflow.net2023-09-25T06:16:25Zhttps://meta.mathoverflow.net/feedshttps://creativecommons.org/licenses/by-sa/4.0/rdfhttps://meta.mathoverflow.net/q/57645Is this an AI bot? Can't tell if answer is from a real personRyan Budneyhttps://meta.mathoverflow.net/users/14652023-09-19T18:28:18Z2023-09-19T18:28:18Z
<p>This question of Baez is getting a string of strange answers. I can't tell if the author is a mathematician, but their answers don't make much sense to me.</p>
<p><a href="https://mathoverflow.net/questions/377545/which-finite-abelian-groups-arent-homotopy-groups-of-spheres">Which finite abelian groups aren't homotopy groups of spheres?</a></p>
https://meta.mathoverflow.net/q/576314Does anyone remember seeing this answer/comment? (A famous result known earlier than believed)Gro-Tsenhttps://meta.mathoverflow.net/users/170642023-09-19T08:38:12Z2023-09-19T20:07:36Z
<p>I remember seeing the following interesting exchange recently on MathOverflow:</p>
<ul>
<li><p>someone asked a question about something,</p>
</li>
<li><p>another person (<span class="math-container">$X$</span>) answered (or commented) that the answer is such-or-such because of Foo's Famous Theorem about this-or-that,</p>
</li>
<li><p>another person (<span class="math-container">$Y$</span>), working in a different field, remarked that the answer also follows from Bar's earlier result in a different domain and stated in a different language,</p>
</li>
<li><p>thereupon, <span class="math-container">$X$</span> realized that Bar's result was, in fact, equivalent to Foo's Theorem, and remarked something like “amazing! this shows that Foo's Theorem was already known to Bar decades earlier”.</p>
</li>
</ul>
<p>I'd like to use this as an example of how different branches of mathematics can fail to know about potentially interesting results from other branches.</p>
<p>Unfortunately, I didn't keep a bookmark of the exchange, and I remember very little (and even what I did write might be somewhat altered by my inaccurate memory). I saw it fairly recently (maybe a few weeks ago?), but it's possible that the exchange took place earlier (I may have been browsing an old question), so it doesn't narrow it down. I also don't remember the topic (since I read a lot of questions about a lot of different subjects we can't infer much…).</p>
<p>Does anyone else remember seeing this?</p>
https://meta.mathoverflow.net/q/57602Editor is not rendering the equations correctlyuser127776https://meta.mathoverflow.net/users/1277762023-09-10T19:58:47Z2023-09-11T04:46:11Z
<p>I haven't asked a question on Mathoverflow or Mathstackexchange but after while I decided to do so I have realized that the editor has got significantly worse. First of all it is significantly slower also sometimes it does not show the correct outputs. I have attached a photo to show the issue. I was wondering how is it possible to get around this issue? If I post the problem when the editor is not showing correctly is it going to get posted correctly or not?</p>
<p><a href="https://i.stack.imgur.com/sNGdj.png" rel="nofollow noreferrer"><img src="https://i.stack.imgur.com/sNGdj.png" alt="enter image description here" /></a></p>
https://meta.mathoverflow.net/q/5759-8For irrational √(1+(1/n)) n integer, what are the best Stack Exchange Sites for proofs: direct calc, Euler's, Taylor Series (also √(1+(m/n)), m<n)Stephen Elliotthttps://meta.mathoverflow.net/users/5088732023-09-07T09:30:44Z2023-09-11T13:35:52Z
<p>In solving a different problem, I came across three different proofs that if:
<span class="math-container">$$S_{root} =
\begin{cases}
\begin{aligned}
\sqrt{1+\frac{1}{n}}, \quad \text{for n } \in \{\text{Set of Counting Integers} & \ge 1 \}\\
\sqrt{1+\frac{m}{n}}, \quad \text{for (m} \ll \text{n), and } m \text{ and }n\in \{\text{Set of Counting Integers} & \ge 1 \} \\
\end{aligned}
\end{cases}
$$</span></p>
<p>Then:</p>
<p><span class="math-container">$$S_{root} \text{ is irrational}$$</span></p>
<p>For:</p>
<p><span class="math-container">$$S_{root}=\sqrt{1+\frac{1}{n}}, n \in \text{ \{Set of Counting Integers } \ge 1 \}$$</span></p>
<p>There is proof by:</p>
<ol>
<li>Direct calculation</li>
<li>Euler's Sequence</li>
<li>Taylor Series Expansion (like for the proof that "e" is an irrational number)</li>
</ol>
<p>For
<span class="math-container">$$S_{root}=\sqrt{1+\frac{m}{n}}, \quad \text{for m} \ll \text{n, } m \text{ and }n\in \{\text{Set of Counting Integers} \ge 1 \}$$</span></p>
<p>There is proof by:</p>
<ol>
<li>Taylor Series Expansion (like for the proof that "e" is an irrational number)</li>
<li>Direct Calculation</li>
</ol>
<p>Montivation (for Direct Calculation option 2):</p>
<p><span class="math-container">$$1+\frac{m}{n}=\frac{m+n}{n}$$</span></p>
<p>So <span class="math-container">$n$</span> is a square number, say <span class="math-container">$b^2$</span> like <span class="math-container">$b^2=9$</span> in the relevant comment.</p>
<p>Then
<span class="math-container">$$1+\frac{m}{n}=\frac{m+b^2}{b^2}$$</span></p>
<p>If in the numerator we have the next highest integer of <span class="math-container">$(b+1)^2$</span>
then:</p>
<p><span class="math-container">$$1+\frac{m}{n}=\frac{\left(b+1\right)^2}{b^2}=$$</span>
<span class="math-container">$$=\frac{b^2+\left(2\times b +1\right)}{b^2}$$</span>
So if <span class="math-container">$m<\left(2 \times b+1\right)$</span> there is no rational root. In this sense <span class="math-container">$m \ll b$</span>. But <span class="math-container">$b = \sqrt{n}$</span>. So <span class="math-container">$$m \ll \sqrt{n}$$</span> and also <span class="math-container">$$m \ll n$$</span>.</p>
<p>I am not finding a web-link that has these proofs organized to post as a link, so I have the full text of these proofs (complete with MathJax rendering).</p>
<p>Do these proofs come to the level of professional research of "Stack Exchange Math Overflow"?</p>
<p>Or if not, are there on-line references available to show the same result to reference instead?</p>
<p>Also, I am interested in having these proofs available to reference from Stack Exchange Links, because for the related problem, the amount of space available at 30000 characters. Ideally the full problem is laid out in the question and answer. But here, these results need to be referenced in order to not detract from the proof of the related question.</p>
<p><strong>So which Stack Exchange website is best positioned for these proofs?</strong></p>
<p><strong>Update:</strong> It was correctly pointed out that <span class="math-container">$\sqrt{1+\frac{7}{9}}=\sqrt{\frac{16}{9}}=\frac{4}{3}$</span>. But I updated the question for the case where <span class="math-container">$m \ll n$</span>. For instance <span class="math-container">$\sqrt{1+\frac{3}{1000}}=1.001498...$</span> does not have a rational root.</p>
<p>As to the question on which Stack Exchange site to post the necessary proof, it would be preferable to have a on-line link that can be referenced. But I am not finding any on-line link to include in my background-research that I want to include in my answer to another question. Also, I ran out of room in the answer (30000 characters) to include these other proofs.</p>
<p><strong>Is there some other link that the community is familiar with to reference these Lemmas , since the available answer space is too limited to include everything, so I need to reference the minor results?</strong></p>
https://meta.mathoverflow.net/q/57570How is it possible to format a right-aligned sequence that has single and double digits so that the alignment is correct?Stephen Elliotthttps://meta.mathoverflow.net/users/5088732023-09-06T13:28:34Z2023-09-19T02:26:10Z
<p>I have this MathJax sequence that I want to format properly in MathOverflow:</p>
<p><span class="math-container">$$S_m =
\begin{cases}
\begin{aligned}
1, \quad\text{for m=1}\\
12, \quad\text{for m=2}\\
123, \quad\text{for m= 3}\\
1234, \quad\text{for m= 4}\\
12345, \quad\text{for m= 5}\\
123456, \quad\text{for m= 6}\\
1234567, \quad\text{for m= 7}\\
12345678, \quad\text{for m= 8}\\
123456789, \quad\text{for m= 9}\\
1234567890, \quad\text{for m=10}\\
12345678901, \quad\text{for m=11}\\
12345678901..., \quad\text{for m>11}\\
S_{m-1} \times 10 + (m \bmod 10), \quad\text{for m>11}\\
\end{aligned}
\end{cases}
$$</span></p>
<pre><code><span class="math-container">$$S_m =
\begin{cases}
\begin{aligned}
1, \quad\text{for m=1}\\
12, \quad\text{for m=2}\\
123, \quad\text{for m= 3}\\
1234, \quad\text{for m= 4}\\
12345, \quad\text{for m= 5}\\
123456, \quad\text{for m= 6}\\
1234567, \quad\text{for m= 7}\\
12345678, \quad\text{for m= 8}\\
123456789, \quad\text{for m= 9}\\
1234567890, \quad\text{for m=10}\\
12345678901, \quad\text{for m=11}\\
12345678901..., \quad\text{for m>11}\\
S_{m-1} \times 10 + (m \bmod 10), \quad\text{for m>11}\\
\end{aligned}
\end{cases}
$$</span>
</code></pre>
<p>However, it is rendered as follows (in the below screenshot):</p>
<p><a href="https://i.stack.imgur.com/D1N6J.png" rel="nofollow noreferrer"><img src="https://i.stack.imgur.com/D1N6J.png" alt="Picture of rendering of the sequence" /></a></p>
<p>For <span class="math-container">$m=1$</span> to <span class="math-container">$m=9$</span> the formatting of "for" is left-indented as compared to <span class="math-container">$m=10$</span>, <span class="math-container">$m=11$</span>, and <span class="math-container">$m>11$</span>.</p>
<p>I tried padding the "\text" statements with spaces but I was not successful.</p>
<p>From the link <a href="https://meta.mathoverflow.net/questions/462/on-using-mathjax-to-create-white-space">on how to add white space</a>, it seems that this issue needs to be treated very carefully to allow rendering to complete as best-possible in multiple scenarios.</p>
<p><strong>Update - My Homework : I received comment support from @Emil Jeřábek</strong> and also checked the Stack Exchange Overflow reference <a href="https://stackoverflow.com/questions/51977563/aligning-multiple-equations-in-mathjax">Aligning multiple equations in MathJax</a>. Using the support and also the "Aligning multiple equations in MathJax, I updated the MathJax equation and now it renders as:</p>
<p><a href="https://i.stack.imgur.com/k0CXz.png" rel="nofollow noreferrer"><img src="https://i.stack.imgur.com/k0CXz.png" alt="Updated Rendering From Jeřábek and the Aligning multiple equations Stack Exchange Overflow article" /></a></p>
<p>The MathJax text is as follows:</p>
<pre><code><span class="math-container">$$S_m =
\begin{cases}
\begin{aligned}
1, \quad \text{for m=} & 1\\
12, \quad \text{for m=} & 2\\
123, \quad \text{for m=} & 3\\
1234, \quad \text{for m=} & 4\\
12345, \quad \text{for m=} & 5\\
123456, \quad \text{for m=} & 6\\
1234567, \quad \text{for m=} & 7\\
12345678, \quad \text{for m=} & 8\\
123456789, \quad \text{for m=} & 9\\
1234567890, \quad \text{for m=} & 10\\
12345678901, \quad \text{for m=} & 11\\
12345678901..., \quad \text{for m>} & 11\\
S_{m-1} \times 10 + (m \bmod 10), \quad \text{for m>} & 11\\
\end{aligned}
\end{cases}
$$</span>
</code></pre>
<p>I saw in the Stack Overflow article <a href="https://stackoverflow.com/questions/51977563/aligning-multiple-equations-in-mathjax">Aligning multiple equations in MathJax</a> that the recommended equation layout is as follows:</p>
<p><a href="https://i.stack.imgur.com/ObLuS.png" rel="nofollow noreferrer"><img src="https://i.stack.imgur.com/ObLuS.png" alt="Recommended equation layout with space on both sides of the = sign" /></a></p>
<p>So I updated the layout as follows:</p>
<p><a href="https://i.stack.imgur.com/UKGrz.png" rel="nofollow noreferrer"><img src="https://i.stack.imgur.com/UKGrz.png" alt="Updated layout using the referenced recommended equation layout" /></a></p>
<p>The updated MathJax text follows.</p>
<pre><code><span class="math-container">$$S_m =
\begin{cases}
\begin{aligned}
1, \quad \text{for m = } & 1\\
12, \quad \text{for m = } & 2\\
123, \quad \text{for m = } & 3\\
1234, \quad \text{for m = } & 4\\
12345, \quad \text{for m = } & 5\\
123456, \quad \text{for m = } & 6\\
1234567, \quad \text{for m = } & 7\\
12345678, \quad \text{for m = } & 8\\
123456789, \quad \text{for m = } & 9\\
1234567890, \quad \text{for m = } & 10\\
12345678901, \quad \text{for m = } & 11\\
12345678901..., \quad \text{for m > } & 11\\
S_{m-1} \times 10 + (m \bmod 10), \quad \text{for m > } & 11\\
\end{aligned}
\end{cases}
$$</span>
</code></pre>
<p><strong>What is left to my question about how to format the sequence?</strong></p>
<p>With the previously comments from @Emil Jeřábek, there was the recommendation that perhaps "begin{cases}" is not required, and he was surprised that this equation was rendering at all, if I understood his comment properly.</p>
<p>But for me, if I do not include the begin{cases} and end{cases} then the left bracket does not render at all (with FireFox).</p>
<p>The question still stands as to whether my MathJax updated text is the recommended route or if further MathJax text modifications are recommended or are necessary to prevent other rendering problems.</p>
<p>The only reference that I have found for the left bracket is here <a href="https://superuser.com/questions/76829/using-the-cases-environment-in-lyx">from the Stack Exchange Superuser Site Article "Using the cases environment in LyX" - for which Lyx is a LatTex front-end</a>:</p>
<pre><code><span class="math-container">\begin{cases}
1st\\
2nd\\
3rd\end{cases}</span>
</code></pre>
<p>In this MathJax environment, it renders as follows:</p>
<p><span class="math-container">$$\begin{cases}
1st\\
2nd\\
3rd\end{cases}$$</span></p>
<p>I still have not found a reference for other techniques for casting the left bracket, but I hope that updated comments or answers might provide the referenced links (preferably from the Stack Exchange web-sites) to get a better idea of the Stack Exchange recommended practice.</p>
<p><strong>What else is recommended or needed to render the equation properly under the multiple supported browsers?</strong></p>
https://meta.mathoverflow.net/q/57545Is there a way to recover old account without email?Andrey Gogolevhttps://meta.mathoverflow.net/users/639302023-09-01T20:39:05Z2023-09-01T20:39:05Z
<p>I would like to recover my account
<a href="https://mathoverflow.net/users/2029/andrey-gogolev">https://mathoverflow.net/users/2029/andrey-gogolev</a>
I don't seem to remember the email associated to it. Even if I did I probably don't have that email address anymore. Is there any way to get a hold of my old account?</p>
https://meta.mathoverflow.net/q/57532What happened to my MathOverflow account?Dumbest person on earthhttps://meta.mathoverflow.net/users/5126452023-09-01T09:41:37Z2023-09-01T13:12:10Z
<p>I posted <a href="https://mathoverflow.net/q/453698/512645">this question</a> from my account two days ago. Now suddenly, I saw I don't have an account any longer. I tried to log in and Overflow created a new account. Can someone please shed some light on what happened? I want to get my old account back.</p>
<p>Please note that <a href="https://math.stackexchange.com/users/1096489/dumbest-person-on-earth">my MSE account</a> is still unharmed, and so are all other accounts on other StackExchange sites. However, MathOverflow just seems to have vanished into thin air.</p>
https://meta.mathoverflow.net/q/57520Should the dots used in lambda-calculus notation be typographically treated the way binary relation and binary operation symbols are?Michael Hardyhttps://meta.mathoverflow.net/users/63162023-08-30T22:01:01Z2023-08-30T22:01:01Z
<p>Within <a href="https://mathoverflow.net/questions/453719/where-can-i-learn-about-cartesian-closed-functors-between-categories-of-simply-t">this question</a> we find the notation <span class="math-container">$\lambda f . \lambda g . \lambda x.f(g\ x)$</span>, and that causes me to wonder about a point of LaTeX and MathJax usage.</p>
<p>The code <code>a.b.c.</code> gets rendered as <span class="math-container">$a.b.c,$</span> with the period, or "full stop" if you like, closer to the letter to its left than the one to its right.</p>
<p>As one would expect, the code <code>a{.}b{.}c</code> gives more symmetrical results: <span class="math-container">$a{.}b{.}c$</span>.</p>
<p>But if we put <code>\newcommand{\.}{\mathbin{.}}</code> <span class="math-container">$\newcommand{\.}{\mathbin{.}}$</span>at the begining (or above the <code>\begin{document}</code> in <span class="math-container">$\LaTeX$</span>) then the code <code>a\.b\.c</code> gives us <span class="math-container">$a\.b\.c,$</span> with an amount of horizontal space appropriate to a binary operation or binary relation symbol (e.g. the code <code>3+5</code> will normally result in <span class="math-container">$3+5$</span> and not in <span class="math-container">$3{+}5$</span>).</p>
<p><span class="math-container">\begin{align}
& a.b.c \\[5pt]
& a{.}b{.}c \\[5pt]
& a\.b\.c
\end{align}</span></p>
<p>Which version should be used in this context?</p>
https://meta.mathoverflow.net/q/57510May I Offer Money to People Who Answer My Question on MathOverflow?Trihttps://meta.mathoverflow.net/users/513892023-08-28T20:26:32Z2023-08-28T20:26:32Z
<p>Erdos and others have offered prize money to people who answered their questions.
May I offer money to people who answer my questions on MathOverFlow?</p>
https://meta.mathoverflow.net/q/57495Account mergingSergei Ovchinnikovhttps://meta.mathoverflow.net/users/1322222023-08-28T18:08:20Z2023-09-11T17:04:19Z
<p>I have an issue with account merging form in the help center. The 'Your other profile link' does not accept any link to the second my account.</p>
<p><a href="https://i.stack.imgur.com/Qw8Wa.png" rel="nofollow noreferrer"><img src="https://i.stack.imgur.com/Qw8Wa.png" alt="Picture 1: completed help form" /></a>
<strong>Picture 1: Completed help form</strong></p>
<p><a href="https://i.stack.imgur.com/g1O5K.png" rel="nofollow noreferrer"><img src="https://i.stack.imgur.com/g1O5K.png" alt="enter image description here" /></a>
<strong>Picture 2: Outcome of pressing the 'Submit' button for the setting as in Picture 1</strong></p>
<p>The issue is reproduced on different browsers:</p>
<ul>
<li>Opera One (version: 101.0.4843.33)</li>
<li>Google Chrome (Version 116.0.5845.111 (Official Build) (64-bit) )</li>
</ul>
<p>I have seen quite a few similar issues over different communities META, none of which was resolved:</p>
<ul>
<li><a href="https://meta.stackexchange.com/q/389841">Can't open a ticket for merging accounts; Error occurs even though all fields are included</a></li>
<li><a href="https://meta.stackoverflow.com/q/426064">I need help to merge two profiles I have</a></li>
</ul>
https://meta.mathoverflow.net/q/574823Drive-By Deletion of Answer to Own Question by Moderatoruser24601https://meta.mathoverflow.net/users/5096872023-08-24T10:37:54Z2023-08-28T19:28:18Z
<p>I'm a bit confused by some moderator action. I posted a question <a href="https://mathoverflow.net/questions/451864/direct-proof-of-unique-invariant-distribution-for-ergodic-positive-recurrent-ma">asking for a direct proof of a certain fact</a>. A superb <a href="https://mathoverflow.net/a/451868/509687">answer</a> was provided by Jochen Glueck. (Thanks again!)</p>
<p>I came across another proof by chance in some lecture notes I was reading. I felt the appropriate thing was to copy (with citation!) that proof into another answer. Sure, it didn't help <em>me</em>, but MO is more than just "user asks question; user gets answer; bye bye". I wanted to share this for the benefit of the community.</p>
<p>I happen to look at the question again today, and I see that a moderator deleted my answer. They didn't comment on it, suggesting improvement. Just a drive-by delete. Putting aside the rudeness/disrespect/whatever-word-you-want*,</p>
<blockquote>
<p>What was the reason for this deletion? and, why was there no communication?</p>
</blockquote>
<p>Are self-answers no longer encouraged? Certainly I'm not encouraged to support the community given this treatment.</p>
<p>*It's fairly well established that this sort of behaviour is what has driven many people away from the Stack Exchanged sites. I used to be fairly active, with >5k rep gained via answers over a few years, but packed it in, barely posting questions or answers now, largely due to this sort of behaviour</p>
https://meta.mathoverflow.net/q/574611How to recommend that a question is better suited for another SE site that isn't listed in the close reasons?Brian Hopkinshttps://meta.mathoverflow.net/users/148072023-08-23T20:09:59Z2023-08-30T05:44:03Z
<p>Today I found MO questions where commenters recommended that Proof Assistants or History of Science and Mathematics would be preferable to MO. Other better placements I remember include Mathematica, Theoretical Computer Science, and Mathematics Educators.</p>
<p>I can understand not wanting to make a very long list of suggested alternative SE sites, but are the listed options reconsidered on a regular basis and updated accordingly? And what is the best approach to suggesting a site that isn't listed?</p>
https://meta.mathoverflow.net/q/57451There is no any answer box for this postAli Taghavihttps://meta.mathoverflow.net/users/366882023-08-20T21:47:58Z2023-08-20T21:47:58Z
<p>I would like to add an answer to this question but there is no any answer box for this question.</p>
<p>What is the reason?</p>
<p><a href="https://mathoverflow.net/questions/286732/nonequivalent-definitions-in-mathematics">Nonequivalent definitions in Mathematics</a></p>
https://meta.mathoverflow.net/q/5743-6Is asking to verify my P=NP proof appropriate?portonhttps://meta.mathoverflow.net/users/40862023-08-18T08:59:11Z2023-08-18T11:59:24Z
<p>Is providing link to my (8 pages) proof of P=NP and asking to check my proof appropriate for a MathOverflow question?</p>
<p>The proof is on professional mathematician level (uses advanced logics) and does not produce a crackpot impression (except that it is short, 8 pages).</p>
https://meta.mathoverflow.net/q/57420Is deleting posts a good practice?Iman Moslehhttps://meta.mathoverflow.net/users/5103982023-08-17T20:57:05Z2023-08-18T06:50:28Z
<p>In principle, MO posts can be cited in papers; on the other hand, MO posts get deleted sometimes. There is a risk, then, of referring a MO post which no longer exists. Is deleting posts a good practice, then?</p>
https://meta.mathoverflow.net/q/57416FirefoxCP Isolated Web Content CPU overdriveDave Bensonhttps://meta.mathoverflow.net/users/4605922023-08-14T21:03:26Z2023-08-16T12:11:03Z
<p>Just recently, MathOverflow has started to cause Firefox to use massive CPU resources, at least on my machine. In particular, I'm on a Macbook Pro 2.3 GHz 8-Core Intel Core i9 running Ventura 13.4.1 and Firefox 116.0.2. Some MathOverflow posts cause "FirefoxCP Isolated Web Content" to consume 100% of CPU time, as reported by the Activity Monitor. Is this something I can do something about, or is there something amiss with the MathOverflow software/interface?</p>
https://meta.mathoverflow.net/q/573737Moderation strike update 6 and last : back to workDavid Robertshttps://meta.mathoverflow.net/users/41772023-08-09T04:42:59Z2023-08-09T04:42:59Z
<p>As you probably were aware, since early June moderators around the whole SE network have been striking, <a href="https://meta.mathoverflow.net/q/5667/4177">including at MathOverflow</a>. We appreciate your patience through this time, and there has been a lot of effort in negotiations with the company, as reported in the various update posts here in the past couple of months (<a href="https://meta.mathoverflow.net/q/5692/4177">1</a>, <a href="https://meta.mathoverflow.net/q/5703/4177">2</a>, <a href="https://meta.mathoverflow.net/q/5716/4177">3</a>, <a href="https://meta.mathoverflow.net/q/5720/4177">4</a>, <a href="https://meta.mathoverflow.net/q/5733/4177">5</a>).</p>
<p>There has been a <a href="https://meta.stackexchange.com/q/392032/226541">posting announcing the end of the formal call to strike</a> on meta.SE, discussing each point of the <a href="https://meta.stackexchange.com/questions/389811/moderation-strike-stack-overflow-inc-cannot-consistently-ignore-mistreat-an">demands of the strike</a>, and concluding with:</p>
<blockquote>
<h3>With this progress being made, and as a result of the various polls held, we consider the goals of the strike to have been achieved and the call for a strike ended.</h3>
</blockquote>
<p>The "various polls" here refer to those held by various groups that run tools, dedicated moderation chat rooms, develop and run moderation bots, as well as those participating in the Discord discussions around the strike organisation, and a mod-only version of the same. For comparison, the <a href="https://math.meta.stackexchange.com/q/35908/3835">striking math.SE mods are back</a>.</p>
<h3>tl;dr — the elected mods have resumed work on MathOverflow.</h3>
<p>The backlog of >100 unhandled flags has been whittled down to the usual background steady-state of a just a few. Thanks to all those who kept their eyes open for nonsense while we were striking.</p>
https://meta.mathoverflow.net/q/573333Moderation strike update 5 : the results of negotiationsDavid Robertshttps://meta.mathoverflow.net/users/41772023-08-05T01:08:23Z2023-08-09T04:44:08Z
<p>The negotiations over the strike have ended with agreement addressing all the issues raised by the striking moderators. The <a href="https://meta.stackexchange.com/q/391847/226541">post on meta.StackExchange</a> was vetted and agreed to by both sets of negotiators (3 from the company, 3 elected from among the striking moderators) and lays out all the details. I will not repeat the details here, but just note that at this point the strike is not quite over, though many are in favour of doing so (see eg <a href="https://meta.stackexchange.com/q/391925/226541">What do you feel like is still missing to end the strike?</a> for some discussion about why people might not yet be willing to get to work clearing up the results of greatly lessened moderation).</p>
<p>There is no centralised body that's mandating anything, individuals are free to stop striking (as they were to strike, or to not strike, as they saw fit). I raised discussion with the other moderators to see if there was any strong feeling in either direction as far as MathOverflow goes, but not much has yet eventuated. If MO users have ideas or feedback on this it would be good to hear. Or if there are, after reading the posts above, any particular concerns about the way forward.</p>
<p>On a slightly more anecdotal point, someone hypothesized in the Discord server that the negative reaction here on MathOverflow and discussion about possible departure from the SE platform may have been a contributing factor (of multiple) to the resumption of the data dumps. So that is perhaps a small thing that our relatively small community (say compared to StackOverflow) helped to achieve through the current events.</p>
<hr />
<p>Some of the infrastructure run by people who have been striking is coming back online: <a href="https://meta.stackexchange.com/a/391912/226541">SmokeDetector</a>, an anti-spam tool run by a team called <a href="https://charcoal-se.org/about" rel="nofollow noreferrer">Charcoal</a>, is now operating again. Another one is <a href="https://sobotics.org/" rel="nofollow noreferrer">SOBotics</a>. Another major group is holding a vote over the course of this weekend. [<strong>EDIT</strong> this is <a href="https://socvr.org/" rel="nofollow noreferrer">SOCVR</a>, and it has now reopened for business]</p>
<p>We don't particularly see these tools in use on MO, and to see why they are needed, here's some figures for comparison: MO has right now just over 100 unhandled flags (about 25-30 times the usual maximum, in steady state, which get resolved fairly quickly). Stack Overflow had over 18000 unhandled flags until just recently, when it is more around the steady state of O(100), I believe.</p>
<hr />
<p>Philippe, the SE Vice-President of Community Management, has <a href="https://meta.stackexchange.com/questions/391847/moderation-strike-results-of-negotiations/391992#391992">posted a public statement</a> at the <a href="https://meta.stackexchange.com/q/391847/226541">negotiations outcome post</a> on behalf of the company stating</p>
<blockquote>
<p>Both I and the company will use our best efforts to comply with both the letter and the spirit of the agreements reached during the negotiations and laid out here.</p>
</blockquote>
<p>Moreover the <a href="https://meta.stackexchange.com/questions/391990/interim-policy-on-ai-content-detection-reports">new, interim, policy on AI-generated content detection/reporting</a> has been posted. This supersedes the <a href="https://meta.stackexchange.com/questions/391626/historical-policy-on-the-use-of-gpt-detectors">old secret one</a> one that helped trigger the strike. This is interim only in the sense that a more robust policy will take some time and being developed through a working group with SE staff, moderator and other members.</p>
https://meta.mathoverflow.net/q/57323Posting a technical/narrow open question on mathoverflow?Thomas Kojarhttps://meta.mathoverflow.net/users/998632023-08-04T21:39:33Z2023-08-18T17:11:54Z
<p>I am a bit confused on our policy for open-problems. Are we allowed to post a <strong>technical/narrow</strong> conjecture/open problem on MO?</p>
<p>For example, here is a type of a beautiful question that I have in mind <a href="https://mathoverflow.net/questions/447472/open-problem-log-n-factor-in-binomial-empirical-process">Open problem: $\log n$ factor in Binomial empirical process</a>
with the tag open-problems. Was this question within MO-policy? I am asking because if so, I want to post some technical-open questions too from my article.</p>
<p>I personally enjoyed reading the above post and the updates and I imagine eventually the OP or someone from their area will just post an answer that the problem has been resolved in reference XYZ.</p>
<p>Q2: Is it possible to run some small experiment with "narrow open-problems" to help clarify if the community finds it valuable to have them? During that process the moderators can adjust the requirements in the tag "open problems" accordingly as they see fit.</p>
<hr />
<p><em>My opinions</em></p>
<p>I understand that a similar question has been asked multiple times before eg. <a href="https://meta.mathoverflow.net/questions/360/what-should-be-the-policy-on-open-problems-on-mo">What should be the policy on "open problems" on MO?</a> and <a href="https://meta.mathoverflow.net/questions/4344/what-should-the-tag-open-problems-be-used-for">What should the tag (open-problems) be used for?</a>.</p>
<p>I honestly feel that it will benefit the growth of the MO website to allow the listing of <strong>technical</strong> conjectures/open problems that we find eg. in our articles.</p>
<p>Alternatives such as <a href="https://www.scilag.net/" rel="nofollow noreferrer">scilag.net</a> are underused and this doesn't seem to change. Currently the process of finding open problems is still the old-school of a)talking with people, b) hopefully the authors stated them in a remark or at the end of the article or c)finding them by ourselves through experimenting.</p>
<p>This will also help mitigate "re-discovering" since some knowledgeable expert can just state in the answers "Oh this is already known from this Russian article X in 1962 and here is the reference.". So in that sense it can fall under the quoted answer</p>
<blockquote>
<p>Most importantly, please remember that MathOverflow is a question and answer site: the prototypical question is posed under the assumption that some other user will be able to answer it.</p>
</blockquote>
<p>And a question can eventually be closed once the open-problem has been resolved or proved to be ill-posed.</p>
<p>There would again need to be formatting guidelines to avoid stating mathematically-ambiguous open problems, but that is an issue even with regular MO-questions. I will be happy to help with clarifying OP questions from my research area.</p>
https://meta.mathoverflow.net/q/57310Are questions about mathematical writing acceptable on the main site?Stanley Yao Xiaohttps://meta.mathoverflow.net/users/108982023-08-04T12:08:28Z2023-08-05T07:04:11Z
<p>I have a question concerning mathematical writing, a draft of which is posted below if you are interested. The question I wish to ask on Meta however is about whether questions concerning mathematical writing can be asked on the main site. I have voted "close" for many questions because the question was not about research mathematics, and questions concerning mathematical writing seem borderline to me: certainly writing about mathematics is integral to mathematical research, but they are not research-level math questions themselves.</p>
<p>The question I would ask on the main site is as follows:</p>
<p>"I am working on a project that seems to have expanded beyond its original scope, and now involve several related but ultimately not very tightly knit topics. At which point does one decide to split the project into multiple papers? How do you decide, in the scope of a single line of investigation, how to split the work into multiple papers?"</p>
https://meta.mathoverflow.net/q/57261Transferring a misplaced question after it has a positively received answerAlec Rheahttps://meta.mathoverflow.net/users/921642023-08-03T18:58:19Z2023-08-03T20:10:45Z
<p>I recently goof'd and forgot that hsm.stackexchange exists, and posted a history of mathematics <a href="https://mathoverflow.net/questions/451991/who-was-the-first-to-propose-a-formal-definition-of-infinity">question</a> here.</p>
<p>This was kindly pointed out to me by a user here, but the question already had a positively received <a href="https://mathoverflow.net/a/451994/92164">answer</a> by the time I was notified, and the question is thusly precluded from deletion; reposting it elsewhere without deleting this one feels redundant. This leads me to ask:</p>
<blockquote>
<p>Is there a standard remedy in cases like this, to migrate a misplaced question while preserving any valuable answers it has received?</p>
</blockquote>
<p>If there is no comunity-level tool to address this situation, there is obviously deus ex machina moderator migration to fall back on; if moderators are the only remedy, this post seems a good place to list putative misplaced questions and appeal to moderators for question migration.</p>
https://meta.mathoverflow.net/q/57251Writing personal notes on specific questionsMaharanahttps://meta.mathoverflow.net/users/25332023-08-03T12:12:07Z2023-08-09T15:01:17Z
<p>It would be nice to be able to add non-public notes for oneself on interesting questions on MO (of which there are very many), for later remembrance and further thinking on it. These notes can remain as part of an individual user's profile. Can this feature be added to MO? In my opinion this should be very helpful (a version of a work diary for users). If the notes themselves can be hyper-linked, it can become a non-linear work diary and aid thought on a problem or a topic.</p>
https://meta.mathoverflow.net/q/572313The tag (elementary-number-theory) - yes or no?Martin Sleziakhttps://meta.mathoverflow.net/users/82502023-07-31T09:12:35Z2023-08-11T05:32:11Z
<p>The tag <a href="https://mathoverflow.net/questions/tagged/elementary-number-theory" class="post-tag" title="show questions tagged 'elementary-number-theory'" aria-label="show questions tagged 'elementary-number-theory'" rel="tag" aria-labelledby="tag-elementary-number-theory-tooltip-container">elementary-number-theory</a> was created and removed a few times in the past. And recently it was created again - it is still listed <a href="https://mathoverflow.net/tags?tab=new">among the new tags</a>.</p>
<ul>
<li>Should there be a separate tag for <a href="https://mathoverflow.net/questions/tagged/elementary-number-theory" class="post-tag" title="show questions tagged 'elementary-number-theory'" aria-label="show questions tagged 'elementary-number-theory'" rel="tag" aria-labelledby="tag-elementary-number-theory-tooltip-container">elementary-number-theory</a> on MathOverflow?</li>
<li>If yes, what should be the content of this tag.</li>
</ul>
<p>You can see links to the previous occurrences <a href="https://chat.stackexchange.com/rooms/10243/conversation/the-tag-elementary-number-theory">in the MO editors' lounge</a>. Specifically:</p>
<ul>
<li>This tag was created and removed in 2012: <a href="https://mathoverflow.net/posts/83904/revisions">https://mathoverflow.net/posts/83904/revisions</a>.</li>
<li>Then again in November 2013: <a href="https://mathoverflow.net/posts/31113/revisions">https://mathoverflow.net/posts/31113/revisions</a> <a href="https://mathoverflow.net/posts/146589/revisions">https://mathoverflow.net/posts/146589/revisions</a> At the time, this tag was discussed by <a href="https://chat.stackexchange.com/rooms/10243/conversation/first-appearance-of-elementary-number-theory">several users in the MO editor's lounge</a>. (Interestingly, the discussion in chat <a href="https://chat.stackexchange.com/transcript/10243?m=12049370#12049370">mentions five questions</a> - using SEDE queries I was only able to find two.)</li>
<li>Another occurrence was in December 2013: <a href="https://mathoverflow.net/posts/144996/revisions">https://mathoverflow.net/posts/144996/revisions</a></li>
<li>And the tags was created <a href="https://chat.stackexchange.com/transcript/10243/2023/7/26">again now in 2023</a>. After approximately on week, <a href="https://chat.stackexchange.com/transcript/10243/2023/8/2">there are three questions with this tag</a>.</li>
</ul>
<p>I decided to ask because on Mathematics Stack Exchange there are some problems around this tag - it is unclear whether <a href="https://mathoverflow.net/questions/tagged/elementary-number-theory" class="post-tag" title="show questions tagged 'elementary-number-theory'" aria-label="show questions tagged 'elementary-number-theory'" rel="tag" aria-labelledby="tag-elementary-number-theory-tooltip-container">elementary-number-theory</a> should be a subset of <a href="https://mathoverflow.net/questions/tagged/number-theory" class="post-tag" title="show questions tagged 'number-theory'" aria-label="show questions tagged 'number-theory'" rel="tag" aria-labelledby="tag-number-theory-tooltip-container">number-theory</a> or whether the latter should only be for more advanced questions.<sup>1</sup>
On MathOverflow it is unlikely that there would be a similar problem - since among the top-level tags<sup>2</sup> there is <a href="https://mathoverflow.net/questions/tagged/nt.number-theory" class="post-tag" title="show questions tagged 'nt.number-theory'" aria-label="show questions tagged 'nt.number-theory'" rel="tag" aria-labelledby="tag-nt.number-theory-tooltip-container">nt.number-theory</a>, which should include <a href="https://mathoverflow.net/questions/tagged/elementary-number-theory" class="post-tag" title="show questions tagged 'elementary-number-theory'" aria-label="show questions tagged 'elementary-number-theory'" rel="tag" aria-labelledby="tag-elementary-number-theory-tooltip-container">elementary-number-theory</a>, too.
Still, since this tag was created and removed more than once, it seemed reasonable to bring it up on meta.</p>
<hr />
<p><sup>1</sup>Discussion on Mathematics Meta: <a href="https://math.meta.stackexchange.com/q/19031">There are 5,931 questions tagged both elementary-number-theory and number-theory</a> and <a href="https://math.meta.stackexchange.com/q/19092">How to differentiate between (elementary-number-theory) and (number-theory)</a>.</p>
<p><sup>2</sup><a href="https://meta.mathoverflow.net/q/1457">Why are MO tags formatted as they are?</a> and <a href="https://meta.mathoverflow.net/q/1075">Frequently asked questions about tagging on MathOverflow</a></p>
https://meta.mathoverflow.net/q/572033Moderation strike update 4David Robertshttps://meta.mathoverflow.net/users/41772023-07-27T06:11:32Z2023-07-31T11:27:52Z
<p>This update is to point to two posts by the company on the platform-wide meta site, Meta Stack Exchange.</p>
<ol>
<li>The post <a href="https://meta.stackexchange.com/q/391626/226541">(Historical) Policy on the use of GPT Generators</a> is a copy of the private policy on generative AI content that was given to moderators in moderator-only space. <strong>This policy no longer holds</strong> (so I'm posting the long disclaimer at the start). But the part that essentially triggered the strike was the part after the cut: <strong>no action</strong> could be taken by a moderator on content they judged to be AI-generated, unless the user volunteered the information "I used AI to make this" without prompting or coercion (or was silly enough to not cut out words like "Regenerate answer" that flagged it as ChatGPT output). To do so would have been to violate the moderator agreement that elected mods all sign. If a user had outright continued to lie and say they wrote it, even with the kind of stylistic flags that it was chatGPT (say), and the kind of non-human errors GPTs make, flags had to be ignored, and no action taken.</li>
</ol>
<blockquote>
<p>The policy below was posted on the Mod Team on May 29, 2023 to update moderators as to changes in how the GPT policy should be enforced. A day later, a shortened version of this policy was published on MSE. We normally do not release enforcement guidelines publicly. In recognition of the confusion caused by the differences between the public and private guidance in this case, we are now publishing the private text of this policy in full. However, we reserve the right to continue in the future to withhold specific enforcement guidelines from being published publicly in cases where doing so would make the jobs of moderators more challenging, and open up new avenues for abuse.</p>
<p><strong>This is being released now so that it can be included in the public record. Since being published, this policy has been superseded, with the new policy available shortly.</strong> The historical policy begins with the line below this one.</p>
<hr />
<p>May 29, 2023</p>
<p>[...]</p>
<p><strong>Therefore, the only admissible evidence we can currently permit for GPT usage is self-admission by the author of the posts, freely given.</strong> Please note that “freely given” is important here: please do not, under any circumstances, try to trick users into admitting GPT usage, lure them into saying it, or otherwise coerce a response. Even a user saying they have used GPT <em>in general</em> may not count unless they specifically say they have used it <em>here</em>, or for <em>this contribution</em>.</p>
</blockquote>
<p>The public position the company held (after the above) can be read in this <a href="https://meta.stackexchange.com/a/389583/226541">massively downvoted post</a>, where the <a href="https://meta.stackexchange.com/questions/389582/what-is-the-network-policy-regarding-ai-generated-content/389583#comment1299185_389583">top comment</a> is</p>
<blockquote>
<p>This post does not match the guidance given to moderators.</p>
</blockquote>
<p>The omitted part in the big quote above outlines the company's justification, but it is based on what many have observed is <a href="https://meta.stackexchange.com/questions/389928/gpt-on-the-platform-data-actions-and-outcomes">flawed data analysis</a> using a metric not verified as fit-for-purposes. Another part, dealing with the geographic distribution of genAI suspensions, is <a href="https://meta.stackexchange.com/questions/391626/historical-policy-on-the-use-of-gpt-generators#comment1309431_391626">summarised by another commenter</a> as</p>
<blockquote>
<p>I can see why the moderators went on strike: this policy stops just short of openly accusing them of being racist robots blindly applying the results of GPT detectors.</p>
</blockquote>
<p>To reiterate: mods were <strong>not</strong> just relying on so-called AI-detection software, but their own judgement, since it was clear early on that AI-detection software is about as accurate as generative AI is at answering questions. (this was largely a problem on the big coding/tech sites, we here on MO didn't even get to the point of even having to think about this, or dealing with scores of users flagging posts based on AI-detection scores of posts they tested)</p>
<hr />
<ol start="2">
<li>The company has openly committed to continuing the <a href="https://api.stackexchange.com/">API</a>, <a href="https://data.stackexchange.com/" rel="nofollow noreferrer">SEDE</a> and the regular <a href="https://archive.org/details/stackexchange" rel="nofollow noreferrer">data dumps</a>, in this post: <a href="https://meta.stackexchange.com/q/391634/226541">The company's commitment to the data dumps, the API, and SEDE</a></li>
</ol>
<blockquote>
<p><strong>The company is committed to the long-term (foreseeable future) survival of the data dumps, the API, and SEDE.</strong> We will continue to maintain them, and assure that community members have free access to them for legitimate usages that support the community, broadly construed (including for study in classrooms, for instance). We retain the right to place guardrails around them to ensure that companies constructing language models, etc, are charged for access, but community users, including the Charcoal anti-spam network and similar projects will continue to have free access.</p>
</blockquote>
<p>This is good, and makes public what was until now a commitment, but not in this form, in writing, and public.</p>
<p><strong>Added</strong> the company employee tasked with turning off the data dumps opened up and explained how it went down, giving direct quotes from the CEO's direct request to do so: <a href="https://meta.stackexchange.com/a/391640/226541">https://meta.stackexchange.com/a/391640/226541</a></p>
https://meta.mathoverflow.net/q/571717"In the past one and half years, Stack Overflow has lost 50% of its traffic."Joseph O'Rourkehttps://meta.mathoverflow.net/users/60942023-07-25T20:24:23Z2023-08-05T19:43:41Z
<p>In a <a href="https://twitter.com/madiator/status/1683735923387936768" rel="nofollow noreferrer">tweet</a> by <a href="https://smahesh.com" rel="nofollow noreferrer">Mahesh Sathiamoorthy</a>, I saw a chart showing a substantial recent drop:</p>
<img src="https://i.stack.imgur.com/okSZa.png" width="400" />
<p>Two questions: (1) Is this accurate? (2) What does the analogous chart for MathOverflow show?</p>
<p>(I can't remember how to look at site analytics.)</p>
https://meta.mathoverflow.net/q/568127What would be the disadvantages of a (hypothetical) MOexit?Timothy Chowhttps://meta.mathoverflow.net/users/31062023-06-11T12:09:31Z2023-08-04T09:24:40Z
<p>The hypothetical possibility of MO leaving StackExchange was mentioned here on meta.MO <a href="https://meta.mathoverflow.net/questions/4431">a few years ago</a> and was mentioned again <a href="https://meta.mathoverflow.net/questions/5669">recently</a>. In a <a href="https://meta.mathoverflow.net/questions/5669/at-what-point-should-mo-recognise-it-needs-to-leave-stack-exchange-inc?cb=1&_gl=1*1fk4mxn*_ga*MTQ2MTY2NzY5MC4xNjY2ODc2MzA2*_ga_S812YQPLT2*MTY4NjQ4NDMwOC4yMjIuMS4xNjg2NDg0NjYzLjAuMC4w#comment28668_5669">comment</a>, Sam Hopkins asked what I think is a good question.</p>
<blockquote>
<p>It would be good to know how "seamless" vs. "messy" divorcing from SE would be, from a purely technical point of view. I understand that MO owns its "data," but would the website and software largely continue to work? Would it go down for hours… days…?</p>
</blockquote>
<p>In fact, I think it would be useful to spell out some potential <i>non-technical</i> downsides of leaving as well. For example, might it hurt the MO community by decreasing participation, or creating internal conflict as people debate the pros and cons of leaving? The chances of that happening would presumably be reduced if the migration were largely transparent to the end user, but how transparent it would be would depend on the exact mechanics of the transition. Would we retain the same domain name? How similar would the user interface be? In short,</p>
<blockquote>
<p>What technical and non-technical disadvantages would an MOexit likely have?</p>
</blockquote>
https://meta.mathoverflow.net/q/52952Mystery popup windowმამუკა ჯიბლაძეhttps://meta.mathoverflow.net/users/412912022-04-02T05:46:44Z2023-09-24T15:02:16Z
<p>Last week or so, when I get into an SE site (MO in particular), a popup window appears in the lower left corner for few milliseconds. Some kind of clickable button there, with not enough time for me to figure out what it is. On different SE sites it is different but looks similar in design.</p>
<p>Do others encounter this too? Does anybody know what is it and how to get rid of it?</p>
<p>Strictly speaking this belongs to the whole SE meta, please migrate it if it is off-topic here.</p>
https://meta.mathoverflow.net/q/52555Long display style formulae extend too much to the right with some renderersAlex M.https://meta.mathoverflow.net/users/547802022-02-14T09:37:40Z2023-08-17T08:03:00Z
<p>In the following screen capture, take a look at the region delimited by the red rectangle: notice how it extends too much to the right, such that a part of it becomes hidden by the yellow page element.
<a href="https://i.stack.imgur.com/Vuqr1.png" rel="nofollow noreferrer"><img src="https://i.stack.imgur.com/Vuqr1.png" alt="enter image description here" /></a></p>
<p>When editing the question (which in particular allows you to see that it is indeed a huge display style formula) with the preview feature enabled, the same red rectangle shows below how this formula extends uncontrollably to the right.
<a href="https://i.stack.imgur.com/pVBIr.png" rel="nofollow noreferrer"><img src="https://i.stack.imgur.com/pVBIr.png" alt="enter image description here" /></a></p>
<p>This happens with the most recent versions of both Firefox and MS Edge, so it is not a browser problem. It is also not a new problem, I remember having encountered it in the past but never having bothered to report it. (It could also affect MSE.)</p>
<p>The only renderer that is affected by this bug seems to be Common HTML. The other rendereres use different fonts which make the whole line narrower and less needy for space at the right, with the exception of the HTML CSS renderer which uses the same fonts as Common HTML but is smart enough to break that formula across two lines.</p>
https://meta.mathoverflow.net/q/437627MO policy regarding pseudonyms that are other people's real nameThomas Sauvagethttps://meta.mathoverflow.net/users/4692019-11-01T19:48:48Z2023-08-21T08:42:08Z
<p>I have noticed just now that a user has chosen as pseudonym "Alexander Grothendieck", which I'm a bit unconfortable with (the probability that it is also that user's name is extremely low, hence my surmising this is a pseudonym ; apologies if it isn't.)</p>
<blockquote>
<p>what is the policy of MO regarding the use of somebody else's real name as a pseudonym in general, and of a mathematician in particular ? </p>
</blockquote>
https://meta.mathoverflow.net/q/314451News of potential interest to the MO communityLuciahttps://meta.mathoverflow.net/users/386242017-02-20T06:05:04Z2023-08-04T10:16:49Z
<p>Occasionally, there has been a suggestion to start a meta question to collect information that might be of interest to the MO community. This is an attempt to start such a thread.</p>
<p>Is there any news that you think would be of wide interest to the MO community? Please exercise your discretion in any answers, and your judgement on the appropriateness or significance of any event.</p>