1The million-dollar math problem hardly anyone is trying to solve (opens in new tab)(scientificamerican.com)2baruchel6d ago2
2What Do Gödel's Incompleteness Theorems Mean? (opens in new tab)(quantamagazine.org)162baruchel7d ago65
4From Probable to Provable: What Automated Reasoning Means for the Board (opens in new tab)(mariothomas.com)1baruchel19d ago0
5Mikan: a proof assistant for cubical type theory (forked from Agda) (opens in new tab)(mathstodon.xyz)2baruchel20d ago0
8Eniac, the First General-Purpose Digital Computer, Turns 80 (opens in new tab)(spectrum.ieee.org)127baruchel2mo ago53
9Can the Most Abstract Math Make the World a Better Place? (opens in new tab)(quantamagazine.org)5baruchel2mo ago0
10How many steps in a "chain of victories" separate you from your favorite player? (opens in new tab)(mastodon.online)2baruchel2mo ago0
11Assigning Open Problems in Class (opens in new tab)(blog.computationalcomplexity.org)18baruchel3mo ago5
12Mathematicians find largest prime number to date (opens in new tab)(fediscience.org)1baruchel3mo ago2
13Any chess position with 8 pieces on board and one pair of pawns has been solved (opens in new tab)(mastodon.online)18baruchel3mo ago2
15Ramanujan's 100-year-old pi formula is still revealing the Universe (opens in new tab)(sciencedaily.com)3baruchel5mo ago0
