NODE 4F · JOIN
New here? Get the 04:42 dispatch — free, every morning.
Science News
1 RESULTS
SORTED BY DATE
[Science News]
2026-05-09
NOOR KADE
CH
Lean will settle maths' longest standoff — and AEC should pay attention
Two projects use the Lean proof assistant to verify Mochizuki's contested ABC conjecture proof. What formal verification means for BIM and AEC workflows.
