My Blog

What mathematicians should know about the Lean Theorem Prover: questions of reliability and AI - [This is a guest post by Thomas Hales. This blog post was initially written in a different file format and converted using AI. — T.] Mathematicians have be...

Proof of useful work for verifying AI treaties - *For full post, see my website.* Verifying an international agreement pausing AI development needs evidence of how compute is used. Cryptography can give...

Why I didn’t sign the Fields medallists’ letter - [This post has been cross-posted to Terence Tao’s blog.] When I was around 11 I heard for the first time about Fermat’s Last Theorem. I was immediately cap...

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