Hackernews posts about Mathematics

  1. Alexander Grothendieck Revolutionized 20th-Century Mathematics (www.quantamagazine.org)
    152 points by anujbans 29 days ago | 32 comments
  2. Leiden Declaration on Artificial Intelligence and Mathematics (leidendeclaration.ai)
    143 points by zvr 19 days ago | 83 comments
  3. Seeking a Language in Mathematics 1523-1571 (tyndale.org)
    29 points by jruohonen 29 days ago | 2 comments
  4. Leiden Declaration on Artificial Intelligence and Mathematics (leidendeclaration.ai)
    11 points by uamuamuam 20 days ago | discuss
  5. How to Not Let Them Get Away with It: The Mathematics of Infinite Exploitation (link.springer.com)
    10 points by crescit_eundo 16 days ago | 1 comments
  6. The Mathematics of the Chinese Calendar [pdf] (gwern.net)
    7 points by mysticaltech- about 20 hours ago | discuss
  7. Mathematics Is Out There (aeon.co)
    7 points by cainxinth 13 days ago | discuss
  8. The Mathematics of Multi-Tenancy (www.bitsxpages.com)
    6 points by agavra 20 days ago | discuss
  9. Solved and Unsolved: The Status of Hilbert's 23 Problems in Mathematics (www.simonsfoundation.org)
    5 points by nill0 2 days ago | 1 comments
  10. The Mathematics of Multi-Tenancy (www.bitsxpages.com)
    5 points by birdculture 19 days ago | discuss
  11. Leiden Declaration: AI is challenging the core values of mathematics (www.universiteitleiden.nl)
    4 points by jboynyc 20 days ago | 1 comments
  12. Mathematics Dating Simulator (twitter.com)
    4 points by enthdegree 4 days ago | discuss
  13. AI cracks 80-year-old mathematics challenge (Nature) (www.nature.com)
    4 points by indynz 6 days ago | discuss
  14. The Meaning of Doing Mathematics (arxiv.org)
    4 points by fanf2 29 days ago | discuss
  15. Hilarious Math Memes That Prove Mathematics Is Both Pain and Fun (yipzap.com)
    3 points by yututu 2 days ago | discuss
  16. Knowledge Collapse: AI companies are racing to mechanize mathematics (www.bostonreview.net)
    3 points by Hooke 11 days ago | discuss
  17. Thinking and Explaining Mathematics (2010) (mathoverflow.net)
    3 points by vismit2000 15 days ago | discuss
  18. Two Researchers Are Rebuilding Mathematics from the Ground Up (www.quantamagazine.org)
    3 points by pseudolus 25 days ago | discuss
  19. Seventy years of mathematics built the thing we call AI (medium.com)
    3 points by emreb 27 days ago | discuss
  20. Advancing Mathematics Research with AI-Driven Formal Proof Search (arxiv.org)
    3 points by tamnd 29 days ago | discuss
  21. Painting a Landscape with Mathematics [video] (www.youtube.com)
    2 points by soupspaces 2 days ago | discuss
  22. The Unreasonable Effectiveness of Mathematics in the Natural Sciences(1960)[pdf] (www.hep.upenn.edu)
    2 points by Quizzical4230 20 days ago | discuss
  23. Optimization Constants in Mathematics (teorth.github.io)
    2 points by bmc7505 26 days ago | discuss
  24. Advancing mathematics research with AI-driven formal proof search (arxiv.org)
    2 points by azhenley 28 days ago | discuss
  25. Leiden Declaration on Artificial Intelligence and Mathematics (leidendeclaration.ai)
    1 points by layer8 19 days ago | 2 comments
  26. Parliament outlawed a beat – the mathematics of the 1994 UK anti-rave law (medium.com)
    1 points by SneakyLabs 5 days ago | discuss
  27. Unified Contradiction‑Resolution Framework for Physics and Mathematics (zenodo.org)
    1 points by MatthewCarlo 9 days ago | discuss
  28. Advancing Mathematics Research with AI-Driven Formal Proof Search (arxiv.org)
    1 points by mrkn1 26 days ago | discuss
  29. A New Consciousness of Mathematics (apoorvapanidapu.substack.com)
    1 points by digital55 27 days ago | discuss
  30. Yon – a topos-oriented language with a content-addressed lattice heap (yon-lang.org)
    48 points by amenn 17 days ago | 80 comments
More