littlebunker

Methodically tracking the collapse. Climate data. Extreme weather. The long emergency.

CO₂ 426.7ppm

CH₄ 1934.57ppb

Δ Temp +1.48°C

Now --:--:--

CO₂ 426.7 ppm ◆ +1.4 ppm / yr ◆ CH₄ 1934.57 ppb ◆ +7.21 ppb / yr ◆ Δ Temp +1.48°C ◆ Peak +1.73°C ◆ Pop 8.1B ◆ +67M / yr ◆ CO₂ 426.7 ppm ◆ +1.4 ppm / yr ◆ CH₄ 1934.57 ppb ◆ +7.21 ppb / yr ◆ Δ Temp +1.48°C ◆ Peak +1.73°C ◆ Pop 8.1B ◆ +67M / yr ◆

CO₂

426.7ppm

+1.4 / year

CH₄

1934.57ppb

+7.21 / year

Temp

+1.48°C

Peak +1.73°C

Population

8.1B

+67M / year

AI is shaking up math. But can its proofs be trusted?

Oct 28, 2026 • Climate science

As AI firms churn out math breakthroughs, researchers question use of Lean software as proof checker

Read original article