FOUNDER · SIGNAL STARTUP
Why is there no AlphaZero for theorem proving?
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?i…
出典・元記事Hacker News — Ask HNhttps://news.ycombinator.com/item?id=50122904 配信元で続きを読む◆ SOURCE POLICY
公開RSS・Atomから取得した短い概要のみを表示しています。詳細は必ず配信元の記事で確認してください。
公開RSS・Atomから取得した短い概要のみを表示しています。詳細は必ず配信元の記事で確認してください。
SHARE STARTUP