Hackernews posts about Mathematics

  1. A misalignment of AI in mathematics (mathandai.org)
    1240 points by meredydd 9 days ago | 1211 comments
  2. A beginning for mathematics (www.daniellitt.com)
    272 points by robinhouston 6 days ago | 147 comments
  3. Caltech Mathathon – first hackathon ever devoted to research level mathematics (mathathonchallenge.com)
    271 points by astroanax 14 days ago | 105 comments
  4. The Relation Between Mathematics and Physics by Paul Dirac (1939) (www.damtp.cam.ac.uk)
    170 points by rramadass 7 days ago | 84 comments
  5. A Misalignment of AI in Mathematics (terrytao.wordpress.com)
    151 points by Iuz 9 days ago | 10 comments
  6. Is mathematics about to enter the conservatory? (mbmccoy.dev)
    134 points by _alternator_ 14 days ago | 141 comments
  7. PISA 2025 Students' reading and mathematics performance declined across the OECD (www.oecd.org)
    131 points by mazokum 13 days ago | 168 comments
  8. MathKernel: An evidence-aware multi-engine mathematics kernel and MCP server (github.com)
    37 points by staatsgeheim 14 days ago | 5 comments
  9. Align AI and Mathematics–To Something Else (liorpachter.wordpress.com)
    34 points by nitrogenpuddle 8 days ago | 47 comments
  10. A Beginning for Mathematics (proofsandprompts.com)
    28 points by pact_inference 6 days ago | 4 comments
  11. The crisis of AI-generated mathematics (arxiv.org)
    10 points by mad 29 days ago | 2 comments
  12. Bruce Schneier: No, AI doesn't mean the end of mathematics – at least not yet (www.theguardian.com)
    9 points by emil-lp 7 days ago | discuss
  13. Navier–Stokes, AI and the future of research in mathematics [pdf] (bms.ulb.ac.be)
    5 points by fghorow 11 days ago | 2 comments
  14. Ten Mathematics Problems I Will Never Solve(1997)[pdf] (www.giancarlorota.org)
    5 points by num42 8 days ago | discuss
  15. Timeline of Mathematics (mathigon.org)
    5 points by o4c 13 days ago | discuss
  16. AI is a powerful but problematic new collaborator in mathematics (www.ft.com)
    4 points by pseudolus about 6 hours ago | 3 comments
  17. A Misalignment of AI in Mathematics: Kevin Buzzard Responds (leanprover.zulipchat.com)
    4 points by mathgenius 8 days ago | 1 comments
  18. The Association for Human Mathematics (www.ahmath.org)
    4 points by marvinborner 10 days ago | discuss
  19. Count me in: how mathematics explains music – Sarah Hart [video] (www.youtube.com)
    4 points by vismit2000 11 days ago | discuss
  20. How One Programming Language Rewrote Mathematics and Why Software Is Next (www.ibtimes.com)
    4 points by digital55 19 days ago | discuss
  21. The auto-formalization of mathematics versus law (lexifina.com)
    3 points by alansaber 13 days ago | 2 comments
  22. The Roadmap of Mathematics for Machine Learning (thepalindrome.org)
    3 points by ibobev 6 days ago | 1 comments
  23. AI Doesn't Mean the End of Mathematics – At Least Not Yet (www.schneier.com)
    3 points by mdp2021 23 days ago | 1 comments
  24. MAA Limits AIME (American Invitational Mathematics Exam) to 13 and Older (maa.org)
    3 points by unhappy_parent 25 days ago | 1 comments
  25. AI Is Rewriting Mathematics (nofilk.substack.com)
    3 points by fragmede 30 days ago | 1 comments
  26. The Association for Human Mathematics (AHM) (www.ahmath.org)
    3 points by YeGoblynQueenne 5 days ago | discuss
  27. A History of Mathematics – Victor J. Katz (books.google.com)
    3 points by vismit2000 5 days ago | discuss
  28. On teaching mathematics (2007) [pdf] (www-sop.inria.fr)
    3 points by exposition 8 days ago | discuss
  29. The dawn of formalized mathematics [video] (www.youtube.com)
    3 points by Thom2503 10 days ago | discuss
  30. The Roadmap of Mathematics for Machine Learning (thepalindrome.org)
    3 points by gmays 15 days ago | discuss
More