Tag

Lean

All articles tagged with #lean

technology1 hour ago•5 min saved

AI Delivers Record-Setting Fully Computer-Checked Proof of Fermat’s Last Theorem in 11 Days

Anthropic's Claude AI produced the first fully computer-checked formal proof of Fermat's Last Theorem in 11 days, generating about 13 million lines of code and passing review by mathematician Kevin Buzzard. The effort, which used parallel AI agents and the Prove2Me tool to keep progress coordinated, translates Andrew Wiles's proof into Lean, a form verifiable by computers. A parallel human project at Imperial College London started in 2024 to do the same work but has not yet finished, making Claude's result notable for speed and determinism in formalized math.

via Decrypt|

#ai #fermats-last-theorem #formal-verification

science2 months ago•27 min saved

Terry Tao Leads an AI-Driven Reform of Mathematical Collaboration

Tao is promoting AI-assisted, computer-verified mathematics, shifting from solo work to massively collaborative, proof-checked research. Through Polymath-inspired projects and the Equational Theories initiative, he envisions solving thousands of subproblems with AI and Lean, creating a new, experimental era of mathematics where proofs are machine-checked for correctness.

via Quanta Magazine|

#equational-theories #formal-verification #lean

health-and-fitness2 years ago

"Maximize Protein Consumption for a Lean Physique with These 20 Easy Tips"

A new study suggests that consuming a high-protein diet does not lead to weight gain or increased body fat, challenging the common belief that excessive protein intake can be detrimental to weight management. The research found that participants who consumed a high-protein diet experienced similar changes in body weight, body composition, and fat mass compared to those who consumed a normal-protein diet. These findings indicate that individuals can consume higher amounts of protein without worrying about weight gain, potentially benefiting those looking to build muscle or lose weight.

via T-Nation|

#diet #health-and-fitness #lean