Nalini Joshi @monsoon0.bsky.social · 5hFrom my wonderful mathematical colleague Melissa Lee @monashuniversity.bsky.social 020
Reposted by Nalini JoshiRagnar {Groot Koerkamp} @curiouscoding.nl · 08/10/2026Turns out 3 of the papers have been retracted based on a sign error in one of them. github.com/openai/math/... 4456
Nalini Joshi @monsoon0.bsky.social · 08/10/2026There are several statements: 1. it “translates’ the wrong NL ‘proof’ .. into a correct proof in Lean that correctly compiles.” 2. It “translates’ the correct NL proof .. into a completely different proof in Lean that compiles” & 3. The proof is “not semantically faithfully translated into Lean”. 110
Nalini Joshi @monsoon0.bsky.social · 08/10/2026Here’s a bombshell for those considering the impact of the recent dump of mathematical papers by OpenAI: why the semantic translation of a mathematical text into Lean code by an AI may neither be reliable nor faithful 👉🏼 arxiv.org/abs/2610.08144arxiv.orgNavier-Stokes lost in translation: Why Lean verification of AI autoformalisation does not guarantee correct natural language proofsAutoformalisation is increasingly used to verify mathematical texts, including those generated by AI, as in OpenAI's announced proof of blow-up of solutions to the Navier-Stokes equations. In this pro... 34220
Nalini Joshi @monsoon0.bsky.social · 06/10/2026In case you’re wondering why I’ve been posting about inappropriate relationships between students and staff, the news about this case of a mathematician is now reaching across the media … vinnews.com/2026/10/01/h...vinnews.comHebrew University Professor Convicted Of Harassing Doctoral Student Who Later Died An Untimely DeathJERUSALEM (VINnews) — A disciplinary appeals panel at the Hebrew University of Jerusalem has rejected an appeal by mathematics professor Karim Alexander Adiprasito, upholding his conviction for sexual... 4158
Reposted by Nalini JoshiLisa Carey @msleedy.bsky.social · 04/10/2026Genuinely concerned about what's happening to the space-time continuum in this toilet. 1143574790
Nalini Joshi @monsoon0.bsky.social · 03/10/2026Has the world gone mad? I just got charged $20.20 for an affogato ☕️+🍨 at the Opera House… 040
Reposted by Nalini JoshiARC Tracker @arc-tracker.bsky.social · 02/10/2026ARC has given some details of how new Explore scheme will run ▶️ www.arc.gov.au/news-and-pub... ❗️There's a lottery❗️ Peer review yields 3 categories: highly competitive, competitive, uncompetitive. After funding highly competitive apps, competitive ones enter a lottery for remaining $. 33120
Nalini Joshi @monsoon0.bsky.social · 01/10/2026A propos @astrokatie.com ‘s recent post on vulnerability of grad students to badly behaved senior researchers, I draw your attention to a very recent ruling by the Hebrew University Sexual Harassment Tribunal (use Google Translate if needed)👇🏼 www.ynet.co.il/news/article...ynet.co.ilהפרופ' שהטריד את הדוקטורנטית שלו בעברית המשיך בקריירה. היא מתהערעור שנדחה בבית הדין של האוניברסיטה העברית גולל סיפור קשה ועצוב: דוקטורנטית צעירה שהוטרדה שוב ושוב, התלוננה - ועד ההרשעה נמצאה ללא רוח חיים. המתמטיקאי, פרופ' קארים אדיפרסיטו, מכהן כיום בתפקידים בכירי... 121
Reposted by Nalini JoshiEugene Vinitsky 🍒 @eugenevinitsky.bsky.social · 30/09/2026Preparing a lecture on the practice of research and was reminded of this lovely essay on the importance of being comfortable with feeling stupid: fermatslibrary.com/s/the-import...fermatslibrary.comFermat's Library | The importance of stupidity in scientific research annotated/explained version.Fermat's Library is a platform for illuminating academic papers. 3255
Nalini Joshi @monsoon0.bsky.social · 30/09/2026My University’s Code of Conduct contains the following section. Does your University have a similar policy? 191
Nalini Joshi @monsoon0.bsky.social · 30/09/2026I will be giving the 2026 Moyal Medal Lecture today at 18:30 at the Macquarie University campus 👉🏼 www.mq.edu.au/faculty-of-s... 273
Nalini Joshi @monsoon0.bsky.social · 29/09/2026I collect first lines. Do you recognize this one? “It was a bright cold day in April, and the clocks were striking thirteen.” 131
Reposted by Nalini JoshiCNN @cnn.com · 28/09/2026An 11-year-old chess prodigy has become the youngest woman grandmaster of all time, after a strong performance at the 46th Chess Olympiad. cnn.it/4d56dpY 936551
Reposted by Nalini JoshiClément Canonne @ccanonne.github.io · 28/09/2026From our friends at the School of #Mathematics and Statistics at #USyd: positions as 'Magma Research Associates / Magma Research Fellows to develop and maintain the Magma computer #algebra system." 2 positions, each for 3 years: apply by October 20 usyd.wd105.myworkdayjobs.com/en-US/USYD_E...usyd.wd105.myworkdayjobs.comMagma Research Associate / Magma Research Fellow2 x full time, 3-year fixed term positions, located on the Camperdown Campus at the School of Mathematics and Statistics Opportunity to drive research in computational pure mathematics through the dev... 189
Reposted by Nalini JoshiDr Maggie J Watson @terngirl.bsky.social · 28/09/2026Musk lorikeet Trichoglossus concinnus in a grass tree Xanthorrhoea australis, Inverell, NSW photo by Ash Falconer 29022
Reposted by Nalini Joshiphoenixrising @mmcarthur.bsky.social · 24/09/2026Joan Mirò : The Garden, 1925 Oil on canvas 96 × 80 cm | 37.8 × 31.5 in Reflects Miró's poetic visual language, utilizing simplified organic shapes, biomorphic forms, and a dream or childlike sandbox approach to the subconscious mind. 16961160
Nalini Joshi @monsoon0.bsky.social · 25/09/2026In my school days, it was the magpies who pecked the foil tops off milk bottles waiting for us at recess… 010
Reposted by Nalini JoshiMatt Henderson @matthen.com · 23/09/2026Repeatedly subdividing a triangle using its centroids 1022137
Reposted by Nalini JoshiSteven Strogatz @stevenstrogatz.com · 23/09/2026www.nytimes.com/2026/09/22/s...nytimes.comMathematics Isn’t Just a Game to Let A.I. Solve. History Shows Why. (Gift Article)In our field of applied mathematics, the long, human process of trial and error — not just the solutions themselves — is often what has led to progress. 15722
Reposted by Nalini JoshiProf Rachel Oliver @profrachelgan.bsky.social · 22/09/2026One of the challenges of being a senior woman in academia is that our models for leadership are usually male & frequently achieve their goals by making rude demands. If women try that, it really doesn't go well for us. So a lot more emotional load is involved in formulating every request. 1254
Reposted by Nalini JoshiAlexander Kasprzyk @amkasprzyk.bsky.social · 22/09/2026Public perception about the future of mathematics is an enormous challenge facing our community. We are currently not even remotely in control of the narrative. For example, the photo shows what’s on display in every newsagents and supermarket in the UK. Will future students be scared away? #MathSky 5288
Reposted by Nalini JoshiHuck Bennett @huckbennett.bsky.social · 22/09/2026Wow does the post title bury the lede! I particularly like the pictured comment. 35715
Reposted by Nalini JoshiAgonyFlips @agonyflips.bsky.social · 20/09/2026When you're ticked off and a friend sends you something to make you feel better. 🐑🔊 493158003850
Nalini Joshi @monsoon0.bsky.social · 21/09/2026Initial Members of the Advisory Group on Mathematics and AI: Camillo De Lellis (IAS) Timothy Gowers (Cambridge) Martin Hairer (EPFL) Nikhil Srivastava (Berkeley) Ulrike Tillmann (Oxford) Ravi Vakil (Stanford) Edward Witten (IAS) Melanie Matchett Wood (Harvard) terrytao.wordpress.com/2026/09/21/a...terrytao.wordpress.comAnnouncing the Advisory Group on Mathematics and Artificial Intelligence[This is a guest post by the Advisory Group on Mathematics and Artificial Intelligence. This blog post was initially written in a different file format and converted using AI. — T.] We would … 3100
Reposted by Nalini JoshiTallgirl6234 @tallgirl6234.bsky.social · 21/09/2026 “If I am worth anything later, I am worth something now, for wheat is wheat, even if people think it is grass in the beginning.” - Vincent Van Gogh 201903306
Nalini Joshi @monsoon0.bsky.social · 21/09/2026The Ruth I. Michler Memorial Prize of the AWM is awarded annually to women recently promoted to Associate Professor or ..equivalent.. in the mathematical sciences. It provides a fellowship to spend a semester in the Math Dept of Cornell University without teaching obligations 👇🏼 064
Reposted by Nalini JoshiLondon Mathematical Society @londmathsoc.bsky.social · 20/09/2026🏅 Nominations are open for the 2027 LMA/@ima-maths.bsky.social Crighton Medal. The medal is named in honour of David George Crighton FRS and is awarded to an eminent mathematician for services both to mathematics and to the mathematical community. ➡️ www.lms.ac.uk/prizes/crigh... 025
Reposted by Nalini Joshiwomensartbluesky.bsky.social @womensartbluesky.bsky.social · 18/09/2026Wild Flowers, 1995 by Indigenous Australian artist Emily Kame Kngwarreye #womensart 41952339
Reposted by Nalini JoshiTim Chartier @timchartier.bsky.social · 17/09/2026Pleased to have Weighted Voronoi stippling implemented. Cool look! 0262
Reposted by Nalini JoshiLondon Mathematical Society @londmathsoc.bsky.social · 17/09/2026The 2026-27 Round of LMS Early Career Fellowships are live, open to early career mathematicians in the transition between PhD and a postdoctoral position. Deadline is in TWO weeks (1 October 2026). For further details ➡️ www.lms.ac.uk/grants/lms-e... 013
Nalini Joshi @monsoon0.bsky.social · 15/09/2026ICYMI it says “The current version of the manuscript is complete mathematically, but it is not in the shape we wished to share in. We have chosen to do so due to rumors that surfaced around Friday, September 11th. We will work on a more complete version of the manuscript in the close future.” 030
Reposted by Nalini JoshiMatt Henderson @matthen.com · 13/09/2026Approximating the Lorenz attractor with a chaotic leaky water wheel. The orange dot is the centre of mass of the water. It traces (a projection of) the familiar attractor as the wheel spins seemingly randomly left and right. 14741151
Nalini Joshi @monsoon0.bsky.social · 12/09/2026Someone sounds like they need to read the definition of the word “thoughtfully” in the statement “We are working through how to share these results thoughtfully.” 011
Reposted by Nalini JoshiQuanta Magazine @quantamagazine.org · 08/09/2026Mathematicians at OpenAI announced that a group of 10,000 autonomous AI agents under their direction proved that the Navier-Stokes equations can “blow up,” thus solving one of the six remaining Millennium Prize Problems. The result is not without controversy. www.quantamagazine.org/ai-has-solve...quantamagazine.orgAI Has Solved One of Math’s $1 Million Millennium Prize Problems | Quanta MagazineMathematicians at OpenAI showed that the Navier-Stokes equations, which describe how fluids flow, can sometimes “blow up.” But the massive result is not without controversy. 35429
Reposted by Nalini JoshiMargaret Low @megjlow.bsky.social · 03/09/2026TurtleStitch Discovery Day @ Warwick 22nd September, 10:00-15:00 (drop in) Explore #TurtleStitch, where coding meets digital embroidery! A drop-in day with links to Computing, Maths, Art & Design, and cross‑curricular projects. Register: www.warwick.ac.uk/turtlestitch #WMGOutreach #TurtleStitch 0104
Reposted by Nalini JoshiJohn Lyon @johnlyon.bsky.social · 03/09/2026I tried to delete my Bluesky account but accidentally deleted my real life, so I only exist here now. Please feed me likes to keep me alive. 1148895
Reposted by Nalini JoshiMatt Henderson @matthen.com · 31/08/2026Knight’s Distance Function (how many knight moves a square is from another) 412214
Nalini Joshi @monsoon0.bsky.social · 29/08/2026Have you seen the Sidney Harris ones here -> www.cottonexpressions.com/product-cate... ?cottonexpressions.comScience Cartoon T-Shirts - Cotton ExpressionsHumor and science converge on our science cartoon t-shirts, which will tickle your funny bone with bold wit and whimsy (and without nitrous oxide). 020
Nalini Joshi @monsoon0.bsky.social · 29/08/2026This is an extremely worrying graph (via @thecovidinfoguy.bsky.social ) from the report at www.cdc.gov.au/resources/pu... 040
Reposted by Nalini JoshiContempraInn 🌹 @contemprainn.bsky.social · 27/08/2026Delicate Arch in Arches National Park, Utah 1005168747
Reposted by Nalini JoshiMatt Henderson @matthen.com · 26/08/2026To tell if a maze is solvable, just hang it by its corners If it tears into pieces, you’ve found a solution 694155869
