Nicolas Addington
@naddington.bsky.social
Mathematician, University of Oregon.
![After the paper was written, the author learned that the same result was also proved independently and by a different method by Ningyi Li [7]. The result is also contained in a paper (8] released by OpenAI on October 6, 2026, in which the proof strategy and specific choices of notation are identical to a preliminary version of the present paper that was uploaded to ChatGPT on September 8, 2026.](https://cdn.bsky.app/img/feed_thumbnail/plain/did:plc:thgrcc2e2qyxxtfmjp6vctxc/bafkreihhkayosq6gwp3c7k7vhx5m4sgkk4rhm3nkm54xq5qeaozcrp2m4m)
OpenAI has dumped some results on us: github.com/openai/math/...
Forgot my belt at home; now off to teach all morning with my pants falling down.
Dawning on me that Jason Isaacs and Oscar Isaac are also two different guys.
Nicolas Addington@naddington.bsky.social · 12mo agoOh shit Guillermo del Toro and Benicio del Toro have been two different guys this whole time.
Retweeting my friend's cat for anyone who followed me in the last two days for cat pix.
Nowhyok@nowhyok.bsky.social · 6d agoCurrently rearranging my afternoon to allow her to continue napping in the sun a little longer
Guys I’ve been holding out on you — we got kittens like a month ago and I haven’t posted any pictures.
John Baez @johncarlosbaez.bsky.social I'm sitting in on the first day of a topics course by my colleague Ian Zemke and he's currently praising your book Gauge Fields, Knots, and Gravity, so if your ears are burning that's why.
Drove in past the train yard along Northwest Expressway, and in the distance were the south hills and Spencer’s Butte with the morning light on them, and it was nice.
Found a note from my past self in the TeX comments for one of my syllabi: "Next time put these due dates back on Fridays -- this year Veterans' Day and the final exam schedule got in the way." Thanks dogg, you really had me scratching my head about why those things were all due on Thursdays.
Joke at lunch was that maybe Trump will unilaterally rename the journal and then Google will think I have a paper in JAMS.
Nicolas Addington@naddington.bsky.social · 3w agoAfter a long wait, my paper with Elden Elmanto has been accepted at J. Eur. Math. Soc. Best journal I’ve gotten into in a while. arxiv.org/abs/2312.06930
Someone dropped this cable on the sidewalk. I thought about picking it up, but my car only has one cigarette lighter, and even if it had two I can’t think of a situation where I’d need to connect them.
Just spent half an hour thinking I’d found a mistake in a paper of Voisin, and once again the mistake was mine.
After a long wait, my paper with Elden Elmanto has been accepted at J. Eur. Math. Soc. Best journal I’ve gotten into in a while. arxiv.org/abs/2312.06930
The Lichtenbaum-Quillen dimension of complex varieties
The Lichtenbaum-Quillen conjecture for smooth complex varieties states that algebraic and topological K-theory with finite coefficients become isomorphic in high degrees. We define the "Lichtenbaum-Qu...
arxiv.org
Wondered about the etymology of “feisty” so I looked it up. Worth reading all the way to the end… www.etymonline.com/word/feisty
Feisty - Etymology, Origin & Meaning
"aggressive, exuberant, touchy," American English, with -y (2) + feist "small dog,"… See origin and meaning of feisty.
etymonline.com
Today’s the day! Our college administration is taking over the math department office, kicking out our department head and academic staff to make room for “operations” staff. We fought it longer than other departments, but in the end we lost.
I thought I was ready to resubmit the paper to the journal, and then I thought maybe I should ask Claude to check for typos. Humbling.
Essay by Burt Totaro on the Hodge conjecture, posted last Friday. terrytao.wordpress.com/2026/09/11/o...
On the Hodge conjecture
[This is a guest post by Burt Totaro. This blog post was initially written in a different file format and converted using AI. — T.] These are strange times for mathematicians. It now seems po…
terrytao.wordpress.com
Does anyone write Birch\Swinnerton/Dyer to troll the automorphic forms people.
Pretty pleased with the green bean situation this fall. Here’s this evening’s harvest.
My neighbor moved away and gave me his battery-powered lawn mower. So much better than my old plug-in electric mower — why did I spend a decade wrestling that extension cord around the yard instead of just buying something that worked?
Ok I said I’d quit Google Maps over the Gulf of America, but this time I really am done.
Picture isn’t coming out but there’s a pretty good lunar eclipse right now.
Who knew?
Representative Val Hoyle@repvalhoyle.bsky.social · 2mo agoDolly Parton will always be remembered for her kindness and service to others. Her song, Eugene Oregon, was written after she received the first standing ovation of her career here in Eugene. Read more here⬇️ www.eugenesymphony.org/news/listen-...
Remember how years ago, Google was criticized for having Wikipedia as the top result when you searched for a medical topic, just like it was for any other topic, so they changed their algorithm to have medical searches return WebMD, Mayo Clinic, etc. first and Wikipedia much lower if at all? …
This is a bigger result, of the form “asked ChatGPT, got a wrong answer, but thinking about it led to a right answer.” And the conjecture was much-discussed but not widely believed.
@antieau.bsky.social · 2mo agoAlex Perry has disproved the period-index conjecture in dimension 3. His period-2, index-8 example is the precise case Ben Williams and I expected but could not prove. Blog: antieau.github.io/2026/08/05/p... Paper: arxiv.org/abs/2608.03684
Ben Antieau and his FRG collaborators have proved that Hodge numbers are invariants of the derived category of a smooth complex projective 4-fold, with a new idea from the fancy version of ChatGPT.
@antieau.bsky.social · 2mo agoGPT-5.6 Sol Extra High proved that derived-equivalent smooth projective complex fourfolds have the same Hodge numbers. The key step: the Mukai pairing shows the topological signature is a derived invariant. antieau.github.io/2026/07/31/h...
Just learned that the root of “onerous” is “onus,” a burden. To exonerate someone was originally to unburden them.
The Odyssey is good. The running discussion of the Sea Peoples is a clever addition.