Tag Archives: Technology

Machine-Checked Proof

“In my view, the choice between the conventional process by a human referee and computer verification is as evident as the choice between a sundial and an atomic clock in science.” – Tom Hales (from [4]) “The rapid advance of … Continue reading

Posted in Math, Technology & Math | Tagged , , , | Leave a comment

Shedding light on AI’s black boxes

A recent special issue in Science highlights the increasingly important role that artificial intelligence (AI) plays in science and society. Providing a small but compelling sample of the types of challenges AI is equipped to tackle—from aiding chemical synthesis efforts … Continue reading

Posted in Mathematics in Society, Statistics, Technology & Math | Tagged , , , , | Leave a comment

Computers in Math Education

A guest post by Kyle Cluver: In Conrad Wolfram’s video, Teaching kids real math with computers, he discusses the interesting topic of mathematics in education versus real world mathematics. He argues that math education is all about calculating and that this … Continue reading

Posted in Math Education, Mathematics in Society, Technology & Math | Tagged , | 1 Comment