Hackernews posts about Mathematica

Mathematica is a commercial software platform for mathematical computation, visualization, and programming developed by Wolfram Research.

1. Mathematical exploration and discovery at scale (terrytao.wordpress.com)
   273 points by nabla9 29 days ago | 128 comments
2. DeepSeekMath-V2: Towards Self-Verifiable Mathematical Reasoning (huggingface.co)
   263 points by victorbuilds 4 days ago | 88 comments
3. DeepSeekMath-V2: Towards Self-Verifiable Mathematical Reasoning [pdf] (github.com)
   231 points by fspeech 7 days ago | 50 comments
4. I mathematically proved the best "Guess Who?" strategy [video] (www.youtube.com)
   77 points by surprisetalk 12 days ago | 21 comments
5. DeepSeekMath-V2: Towards Self-Verifiable Mathematical Reasoning (huggingface.co)
   18 points by nekofneko 7 days ago | discuss
6. A mathematical ceiling limits generative AI to amateur-level creativity (www.psypost.org)
   16 points by geox 10 days ago | 4 comments
7. I replaced Mathematica with this free and open-source alternative (SageMath) (www.howtogeek.com)
   10 points by gnabgib 26 days ago | 2 comments
8. DeepSeekMath-V2: Towards Self-Verifiable Mathematical Reasoning (github.com)
   9 points by chenzhekl 7 days ago | discuss
9. It's mathematically highly likely that there is life elsewhere in the universe (www.sciencedirect.com)
   5 points by Rogach 5 days ago | 5 comments
10. DeepSeekMath-V2: Towards Self-Verifiable Mathematical Reasoning (github.com)
    5 points by maxloh 5 days ago | discuss
11. Mathematical Exploration and Discovery at Scale (arxiv.org)
    4 points by tzury 28 days ago | 2 comments
12. Mathematical exploration and discovery at scale – Terence Tao et al. (arxiv.org)
    4 points by crvdgc 26 days ago | 1 comments
13. DeepMind's latest: An AI for handling mathematical proofs (arstechnica.com)
    4 points by quapster 15 days ago | discuss
14. Mathematical Maturity in Elementary School (kidswholovemath.substack.com)
    4 points by sebg 20 days ago | discuss
15. Mathematical Ceiling Reveals Why AI Stalls at Amateur Creativity (modernengineeringmarvels.com)
    3 points by Brajeshwar 5 days ago | discuss
16. Mathematically Formalizing the TOON Efficiency Revolution versus JSON (mateolafalce.github.io)
    3 points by lafalce 18 days ago | discuss
17. Emily Riehl, a New Paradigm for Mathematical Proof? [video] (www.youtube.com)
    3 points by surprisetalk 20 days ago | discuss
18. I replaced Mathematica with this free and open-source alternative (www.howtogeek.com)
    3 points by mkoeppe 22 days ago | discuss
19. Olympiad-level formal mathematical reasoning with reinforcement learning (www.nature.com)
    3 points by mauricioc 22 days ago | discuss
20. Beginning Mathematical Logic: A Study Guide (www.logicmatters.net)
    3 points by perihelions 25 days ago | discuss
21. AI Mathematical Olympiad – Progress Prize 3 (www.kaggle.com)
    2 points by nabla9 14 days ago | discuss
22. Penrose: From Mathematical Notation to Beautiful Diagrams [video] (www.youtube.com)
    2 points by todsacerdoti 18 days ago | discuss
23. Ask HN: What works to learn mathematical problem solving?
    2 points by tiu 18 days ago | discuss
24. Can AI yield true mathematical knowledge? (www.cambridge.org)
    2 points by porteclefs 23 days ago | discuss
25. Mathematical Exploration and Discovery at Scale (arxiv.org)
    2 points by SweetSoftPillow 28 days ago | discuss
26. Show HN: Mathematical parameter selection to eliminate synchronization bugs
    1 points by Patternician 19 days ago | 1 comments
27. AI Mathematical Olympiad – Progress Prize 3 (www.kaggle.com)
    1 points by kristianp 2 days ago | discuss
28. List of Mathematical Theories (en.wikipedia.org)
    1 points by wseqyrku 3 days ago | discuss
29. TOON vs. JSON: A Mathematical Evaluation of Byte Efficiency in Structured Data (www.researchgate.net)
    1 points by lafalce 10 days ago | discuss
30. Shadows / Mathematical Etudes (en.etudes.ru)
    1 points by georgecmu 18 days ago | discuss