Some of Today's News

Wow, lots of news today.

• An AI formalized the proof of the famous Fermat's Last Theorem in 13-million lines of code. 
• The same AI, Claude, but in the hands of different people, found that a long-standing question about the Navier-Stokes equation (fluids) has an answer: it does break down in a certain domain.
• Almost half of world’s farmers are poisoned by pesticides every year. This is no way to run a civilization.
• Americans do not get to know where their meat comes from.
• Surprise, surprise: New Yorkers were misled by government officials about how bad their air was after the 9/11 terrorist attack on the World Trade Center buildings.