#Lean
2 notas · última:
Formalizing Fermat's Last Theorem
Anthropic says Claude produced the first end-to-end computer-checked proof of Fermat’s Last Theorem in 11 days, showing how large proofs can be formalized and verified with Lean.
TBM 333: Lean Graph Theory
A note argues that organizations are best understood through three overlapping models: path, DAG, and network. Different company situations make different models more useful, and Lean ideas matter most when they are matched to the current context and to where the main friction sits.