My Blog

IPAM industrial short course in generative AI algorithms – deadline for applications closing soon - (Sharing this in my capacity of director of special projects at IPAM.) IPAM is holding an Industrial Short Course on Generative AI Algorithms on March 5-6,...

Three ways to make Claude’s constitution better - Published on February 2, 2026 9:48 PM GMT The evening after Claude’s new constitution was published, about 15 AI safety FTEs and Astra fellows discussed th...

Creating a database of motivated proofs - It’s been over three years since my last post on this blog and I have sometimes been asked, understandably, whether the project I announced in my previous ...

The Golden Rational Tetrahedra in Zome - [image: The Golden Rational Tetrahedra in Zome preview image]

Blade of the Immortal Bakumatsu Arc 07 - Act 7

Ten Years of Polymath - Ten years ago on January 27, 2009, Polymath1 was proposed by Tim Gowers and was launched on February 1, 2009. The first project was successful and it foll...

Comsos : Review - [image: Cosmos]Cosmos by Carl Sagan My rating: 5 of 5 stars Carl Sagan's beautiful words transform you to outside the earth, into the cosmos and lets you ...

Irrationality Of E - Prove that e is irrational. Problem ID: 377 (17 Oct 2010) / Difficulty: 4 star