So 6 open erdos problems were just solved. GitHub link shows both prompts used and solutions verified by lean. All used GPT 5.6 Sol.

The general way to structure prompts is also mentioned in the twitter thread!

Credits: https://x.com/qiaoqiao2001/status/2080003441821163958?s=46

I recently learned about Shinichi Mochizuki's claimed proof of the ABC Conjecture through his Inter-universal Teichmüller (IUT) theory. From what I understand, the proof spans around 500 pages and introduces a large amount of entirely new mathematics. The main reason it remains controversial is that several experts, most notably Peter Scholze and Jakob Stix, argued that there is a serious gap or flaw in a key part of the argument, while Mochizuki has disagreed with their assessment.

This made me wonder: why hasn't anyone tried to formalize the entire proof in a proof assistant like Lean?

In principle, if every definition, theorem, and logical step were encoded in Lean, wouldn't it be possible to determine whether the proof is logically valid? I realize formalizing 500+ pages of highly abstract mathematics would be an enormous undertaking—especially since much of IUT theory would likely need to be built from scratch—but would such a project be feasible in the long run?

Or is the difficulty not just the size of the proof, but that there are parts of the mathematics that are still too unclear or disputed to even formalize unambiguously?

I'd be interested to hear from people familiar with formal verification or IUT theory.

For those that celebrate.

Hello!

I am going to graduate in December with a degree in Applied Mathematics. I have had a variety of interests through my classes (cryptography, options, optimization, amongst a few others), but I am unsure as to do what I want to actually do once I graduate. I have started to consider graduate school, but I was wondering if I should rule that out since I’m already unsure on what to specialize in. Any advice/discussion is welcome, just trying to hear others thoughts and experiences.

I’m a programmer with an interest in math so I subscribe here. Seems AI is doing a lot of work in this field and I’m sure plenty of mathematicians are interested in leveraging AI. I and other devs have a lot of experience in how to do so. I was thinking that it might be beneficial to have a thread where we work together to try and optimize your setup so that you can utilize these tools more effectively.

This was motivated by a recent exchange in this subreddit where a mathematician was saying "I’ve never heard of subagents" and I realized that you guys might be able to accomplish a lot more if we put our heads together.

Hey all. I am studying calculus 2 this summer and my professor has put forward a new criteria for getting an A and a quite unrealistic one at that. He said if using chatgpt or any assistance , we are able to create a new convergence test that has never been presented before (works even if it is applicable for even just a few types of series and fails for others) , we can get a good grade. Is it kinda possible that we do this? Has anybody got an idea. HELPPPP

p.s dont mind my english, its my 2nd language.

Hello! I just got to the ICM and found out that literally no one I know is here. the profs, postdocs, PhD students, and fellow undergrads I know who said they’d go earlier in the year all dropped for various reasons in the last couple weeks :( are there any other younger mathematicians who would be down to meet up at some point in the coming days? Always looking to meet new people!

My bro has qualified gate and net in maths both exam. Can anyone please tell me best institute/university for phd(maths) and complete procedure. And when university open their application forms for admission

Chat link is linked. Credit to https://x.com/dmitryrybin1/status/2079904005652893709?s=46

I'm planning my undergrad degree and would love to hear from people who studied Applied Mathematics and Statistics. I love using math to understand complex systems and am most interested in things like space, weather, oceans, history, culture, and languages. Since I obviously can't major in all of those, I'm considering majoring in Applied Mathematics and minoring in Statistics because it seems like a flexible foundation that could be applied to many different fields. Unfortunately whenever I search for career paths, I mostly find people who went into computer science/tech, finance, or medicine which is fine but I'm not interested in those fields at all. Has anyone here used an Applied Math/Stats background in scientific research or other interdisciplinary fields like the ones I'm interested in. If so, what's your profession? If you're in science, what field are you in? I'd like to know more about using applied math/stats in areas like atmospheric science, oceanography, astronomy, environmental science, archaeology, linguistics, history, geography, or the digital humanities. I'm trying to understand how broad the field really is and what kinds of careers people have actually built with this background. I'd love to hear about any less common paths that you've taken.

recently i studied autostereograms and tried to make them on my own out of curiosity. the outcome was not practically useful at all as there're millions of free resources online that could make autostereograms of high quality. it's the journey that mattered. i learned a lot from it and i'd like to share

at first i was overwhelmed by the amount of variables i had to deal with. the eye separation, the view distance, the background distance, the width of the base pattern, the closest point relative to the farthest point, etc. i got lost. after some struggles i realized it's all about ratio / similar triangles

then everything became simple. we don't have to actually set how far the observer was from the screen, etc. as shown in attached image 1, we let the entire thing to be 1 unit wide and 1 unit high and deal everything inside as ratio

as a math guy i particularly love those variables that lie between 0 and 1. we imagine the observer and the background (the plane containing the farthest point) never move. the screen moves. when the screen touches the background p=0. it's the possible minimum of p. when the screen touches the observer p=1. it's the possible maximum of p. the smaller the value of p, the weaker the 3d effect is

we do the same to the closest point. closest point can be interpreted as the highest point of the 3d scene. we imagine the screen and the background never move. the closest point moves. when the closest point touches the background q=0. it's the possible minimum of q. when the closest point touches the screen q=1. it's the possible maximum of q. the smaller the value of q, the weaker the 3d effect is

let's call p the background factor and q the foreground factor and here's my program. you can run it on browsers. click ▶️ to run. click ⏹️ to exit. when running the program

• press [q] to decrease foreground factor
• press [w] to toggle foreground subject (a disc / a sphere)
• press [e] to increase foreground factor
• press [a] to decrease background factor
• press [s] to change background (4 included)
• press [d] to increase background factor
• press [x] to toggle caption (off / on)

all backgrounds are function generated. if you have any interesting ideas of making background just let me know...:)

