Hackernews posts about Mathesar

1. Terence Tao explains 6 essential mathematical concepts [video] (www.youtube.com)
   638 points by matthewsinclair 9 days ago | 86 comments
2. AI isn’t outthinking mathematicians, it’s out-remembering them (davidepiffer.com)
   634 points by rzk 24 days ago | 522 comments
3. Show HN: Woxi - Open-source Mathematica / Wolfram Language reimplementation (woxi.ad-si.com)
   314 points by adius 27 days ago | 46 comments
4. Learning more about Claude's mathematical capabilities (www.anthropic.com)
   282 points by tosh 29 days ago | 177 comments
5. Principia Mathematica is modern and insightful (okmij.org)
   281 points by matt_d 27 days ago | 157 comments
6. Caltech Mathathon – first hackathon ever devoted to research level mathematics (mathathonchallenge.com)
   264 points by astroanax 1 day ago | 92 comments
7. No country for mediocre mathematicians (garvvee.substack.com)
   250 points by reasonableklout 9 days ago | 147 comments
8. Mathematics in the age of AI (arxiv.org)
   212 points by jonbaer 20 days ago | 269 comments
9. The mathematical beauty of hyperbezier curves (linebender.org)
   202 points by raphlinus 30 days ago | 43 comments
10. Palomar: A registry of Lean verified mathematics (terrytao.wordpress.com)
    186 points by matt_d 20 days ago | 39 comments
11. Is mathematics about to enter the conservatory? (mbmccoy.dev)
    132 points by _alternator_ 1 day ago | 139 comments
12. Autonomous Mathematical Discovery in an Open-World Multi-Agent Environment (arxiv.org)
    122 points by stephenchung 11 days ago | 40 comments
13. MathCode, Mathematical Coding Agent (math-ai-org.github.io)
    118 points by homarp 23 days ago | 29 comments
14. Mathematicians will probably become obsolete before anyone else [pdf] (2004) (olli.unt.edu)
    107 points by tiahura 17 days ago | 65 comments
15. PISA 2025 Students' reading and mathematics performance declined across the OECD (www.oecd.org)
    79 points by mazokum about 3 hours ago | 68 comments
16. Why are rivers so mathematical? (www.quantamagazine.org)
    38 points by sebg 12 days ago | 8 comments
17. MathKernel: An evidence-aware multi-engine mathematics kernel and MCP server (github.com)
    36 points by staatsgeheim 1 day ago | 5 comments
18. The End of Mathematics (www.daniellitt.com)
    33 points by practal 24 days ago | 20 comments
19. The mathematical physics of rainbows and glories (2001) [pdf] (tlakoba.w3.uvm.edu)
    30 points by num42 28 days ago | 3 comments
20. Why Are Rivers So Mathematical? (www.quantamagazine.org)
    16 points by bookofjoe 26 days ago | 1 comments
21. The beautiful mathematics behind OpenAI's sphere packing result (www.empirical.health)
    14 points by brandonb 22 days ago | 3 comments
22. The 92-Year-Old Mathematician and the Teenage Apprentice (www.nytimes.com)
    12 points by hampelm 2 days ago | 2 comments
23. The crisis of AI-generated mathematics (arxiv.org)
    10 points by mad 17 days ago | 2 comments
24. Mathematicians Despair as AI Achieves Jaw-Dropping Breakthroughs (www.telegraph.co.uk)
    9 points by karakoram 23 days ago | 3 comments
25. Terence Tao – How the top mathematician uses AI [video] (www.youtube.com)
    9 points by binyu 11 days ago | 1 comments
26. Mathematically Ranking the Most Brilliant Birds (moultano.wordpress.com)
    8 points by beeeffeff 25 days ago | discuss
27. Lean prover Dirac solves the 2026 International Mathematical Olympiad (www.boundlessintuition.com)
    6 points by bi_labsx 28 days ago | 1 comments
28. Why Are Rivers So Mathematical? (www.quantamagazine.org)
    6 points by pykello 29 days ago | 1 comments
29. Mathematics in the Age of AI (arxiv.org)
    6 points by aaraujo002 20 days ago | discuss
30. Terence Tao Lecture: Mathematics in the Age of AI [video] (www.youtube.com)
    6 points by marvinborner 25 days ago | discuss