Y
HN Search
Hacker News Search
new
|
comments
|
top
|
jobs
cale_gibbard
searching PlanetScale…
1.
▲
2.
▲
3.
▲
4.
▲
5.
▲
6.
▲
3 ms
·
1.
▲
by
cale_gibbard
6y ago
I wouldn't expect homotopy type theory to lead us any closer to artificial general intelligence, but who knows. Maybe this will lead to some opportunities for AI to interact more closely with mathematics in the end. HoTT and type the