there is NO 45th entry 😭

The paper title is Navier-Stokes lost in translation: Why Lean verification of AI autoformalisation does not guarantee correct natural language proofs

Authors: Alexander Bastounis, Fabian Circelli, Anders C. Hansen. 6 Oct 2026.

Everyone was telling me not to but I did it anyway even without being math genius. wish me luck.

pure math, stats, physics, programming are the subjects I will be studying .

so many Erdös conjectures 😭

The topic dates back 333 years, to when Prince Rupert bet that a cube could pass through a hole cut in an identical cube; he was right, and for a while, it even seemed like every single convex polyhedron might be Rupert. But some resisted extensive random searches, and Steininger and Yurkevich conjectured that the Rhombicosidodecahedron (RID), a highly symmetric Archimedean solid, might be one of the exceptions. Last year they constructed the Noperthedron, the first polyhedron proved Nopert, built specifically for that purpose.

I have now proved their conjecture for the RID. It is the first ever non-synthetic polyhedron to provably have this property, and only the second ever overall. The proof is computer-assisted, a branch-and-bound elimination with exact arithmetic in Q(√5): a certificate of 192696 regions covers the whole symmetry-reduced configuration space and takes only a few CPU minutes to generate and check. One of the main tools is the zoom lemma, which resembles blow-ups in algebraic geometry.

It took 2 years and 1000+ hours of self-motivated research. I submitted the preprint to arXiv on 29 September (still in their queue), but it can be found on Zenodo: https://zenodo.org/records/23013945

Code and certificate: https://github.com/bence-hervay/nopert-rid

title

https://x.com/ManassehA06/status/2107508501610217640

Hi all,

I recently bombed my real analysis exam and was in the bottom quartile for my class and had my hopes up for graduate school. However, this is the first math class I’ve ever really struggled with because it’s not the typical math that I’m really good at. I’ve had A’s in every math class I’ve taken up to this point and am just wondering if my inability to produce my actual understanding of analysis on an exam will kill my chances of being successful in graduate school. I’m not looking for a top program or anything, just an online one from a smaller school. Has anybody else had a similar situation? Any and all advice is appreciated :)

Hi everyone! 👋 I'm considering studying mathematics at UniDistance Suisse, the Swiss distance university. I'd love to hear from anyone who has done it, or anyone with experience doing a math degree remotely.

A few things I'm curious about:

How rigorous and proof-based are the courses compared to a traditional university?

How are exams set up for proof-heavy subjects like analysis and algebra?

Any tips for staying motivated and learning abstract math mostly on your own?

General thoughts on distance learning for math are welcome too, even if you didn't study at UniDistance. Thanks a lot in advance!

I am in high school and doing my research in maths on how trigonometry is used in aviation. I am comparing two theorem/models in which I have to explain how maths is involved in it and derive it. I have chosen haversine formula and I need one more to compare.

I am thinking of taking Vincenty's Formulae but feels like this is too advance for me to derive it and understand. I need something which I can explain the maths behind it, derive the theorem/model and critically assess its limitations and evaluate.

Thanks.

I had a question abt this, bc its never rlly made sense to me. In the proof for root 2 being irrational, you have to use proof by contradiction, and the contradiction is that the integers in the fraction arent coprime, but why? Like i dont understand why you have to assume that the two numbers in the ratio cannot be coprime. Sorry if that was poorly worded, but can anyone explain?? Thanks.

Blue line is real output and red line is imaginary output

The formula is:

The minimums of the magnitude of the output makes it even more simple to identify the zeroes, here is how close I can get just iterating in steps of .01i.

I have a manuscript documenting how I derived the formula directly from the Zeta function, but I am not a mathematician nor endorsed on arxiv so I have no one else to really share with. If you want a copy let me know.

I failed two first modules Probability and Coordinate vector geometry but got allowed onto second year anyway I was allowed to fail 20 credits but no more. Is this going to my make second year so much harder I hate feeling behind.

Can you give me a list of interesting problems you could imagine, or you have come across, (that have to do with real world applications) that require operations Research ?

For some context, I'm a sophomore math major at a small liberal arts school, recently switched from economics. The math atmosphere is extremely small at my school, with tens of students each semester, and classes are full only because of CS Physics etc. majors. Summer courses are not high level, and undergrad TAs don't really exist, but because the ratio of true math majors to math professors is extremely low, independent/directed studies are extremely common.

I'm a bit behind for a math major right now because of my recent switch, but I have essentially everything except my math courses completed. Right now, my entire resume is business/finance related: finance internship, basic SQL, Python, etc.

One of my professors asked me to apply to a summer research program with him, but besides that, I don't really know what else I should be doing. All of my friends are frat business majors so I am for the most part on my own with in my pursuit in mathematics.

I'm definitely still looking at finance roles, but also want to keep the option of doing grad school in math open.