A colleague of mine went to a conference this week where they talked about (among other things) the use of LLMs and other generative "AI" tools in instruction. There is, it seems, a tool which will attempt to summarize notes and make a "podcast" out of it.
"But this tag is not for asking someone else to write a proof for you, or for how to answer some question." is not the same as "But this tag is not for asking someone else to write a proof for you or for how to answer some questions.", and I deem your version worse
Also please heed what Xander and I told you about minor edits; I just went through a row of them by you
@BenSteffan The problem is that I cannot tell the difference between a minor edit and a major edit. According to my inexperienced assessment, the ones I do are significant. Excuse me if that is not the case.
@Bml Minor edits are those that don't change the content of what you're editing; stuff like grammar, punctuation, formatting. Major edits are edits that change what's being said, e.g. adding a paragraph, modifying mathematical statements, etc.
Consider a complete measure space $(X,\mathcal M,\mu)$. If $f=0$ $\mu$-a.e. with respect to the complete measure $\mu$, does that imply $f$ is $\mathcal M$-measurable?
One really must wonder what's going on in these times when someone who claims to search for "spirit of Ramanujan" only cares about rigor in the toolbox
I suppose. The angle I've taken is to essentially attempt to constrain information theory
So Ive built algos that could very well be foundational
Likely are even as simplistic as it sounds to reason this way
My latest belief is that a sequence of numbers emerging from a binary algorithm with a third placeholding symbol could be used to find a counterexample to RH. its a neat algo and what I think must be necessary is to go between each pair of numbers and take the larger choose the smaller and iterate until one number remains. That number should be an answer to a big question. So like 5 3 1 would turn into 10 3 then 120 for example
@SineoftheTime one algo I have leads to a complexity theory result of interpreting binary a certain way and another interpretation leads to a physics result where 3/4 numbers appear. I'm unsure what you figure math is that you assume I don't
Indeed @think_meaning_builds
I like your inputs think meaning builds
Maybe nowadays 'accent' of mathematics overrides it's utility
That seems to be a catering to people who don't get it