It seems an obvious thing to try; therefore, it has been tried.
Impressive results are publicized; therefore it wasn't impressive.
Comments URL: https://news.ycombinator.com/item?id=50122904
Points: 3
# Comments: 1
General
Source：https://news.ycombinator.com/item?id=50122904
Why is there no AlphaZero for theorem proving?
Hacker News Ask0 views
PreviousEmu Concept – Make AI Follows Your Rules. (Feedback Wanted)NextDidn't Pre-Order Apple's HomeView? Here's How Long the Wait is Now
Related posts
Recognizing Keystrokes Using WiFi Devices
0Lobsters
Polyend releases the Tracker firmware source code
0Lobsters
eli venn
0Lobsters
16GB Raspberry Pi 5 hiked to $385, more than triple its launch price — makers are already shifting to Pico/ESP32 for small projects, mini PCs for more ambitious tasks
0Tom's Hardware
The Trump Administration Is Wreaking Havoc on the Electoral System Before the Midterms
0Wired
YouTuber Druski is going to make exclusive content for Netflix
0The Verge