Lean

Agents @ Work: Dust.tt — with Stanislas Polu

Latent Space

A formal proof system mentioned in the context of AI and mathematics research.

The design process is dead. Here’s what’s replacing it. | Jenny Wen (head of design at Claude)

Lenny's Podcast

Terence Tao: Hardest Problems in Mathematics, Physics & the Future of AI | Lex Fridman Podcast #472

Lex Fridman

A formal proof programming language that allows mathematicians to write proofs that can be verified by a computer, producing certificates of correctness and enabling atomic-level collaboration.

Mistral: Voxtral TTS, Forge, Leanstral, & Mistral 4 — w/ Pavan Kumar Reddy & Guillaume Lample

Latent Space

A formal mathematical language and proving system that Mistral is working on, providing a verifiable way to test reasoning capabilities.