A mathematician will turn a groundbreaking 100-page proof into computer code. The proof tool, Lean, lets users turn proofs written in prose into rules and logic for testing. Kevin Buzzard already uses ...

This is an updated version of a story first published on May 5, 2024. For many high school students returning to class, it may seem like geometry and trigonometry were created by the Greeks as a form ...

Calcea Johnson and Ne'Kiya Jackson believe they can prove the Pythagorean Theorem using trigonometry — and are being encouraged to submit their work for peer review Jason Hahn is a former Human ...

Calcea Johnson (right), currently studying environmental engineering at Louisiana State University, published the new study with her high school classmate, Ne'Kiya Jackson (left), now a student in ...

Maxine Calle is a 2023 AAAS Mass Media Fellow at The Conversation U.S. and she receives funding from the National Science Foundation. David Bressoud does not work for, consult, own shares in or ...