mg math general

A
Anonymous09/15/26, 22:45No.17054862/mg/ - math general
Jean-Pierre Serre's 100th birthday edition previous: >>16991839
op image
185

Replies

A
Anon09/16/26, 00:27No.17054917
I tried to read his book Linear Representations of Finite Groups but it was very difficult because of all the errors
A
Anon09/16/26, 01:18No.17054940
>NOOOOOOO YOU WERE ONLY SUPPOSED TO GROW SMARTER AND THEN PLATEAU AT A LEVEL JUST BELOW ME.
Reply image .jpg
A
Anon09/16/26, 21:14No.17055435
Reply image .png
A
Anon09/16/26, 22:54No.17055513
There was a panel about AI in math>Michael Harris >Peter Scholze >Jacob Tsimerman >Geordie WilliamsonModerated by some DeepMind guyhttps://www.youtube.com/watch?v=H7_d_sgui6o
Reply image .png
A
Anon09/17/26, 09:39No.17055761
I'd ask this in a physics gen if we had one but alas this board is too full of opinionated schizos to sustain one so I apologize for sloppiness.Consider L^2 or a sufficiently well behaved subspace thereof. The Fourier transform can be expressed as a linear, unitary operator in this space: [eqn] \psi(x) = \hat{\mathcal{F}} \phi(x) = \int_{-\infty}^{\infty} \frac{\exp(-ikx)}{\sqrt{2\pi}}\phi(k) dk [/eqn] [math]\hat{\mathcal{F}}^4 = 1 [/math] makes its powers isomorphic to the cyclic group [math]C_4[/math], and it rotates the operators x and p=-id/dx as a 90° rotation. Now the question: obviously (taking the rotation property of (x,p) as the defining feature) a group of operators isomorphic to SO(2) can be identified. What is its infinitesimal generator? Another way of phrasing the same question is, what is the phase space angular momentum operator A such that [math]\hat{\mathcal{F}} = e^{-i\frac{\pi}{2}\hat{A}}[/math]? A sloppy guess would be x id/dp - p id/dx = x^2 + d/dx^2 which would be the quantum HO for omega = hbar = m = 1 (which is a Hermitian operator that commutes with the fourier transform) but I didn't do it properly yet.
A
Anon09/18/26, 11:07No.17056462
should I apply to university to learn maths or can I self-learn with chatbots?
A
Anon09/19/26, 10:30No.17057041
Ed Witten's father is 105, apparently.
A
Anon09/20/26, 13:47No.17057722
This guy was doing ads for OpenAI like 4 months agohttps://x.com/haider1/status/2101368221651869962
Reply image .png
A
Anon09/21/26, 16:37No.17058496
In physics one important measure of understanding is the richness of connections you can draw and the number of lenses you can see a problem through. Mathematics always seemed similar in that regard but one thing always trips me up. You guys seem to be bored when something has a lot of properties. Your eyes seem to glaze over when a space is Hilbert, a manifold is Riemannian, etc. I get that it's an old hat and chances are everything worth saying has been said about them. But the same is true for things like the harmonic oscillator or other toy problems and physicists seem to enjoy hearing new or interesting interpretations of these sorts of things. What am I missing?
Reply image .jpg
A
Anon09/22/26, 15:28No.17059128
What are some hidden math? Also how do you get into philosophy of math?
A
Anon09/22/26, 20:42No.17059313
Fuck my life
Reply image .png
A
Anon09/22/26, 21:29No.17059333
Reply image .png
A
Anon09/22/26, 21:31No.17059334
MATHIE ARE YOU OKAY
A
Anon09/23/26, 09:15No.17059588
>Thales Pythagoras Eudoxus Plato Aristotle Euclid Archimedes Apollonius Hipparchus Ptolemy Al-Battani Al-Biruni al-Tusi Descartes Fermat Newton/Leibniz Euler Gauss Lobachevsky/Bolyai Riemann Hilbert. This progressive learning of math and logic makes sense?
A
Anon09/28/26, 06:34No.17062415
Reply image .jpg
A
Anon09/28/26, 10:50No.17062577
Stupid question perhaps but: doesn't it already require the axiom of choice to pick a representative from an infinite quotient set? I would suppose you don't always have to (see for example the standard construction of the rational numbers from Z^2, since you can just pick the element with the smallest nonnegative denominator) but I wouldn't be able to give a general answer.
A
Anon09/28/26, 18:21No.17063997
I dont understand what a vector bundle is
Reply image .jpg
A
Anon09/30/26, 03:58No.17065044
>have to try my half-baked conjectures in le meme counterexample generator before I put them in a paper just to make sure I don't get "scooped" by some biostatistician I can't wait until normies stop pretending to care about math again.
A
Anon10/02/26, 20:29No.17066859
Reply image .png
A
Anon10/02/26, 20:35No.17066865
I'm beginning to I won't know anything substantial about Topology from this undergraduate topology course.
A
Anon10/04/26, 06:10No.17067512
Any recs to quickly learn the basic concepts of logic? First order of predicate logic mostly but my professor is already on second order and I didn't learn shit in bachelor so I'm behind. Any lectures, textbooks, etc. would be massively appreciated.
A
Anon10/05/26, 20:58No.17068390
that thing you're working on? it's already solved
Reply image .png
A
Anon10/06/26, 22:34No.17068801
It's over https://raw.githubusercontent.com/openai/math/main/overview.pdf
A
Anon10/06/26, 23:41No.17068842
I left grad school 9 years ago, why haven't you given up on maths and pursued something that will actually bring you success and money instead? read the room, you are no longer required
Reply image .jpg
A
Anon10/06/26, 23:57No.17068851
>Quasi-Riemann hypothesis: Excludes zeta and Dirichlet L-function zeros beyond 7/8. Major progress, although it does not prove full RH.>Hodge conjecture for CM abelian varieties: A major special case, with claimed consequences including Tate for abelian varieties over finite fields.>Hilbert’s tenth problem over \mathbb Q: Settles whether an algorithm can decide if arbitrary polynomial equations have rational solutions.>Unique Games Conjecture: Resolves a central question about how accurately hard optimization problems can be approximated.>Nonsofic groups and Kaplansky counterexamples: Produces groups contradicting several foundational expectations in algebra.>Free group factor isomorphism problem: Claims these fundamental operator algebras are all isomorphic.>Both Mahler conjectures: Settles central convex-geometry questions in every dimension.>Global smoothness of relativistic Vlasov–Maxwell Resolves a major mathematical problem governing plasma dynamics.ummmm math bros?
A
Anon10/07/26, 09:03No.17069169
>AI spergs elected to flood a slow general, begging for attention because all their frog threads have a dozen posts or less >p-pls entertain me /sci/ I am so lonely I don't think I will. Post math.
Reply image .jpg
A
Anon10/07/26, 11:06No.17069247
can anyone with access reup this shit https://link.springer.com/article/10.1134/S0081543824020111
A
Anon10/07/26, 13:31No.17069311
Not sure where else to ask this, as I'm afraid that bringing it up candidly to my professors may (possibly subconsciously) cause them to write me a less-emphatic recommendation.Lately it seems like all published math will be divided between pre-2026 and post-2026, with post-2026 work essentially having an asterisk by the authors' names to indicate that they should be given significantly less respect/prestige.I'm a math major who's currently applying to graduate school, and am coming to grips with the fact that this would really bother me. Everyone has their own motivations, but personally I am mostly driven by competitiveness and the desire to do difficult things that impress peers (including myself). This, when typed out, certainly comes off as the "wrong reason" to do something, but from what I understand they are similar to the reasons that many mathematicians were drawn to the field.Am I overreacting? Should I bail while I can? Just do a phd since that's what I'm set up for, and spend that time planning my pivot?I know those are impossible questions for a stranger to answer, so I guess I'm mostly just looking to see if anyone feels similarly (or would granted the same facts, but disagrees with my premise).
A
Anon10/07/26, 15:12No.17069367
How is Arnold's ODE for a first into to DE. I am a math grad but I have never studied applied math or physics except for CS.
A
Anon10/07/26, 18:27No.17069511
Some guys did a panel after the 400 openai proofs droppedhttps://www.youtube.com/watch?v=voDtZqijetw
Reply image .png
A
Anon10/07/26, 18:47No.17069539
>Math before >You are poor but do it for the love of the game >Math now >You are poor but AI sucks the fun out of everything I’m tired boss. Should have done quant or shit years ago.
A
Anon10/07/26, 23:08No.17069698
>OpenAI dumps a bunch of papers, with about 1 out of every 7 including a lean proof >Lean proof is a mechanical translation of natural language proof the model arrived at So, how does anyone verify that the translation is accurate, and that the assumptions the proof was derived from are the correct ones for framing the problem? I'm not a mathematician, but even as a code monkey I find myself needing to fix AI hallucinations at work.
Reply image .png
A
Anon10/07/26, 23:48No.17069717
Saw the OpenAI announcement today. I'm not smart enough to know if this is a big deal or not. It seems like a big deal. Can someone fill me in?
A
Anon10/08/26, 13:22No.17070224
No of course I don't like "competitive" video games fuck off
A
Anon10/08/26, 14:22No.17070254
Listen I'm sorry, I actually agree with the thrust of your argument and shouldn't have said that. I've been having 30 years of bad days in a row and decided to take it out on an innocent person just because they used a word I dislike.
A
Anon10/08/26, 14:39No.17070262
Some people may be retarded some of tbe time, but all peoplevwon't be retarded all the time. We're entering a new era, but it will be fine.
A
Anon10/08/26, 16:28No.17070321
This might be a longshot, but is there a reason why there is not much discussion (online) around the Baum-Connes conjecture disproof? I am not in C^* algebras but a related field and I thought it was a pretty important conjecture.
A
Anon10/08/26, 17:07No.17070354
Three, six nine.Twelve, fifteen, eighteen.Twenty-one, twenty-four, twenty-seven.Thirty.
Reply image .png
A
Anon10/09/26, 03:47No.17070862
Maths is the most useless thing there is.
A
Anon10/09/26, 07:58No.17070946
If you haven't been cited by an AGI, you're basically a non-mathematician.https://citedbyagi.com/
A
Anon10/09/26, 09:37No.17070987
I wonder what all the tourists will do when the hype ends and they need to find a new personality
A
Anon10/09/26, 09:57No.17071000
I wonder what all the buckbroken fake mathtards will do when AI conquers the galaxy and they need to find a new personality
A
Anon10/09/26, 22:56No.17071419
THERE'S A SOUND AT THE WINDOW, THAT HE STRUCK YOU, A CRESCENDO, MATHIE
Reply image .jpg
A
Anon10/10/26, 00:35No.17071455
Why wouldn't this work?
Reply image .png
A
Anon10/10/26, 13:57No.17071748
The line is fuzzy no?
A
Anon10/12/26, 10:48No.17073027
Please recommend me a Lattice Theory textbook, friends.
Reply image .jpg
A
Anon10/12/26, 19:07No.17073345
>generalizes derivative Show your gratitude, /mg/. Can you prove its uniqueness?
Reply image .jpg
A
Anon10/13/26, 20:09No.17074087
>/mg/ is dead nowadays This is sad, 5~6 years ago these threads would hit the bump limit in like 4 hours or so.
A
Anon10/14/26, 06:33No.17074300
Any good reason why fixed point notation for groups uses an exponent like K^G or V^G for fixed point vector spaces?Or is it a coincidence/lack of new symbols that it's similar to a function space like Y^X
A
Anon10/19/26, 22:24No.17077763
I'n getting back into math with some ezpz junior maths olympiad questions very comfy and better than 4chan or solitaire
A
Anon10/20/26, 00:39No.17077796
For those who continue to study math on their own after graduating from uni, what is your motivation behind this? I know it's just a curiosity but how do you keep yourself encouraged to do this?
A
Anon10/22/26, 01:49No.17078498
The absolute state of this general. Would it maybe help if I made these a little easier?
Reply image .png
A
Anon10/22/26, 03:38No.17078533
https://www.youtube.com/watch?v=zONGVaONKe8 It'll all be okay.
A
Anon10/23/26, 18:57No.17079409
>be me >math undergrad >has to take linear algebra this semester >studies for 7 hours from Liesen >only advanced 20 page-ish how do i fix this? is 3-4 pages per hour normal or am i just retarded?