Robinhood CEO’s AI startup Harmonic expands into chip design
A 2025 paper describes Aristotle as a Math Olympiad-level automated theorem-proving system.
We haven't written up this one. Tech in Asia has the full story — the link below goes straight to it.