OpenAI is throwing everything into building a fully automated researcher
(technologyreview.com)
1.
3.
4.
Heisuke Hironaka Has Died
(news.ycombinator.com)
5.
Even faster asin() was staring right at me
(news.ycombinator.com)
6.
Even Faster Asin() Was Staring Right at Me
(news.ycombinator.com)
7.
Mathematics Distillation Challenge – Equational Theories
(news.ycombinator.com)
8.
Our Experience with I-Ready
(news.ycombinator.com)
9.
Why Mathematica does not simplify sinh(arccosh(x))
(news.ycombinator.com)
11.
Points on a ring: An interactive walkthrough of a popular math problem
(news.ycombinator.com)
12.
Woxi: Wolfram Mathematica Reimplementation in Rust
(news.ycombinator.com)
13.
Show HN: I ported Manim to TypeScript (run 3b1B math animations in the browser)
(news.ycombinator.com)
14.
Decimal-Java is a library to convert java.math.BigDecimal to and from IEEE-754r
(news.ycombinator.com)
15.
The Four-Color Theorem 1852–1976
(news.ycombinator.com)
16.
AVX2 is slower than SSE2-4.x under Windows ARM emulation
(news.ycombinator.com)
17.
An agentic system for rare disease diagnosis with traceable reasoning
(feeds.nature.com)
18.
Show HN: Maths, CS and AI Compendium
(news.ycombinator.com)
19.
Learning Lean: Part 1
(news.ycombinator.com)
20.
21.
Long-Sought Proof Tames Some of Math's Unruliest Equations
(news.ycombinator.com)
22.
Five disciplines discovered the same math independently – none of them knew
(news.ycombinator.com)
24.
Regulatory grammar in human promoters uncovered by MPRA-based deep learning
(feeds.nature.com)
25.
How HR’s 2026 to-do list will change your workplace
(feeds.feedburner.com)
26.
Show HN: SymDerive – A functional, stateless symbolic math library
(news.ycombinator.com)
27.
Naples' 1790s civil war was intensified by moral panic over Real Analysis (2023)
(news.ycombinator.com)
28.
Projected impacts of climate change on malaria in Africa
(feeds.nature.com)
29.
OpenAI’s latest product lets you vibe code science
(technologyreview.com)
30.