My Blog

Emergent stigmergic coordination in AI agents? - *Post written up quickly in my spare time. * *TLDR: Anthropic have a new blogpost of a novel contamination vector of evaals, which I point out is analogo...

Mathematics Distillation Challenge – Equational Theories - Mathematical research traditionally involves a small number of professional mathematicians working closely on difficult problems. However, I have long beli...

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