Y
HN Search
Hacker News Search
new
|
comments
|
top
|
jobs
123aHgf
searching Neon…
1.
▲
2.
▲
3.
▲
4.
▲
5.
▲
6.
▲
7 ms
·
1.
▲
by
123aHgf
12d ago
Wrong. AlphaProof is much older, used Lean and a tree search for tactics just like ACL2. They all steal from ACL2 without attribution in the current publication boiler room atmosphere. They get away with it because the AI Cult has informat