My Blog

Sparks of RSI? - Are your long-running agents self-improving in loops with minimal prompting? Mine sure are! I think we're seeing the first sparks of RSI here, folks. I'm...

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