← All companies
Axiom
WarmAn AI mathematician delivering proven, not probabilistic, reasoning
AI & Data Infrastructure
- Material 7d
- 0
- Momentum
- +2
- Max impact 30d
- —
- Negatives 30d
- 0
Signals · 0
Material only: impact 4+ or flagged, unmuted, with a real source behind it. Newest first.
Nothing material in the window. 2 low-impact, unverified or muted items are listed below.
Low-impact, unverified and muted · 2
Kept for the record; these do not count toward heat. Unverified means the only source is a post from an account we do not know.
Axiom team member posts philosophical commentary on pure mathematics and tail options
2d agoCoverage
Source items behind the signals, last 30 days
- News
- Social
Social
X and Hacker News posts that resolved to a signal
A mathematician who now builds AI for math says humans are going to lose the race for knowledge. Then he explains why that's the least important race we're in. His name is Ken Ono. He's a math professor at the University of Virginia, founder of Axiom Math, and one of the world's https://t.co/lv82hSsAYm https://t.co/NfMjinyx2m
Pure math is the ultimate tail option field. Just look at how little practical utility has come from some of the most celebrated mathematics in history (Ramanujam's notebooks.) There's a certain kind of divinity/philosophy parallel, and the stagnation of many downstream fields