Replying to
@potterybyosa@mastodon.social smashing! Err... on second thoughts maybe not the best complement!
Remote
Cardinal Reinhardt
@cardinal_reinhardt@mastodon.social
mastodon 4.8.0-nightly.2026-10-06Mathematician working in set theory. Interested in privacy, F/OSS and literature. New to the Fediverse. Say hi!
0 Followers
0 Following
10 Posts
Joined April 24, 2026
RE: @winbuzzer@mastodon.social
This is interesting, and basically the idea I had when I went through a phase of interest in formal proof checkers (in those days it was Coq, not Lean, and some interesring outsiders like Naproche)
But of course at that time there was no such thing as LLMs which could guide the formal proof. I can imagine though that there will be a somewhat low ceiling to this kind of approach.
Replying to
@koen_hufkens@mastodon.social that quote from the article affords far too much perspective to big tech companies... and if you look at what's happened in the free software world of GNOME UIs and things like that, it's clear it's more a (misguided) attempt to simplify things for the "benefit" of the user
Replying to
@highergeometer@mathstodon.xyz i think there are limited negative results because we're still at the point where positive results are remarkable and we acknowledge that.
Articles like Gowers' are great for delineating what LLMs are currently capable of without hype.
It's difficult to write an article about failed attempts for the same reason it's difficult to write an article about all the times you thought you had a proof of something but there turned out to be a mistake in it...
Replying to
@atoponce@fosstodon.org unfortunately there are only 26 letters of the Latin alphabet and more than 26 sets (or number systems if that's all that matters)
Replying to
@atoponce@fosstodon.org just use double struck S, noone will mind!
Ahhh a good bit of clickbait to get everyone enraged! https://www.scientificamerican.com/article/why-some-mathematicians-think-we-should-abandon-pi/
Which constant do you prefer to use?
Replying to
@augieray @radiomace but co2 levels are unaffected by filtration, so aren't you measuring the wrong thing to get insight into infection risk?
At a high level, with Newtonian mechanics, this seems true. But it seems less true nowadays than in his time. As you dig into things the #math gets more and more complicated and you need more and more laws - some of which don't seem to be so "immutable" (quantum v relativistic physics)
Replying to
@skeletor@mas.to but negronis are icky