My Blog

Palomar – a registry of Lean verified mathematics - In recent months there has been a proliferation of AI-generated proofs of various old and new results, some of which have been formalized in the proof assi...

What sort of maths are LLMs good at? - For the sake of anyone who might read this blog post in the distant future (a month from now, say), let me mention that I am writing it a few days after Op...

AI swarms are starting to pose indirect takeover risk - OpenAI’s cyberattack on Hugging Face turns out to have been the result of many agents, in distinct training and evaluation contexts, coordinating for sev...

Polymath News and AI - A post over “Combinatorics and More” describes Nissan Hajaj’s proposal to combine AI with polymath projects. Together with Nissan Hajaj and Ido Kaminer we ...

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

Blade of the Immortal Bakumatsu Arc 07 - Act 7

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