@highergeometer.mathstodon.xyz.ap.brid.gy
rimcræftiga |
bespoke constructions in categorified geometry since 2010 |
dude
[bridged from https://mathstodon.xyz/@highergeometer on the fediverse by https://fed.brid.gy/ ]
@highergeometer.mathstodon.xyz.ap.brid.gyThis morning as I roused from a lucid dream about someone I know writing a poem, in rhyming couplets (aabb...) but an odd number if lines, and needing an a-rhyme line to replace the last one. My brain cooked up the perfect iambic tetrameter line: And if in sleep of death I dwell
@sophie.huiberts.meReposted by @highergeometer.mathstodon.xyz.ap.brid.gyToo many people are calling on the community to "change how we value papers". Not enough people are posting "this is what we look for in our next hiring round".
@highergeometer.mathstodon.xyz.ap.brid.gy"I have also given it a stab at trying to understand the proof myself - and I should say that I'm several years removed and rusty from all this stuff - but I find it genuinely incomprehensible. Just terrible, terrible exposition. For some reason an elementary result which I still remember, is […]
@highergeometer.mathstodon.xyz.ap.brid.gyAnd I was reminded of this https://thehighergeometer.wordpress.com/2022/06/24/mathematics-as-art-and-as-craft/
@highergeometer.mathstodon.xyz.ap.brid.gyRelated: https://terrytao.wordpress.com/2026/10/11/illustration-beyond-proof/ just dropped today on @tao 's blog
@highergeometer.mathstodon.xyz.ap.brid.gyHere's what I consider a pretty reasonable use of AI: finding improved Ramsey theoretic bounds, where theory really doesn't help us at all
https://arxiv.org/abs/2610.12122
Almost the *only* thing you can do is computational in nature, so leveraging any and all tools we have to try to make […]
@highergeometer.mathstodon.xyz.ap.brid.gyCollects some quotes I've been curating here, but also my own reflections
@highergeometer.mathstodon.xyz.ap.brid.gyI felt like I had come to a place to actually say something worth saying about last week's dump of AI-generated claimed results.
https://thehighergeometer.wordpress.com/2026/10/12/what-even-is-mathematical-output/
@highergeometer.mathstodon.xyz.ap.brid.gy@GhostOnTheHalfShell there are four Rs!
@highergeometer.mathstodon.xyz.ap.brid.gyOk, this is really useful: Cisinski just pointed out in a comment that the map from sheaf to singular cohomology of X can be implemented by taking a CW-complex X' with a weak homotopy equivalence X'->X and then the induced map on sheaf cohomology gives what you want. This is because on a […]
@highergeometer.mathstodon.xyz.ap.brid.gyI really want to actually spend some of my out-of-corporate-job time working on my own research, in mathematics and in literature, but I find that my brain is just needing time to decompress and process. (Edit: because of current events)
@highergeometer.mathstodon.xyz.ap.brid.gy@dimpase I can safely say that none of the documents cover material that I work on. There are some on things that I sometimes like to read about to broaden my knowledge, but I can wait until experts have digested the material.
If one of them was on something I really care about I would make an […]
@highergeometer.mathstodon.xyz.ap.brid.gy@highergeometer.mathstodon.xyz.ap.brid.gyReposted by @highergeometer.mathstodon.xyz.ap.brid.gy"To the extent I have looked, I would not bet any money that either has a correct proof. Both read like papers I would immediately reject were I a referee, as both seem mainly filled with awkward proofs of well known facts with nothing that motivates." —Nick Kuhn (having looked at two papers of […]
@highergeometer.mathstodon.xyz.ap.brid.gy"To the extent I have looked, I would not bet any money that either has a correct proof. Both read like papers I would immediately reject were I a referee, as both seem mainly filled with awkward proofs of well known facts with nothing that motivates." —Nick Kuhn (having looked at two papers of […]
@highergeometer.mathstodon.xyz.ap.brid.gy"A senior colleague of mine found one of his favourite problems among those solved and attempted to read the accompanying paper. He told me it was so unintelligible that, had he received it as an editor at a mathematics journal, “it would have gone straight into the bin”. —Melissa Lee, Monash […]
@highergeometer.mathstodon.xyz.ap.brid.gy"Numbers. Strange symbols. A board covered in equations. A figure absorbed in an impenetrable proof. This is the image many people have of mathematics. To dispel the myth of science as inaccessible and reserved for a select few geniuses, Hugo Duminil-Copin and Emmanuel Sander invite us to step […]
@highergeometer.mathstodon.xyz.ap.brid.gyI wish we could get an English translation of this, like how Villani's book was translated: https://www.seuil.com/ouvrage/de-l-autre-cote-du-tableau-noir-hugo-duminil-copin/9782021617092
@highergeometer.mathstodon.xyz.ap.brid.gyWell worth your time, especially if you are not a mathematician
@highergeometer.mathstodon.xyz.ap.brid.gyI should say that I actually use AI to formally prove things for my day job, but this is never going to be made public, and as far as I'm aware, not stepping on anyone's toes.