Hello all,
I’m currently in the process of enrolling in classes for my first semester in college. I graduated from high school in 2024 and haven’t had much math experience since. Even while in school, I avoided the complex math classes because it was easy to rationalize that I wouldn’t need them for anything I was interested in- plus it was frustrating that missing a day or two meant a complete disconnect from whatever the next section was.

All of that to say, I’m not too well versed in math, and have made no attempt to sustain most of the information I had.

My current situation:
- I moved to Seattle last year and have obtained residency
- I am working 30-40 hours a week and am making enough to sustain myself, but it’s difficult to save up.
- I’ve enrolled for the fall quarter at Seattle central college
- I don’t know what I want to pursue in school, so I want to have general classes that leave wiggle room to make that choice later
- my partner is a math major

Now the question is- should I take MATH 146? Looking at everything I just laid out, the obvious answer to me feels like no. Taking 146 requires me to concurrently take math 46, which I wasn’t planning on because I didn’t want to overfill and exhaust my schedule since I’m also taking english 101. All three of those classes line up to make my in-person schedule MoWe 8:05-11:35 (eng,46,146)

Again, this is my first college experience. I couldn’t find much information on the subject which is why I’m here. My work is able to accommodate my school schedule and express that they want me to succeed; even with accommodations my hours will still take a slight toll.

If you’ve made it this far, I really appreciate it. Please ask any questions that could help. Thanks :)

Assume you have only one month to live, what topic you. want to understand before you die?

algebraic geometry, topology, cohomology, lie group ....etc

im sorry if this is the wrong place to ask but what minor did you choose if you did a math major?? Im honestly having such a hard time and thinking about just not doing a minor. (Maybe stats or Econ ????)

I'm starting my freshman year at college with a major in mathematics and I cant find anyone with my particular issue. As it says in the title I'm torn between a laptop and tablet as I fully intend to take digital notes as my paper notes are always unorganized and I lose important things often. A issue with a laptop is I would need to get something to take notes on if I got one and a laptop feel like it will be redundant as I am not going to use it at home. I feel like a tablet with a keyboard would just cover all my needs but I would like advice from people who have already gone through this or any recommendations on what to do.

I've seen on other similar posts that a program called LaTeX will require I have a laptop but is this something I need use during lectures or something I can just use my desktop for. Also for reference I live close enough to my school that I will be going home everyday so that's not the issue.

Before I came to this debate I was looking at laptops and found the Acer - Swift Go 16 AI on sale for for 699$ usd. However if anyone has any better recommendations if you think I need a laptop feel free to send them but I would like to say around the 700$ but don't mind going above it if seriously needed. Also I would like to use windows as I'm not a fan of Mac OS. And for tablets I would also just prefer to avoid apple products as I'm not a fan of them but wouldn't mind if its the only good option.

Additionally for classes I'm taking I will have calc 3 in fall and diff eq in the spring if this effects what I should use lmk.

TLDR: just read the title.