Kevin Buzzard received a grant to formalize the proof of Fermat's Last Theorem in Lean down to mathematics known in the 1980s

Science

The systematic study of the natural world through observation, experiment, and theory.

2,055 claims·1 news story

35 claims