Donald Knuth is impressed by the creative problem solving capabilities of Claude.

The latest Claude seems to be able to synthesize small apps from a short description pretty much autonomously. I'm having hard time adjusting to this reality. I can now make small bespoke productivity apps just for myself. Computers just become a lot more useful for a lot of things.

Cool repository from Terence Tao: A list of various mathematical constants whose exact value is unknown. The page lists the best known lower and upper bounds for each constant. TCS is represented: e.g. undecidable busy beavers and random 3-SAT satisfiability threshold. github.com/teorth/optim...

Here is a small research project that I did recently with chatbots: github.com/suomela/fin-... — everything is vibe-formalized in Lean 4 (approx. 24500 lines of Lean code).

A quick review of Venice #dsb2026 blog.jnalanko.net/2026/02/20/v...

The architecture and art at the DSB 2026 workshop is out of this world. The talks are also great! #dsb2026

The feeling when you try to update some dependencies but get just a compiler error linking to the xkcd comic about all modern digital infrastructure relying on thanklessly maintained open source projects.

An attempt at explaining why I'm finding it hard to get really high productivity boosts from AI-assisted programming. #AI blog.jnalanko.net/2026/02/02/t...

DSB Program is out ! Seems incredible (as ever) dsb-meeting.github.io/DSB2026/

I pointed ChatGPT5.2 at the greedy superstring conjecture, open since 1988. It could not prove it for all n, but it found simple arguments for n = 3 and n = 4 strings, which haven't been mentioned in the literature to my (limited) knowledge. n = 5 still open? blog.jnalanko.net/2026/01/20/a... #math

AI fails the Turing test again. It's too smart and knowledgeable to be believable.

I think the time has come to modernize math/CS research. Now that AI is starting to be capable of formalizing proofs, it might soon be inexcusable not to provide formally verified proofs with papers, like trying to ship software without a test suite. This would also make peer review so much easier!

Thoughts on the FrontierMath benchmark on AI. #AI #math blog.jnalanko.net/2025/12/26/t...

Why are there no European frontier AI labs?

Korkeakoulujen aloituspaikkoja ei voi mitenkään tolkullisesti lisätä kertaluontoisella rahoituksella, vaan siihen tarvitaan nimenomaan perusrahoituksen kasvattamista. Sisäänotettua opiskelijaa pitää palvella 5+ vuotta, tarvitaan pysyvä lisäys opetushenkilöstöön. www.hs.fi/politiikka/a...

"Valtiovarainministeriön kansliapäällikkö Juha Majanen sanoi [..] että ylimpien marginaaliveroasteiden keventämisen hyödyistä on vankkaa tutkimustietoa ja toimi rahoittaisi pitkällä aikavälillä itse itsensä." Mikä ihmeen vankka näyttö? www.uusijuttu.fi/juttu/sZRTks... #politiikka #puoliväliriihi

More on latest AI models. The AI deep research feature from OpenAI is impressive, but critically, it has no BS detector. I asked for a literature review of a field I know well. It repeats all the hype authors put into introductions of papers and all the cherry-picked highlights in the conclusions.

OpenAI o3 is a curious beast. It's vastly superhuman in the amount of encoded knowledge. It seems to have an encyclopedic PhD-level knowledge of every existing topic. It's able to recombine what it knows to create something new. It should be able to sketch some pretty good research projects! 1/3

I'm considering skipping all US conferences until the political nightmare is over. Thoughts? I wonder if an academic boycott would have any effect on the administration.. most likely not. Getting turned back on the border for personal messages on my phone would really suck, even if unlikely.

Today I learned that you can be denied entry to the US if your phone has personal messages that are critical of Trump. www.theguardian.com/us-news/2025...

Here is one of the problems in this year's Finnish high school math final exam (like SAT). It asks to prove this inequality with the hint below. This gave me some pause, but I found the proof eventually. Then, I tried giving it to ChatGPT. It found the same proof as I did! AI is getting good.

Vihreiden ja Vasemmistoliiton erot Helsingin kuntavaaleissa, osa 2! blog.jnalanko.net?p=779. Tein hierarkisen klusteroinnin Ylen vaalikoneen perusteella, tässä tulokset. Mukana myös vertailu Kokoomukseen. #kuntavaalit #vaalit #vihreät #vasemmistoliitto #kokoomus #politiikka.

Mitä eroa on Vihreillä ja Vasemmistoliitolla kuntavaaleissa Helsingissä? Latasin kaikki Vihreiden ja Vasemmistoliiton ehdokkaiden vastaukset Ylen vaalikoneesta ja piirsin tällaisen kuvan. Blogissa myös nostoja ehdokkaiden perusteluista pariin kysymykseen! Täällä: blog.jnalanko.net?p=687

I understand the US doesn't want to be involved in wars that do not threaten them. They have the luxury and privilege of having peaceful neighbors and two oceans around them. But how about, standing up against a bully that is beating up your friend? I know it's not *obligatory*, but... come on. 1/2

Does NATO need the US? It doesn't feel like we're allies anymore with the US. Would the US come to help Finland in a time of need? I think it's time for Europe to take the lead.

People of the US, why are you not already on the streets about this? x.com/FluteMagicia...

marcan.st/2025/02/resi... If it was possible to work with the Linux Kernel in Rust, I might be interested in contributing something someday (when I have the time, hah). Having to write C at this scale is just a no-go for me.

So, it seems that so far Bluesky has won over Mastodon. This place feels more alive. Why is that? Personally, I find the UI here nicer, and the feed more relevant to me.

This is nuts. If you told me this five years ago, I would have thought you are crazy. Solving IOI problems requires some serious problem solving skills and reasoning. AI is now a far better competitive programmer than I will ever be.

Having spent the past month working with biology-oriented people, I'm starting to warm up to the #R programming language. Sure, it feels a bit too permissive of what it accepts as valid code, but working with data frames is actually great! #bioinformatics

www.reuters.com/technology/m... This is crazy, right? How could Twitter ever compete without all the content written by European users?