For those interested in AI’s role in mathematics research: Harvard CMSA’s “First Proof, Second Batch” project is going to rigorously grade AI-produced solutions and present the outcomes in two webinars.
Here is the introductory video:
https://t.co/syFg6dBEX4
Panel Series: The Proof in the Code
In celebration of the release of The Proof in the Code, @KSHartnett 's new book on the development of @leanprover and Mathlib, there's a two-part online panel series coming up. Everyone is welcome to join; the registration links are below.
The Mathematicians. Thu, Jun 11, 2026, 1:00 PM Johan Commelin, Kevin Buzzard, and Alex Kontorovich join Kevin Hartnett to discuss what it means to formalize mathematics in Lean, and how computer verification is changing the way mathematicians collaborate, build trust, and decide what counts as proof.
The Builders. Fri, Jun 12, 2026, 1:00 PM @Leonard41111588, Sebastian Ullrich, and Jeremy Avigad join Kevin Hartnett to talk about Lean from the inside: its origins, its design, and where it's headed.
"If I were the minister of culture for the world, I would make every student wiser by requiring them to travel to five continents before the age of 18."
Marjane Satrapi.
Montenegro vai ser 1 governante q vai bater inúmeros records: Passos teve 3 greves gerais; Montenegro, em meio ano, já leva com duas. E Portugal é 1 dos países europeus c menos greves. Só há greve quando é grave, sr PM. Meta o Pacote Laboral no lixo. Respeite os trabalhadores.
O LM sabe que a divulgação dos dados da Spinumviva aclara ainda mais a índole trapaceira dele, e tenta por todos os meios impedir a sua exposição. Mas o pior é que parece ter a seu lado, neste propósito, os média e a justiça: uns e outros fazem de conta, e todos ajudam à festa.
O luís declina portugueses de bem como portugueses q querem trabalhar.
Expliquem ao luís q todos os q vivem do seu trabalho, querem trabalhar. A greve não é feita por mandriões, é feita por quem, querendo trabalhar, sabe q trab sem direitos é escravatura.
Nem todos têm avenças
We are deeply saddened by the passing of Marjane Satrapi, the acclaimed Franco-Iranian artist, filmmaker, and author of the internationally celebrated graphic novel Persepolis who died at the age of 56.
Marjane Satrapi was a fearless voice for feminism, human rights, and freedom. Through her work and public engagement, she consistently advocated for women’s rights, standing in solidarity with the people of Iran and amplifying the message of the Woman, Life, Freedom movement on the global stage.
According to a statement from her family, Marjane Satrapi “died of sadness” a little more than a year after the passing of her husband, Mattias Ripa, a producer, actor, and screenwriter, who died on April 8, 2025.
Marjane Satrapi leaves behind a powerful cultural, artistic, and moral legacy. Her courage will continue to resonate far beyond her lifetime.
Narges Foundation
4 Jun 2026
#MarjanSatrapi
+ este pacote laboral representa um completo retrocesso para a sociedade portuguesa, para a nossa economia, para a competitividade das empresas portuguesas, e para a inovação.
E é só. Boa greve geral. Apanhem-me no piquete.