Search Results
| Search type | Search syntax |
|---|---|
| Tags | [tag] |
| Exact | "words here" |
| Author |
user:1234 user:me (yours) |
| Score |
score:3 (3+) score:0 (none) |
| Answers |
answers:3 (3+) answers:0 (none) isaccepted:yes hasaccepted:no inquestion:1234 |
| Views | views:250 |
| Code | code:"if (foo != bar)" |
| Sections |
title:apples body:"apples oranges" |
| URL | url:"*.example.com" |
| Saves | in:saves |
| Status |
closed:yes duplicate:no migrated:no wiki:no |
| Types |
is:question is:answer |
| Exclude |
-[tag] -apples |
| For more details on advanced search visit our help page | |
Results tagged with deepmind
Search options questions only
not deleted
user 85622
For questions about the theoretical, philosophical, social, historical, or academic aspects of AI that involve the company DeepMind. For example, you can ask questions about how AlphaGo works, but not how DeepMind promotes its achievements.
2
votes
1
answer
111
views
AlphaProof and infinitary combinatorics [closed]
Recently, Google Deepmind made news by presenting AlphaProof, solving Math Olympiad problems. Apparently, AlphaProof is weaker in combinatorics (I couldn't find the source. …
