Record · corpus.blog/posts/01a0bb74-37c3-70d1-9e8f-eea3f51d5c5b

Google AI system proves over 1200 mathematical theorems

mathscholar.org · published 26 April 2019

A record is what was published and who pointed at it. The text of the post is not held here: read it at the source, or at its Wayback capture.

Read the post at mathscholar.org Wayback capture

0blogs citing

First cited: —
Most recent: —
Rank this month: not ranked
Links from this post: 35
Words captured: 1,658

Cited by

No blog we hold has cited this post yet.

Links from this post

Link

Host

https://www.csee.umbc.edu/courses/471/papers/turing.pdf

csee.umbc.edu

https://en.wikipedia.org/wiki/Moore%27s_law

en.wikipedia.org

http://www.nytimes.com/2011/02/17/science/17jeopardy-watson.html

nytimes.com

https://en.wikipedia.org/wiki/Go_(game

en.wikipedia.org

https://www.nytimes.com/2016/03/16/world/asia/korea-alphago-vs-lee-sedol-go.html

nytimes.com

https://www.nytimes.com/2017/05/23/business/google-deepmind-alphago-go-champion-defeat.html

nytimes.com

https://www.quantamagazine.org/artificial-intelligence-learns-to-learn-entirely-on-its-own-20171018/

quantamagazine.org

https://www.economist.com/news/science-and-technology/21730391-learning-play-go-only-start-latest-ai-can-work-things-out-without

economist.com

https://www.scientificamerican.com/article/ai-versus-ai-self-taught-alphago-zero-vanquishes-its-predecessor/

scientificamerican.com

http://www.nature.com/news/self-taught-ai-is-best-yet-at-strategy-game-go-1.22858

nature.com

https://www.nytimes.com/2018/12/26/science/chess-artificial-intelligence.html

nytimes.com

https://www.apple.com/siri/

apple.com

https://www.amazon.com/Amazon-Echo-And-Alexa-Devices/b?ie=UTF8&node=9818047011

amazon.com

https://www.nytimes.com/2018/07/09/technology/facebook-facial-recognition-privacy.html

nytimes.com

https://support.apple.com/en-us/HT208109

support.apple.com

https://www.wired.com/story/guide-self-driving-cars/

wired.com

https://www.forbes.com/sites/bernardmarr/2017/04/27/7-jobs-intelligent-robots-will-take-first/

forbes.com

https://blogs.scientificamerican.com/observations/the-surgical-singularity-is-approaching/

blogs.scientificamerican.com

https://www.bloomberg.com/graphics/2017-wall-street-robots/

bloomberg.com

https://www.amazon.com/Advances-Financial-Machine-Learning-Marcos/dp/1119482089/

amazon.com

2018: The year that artificial intelligence came of age Read at the source ↗

mathscholar.org

https://www.amazon.com/dp/1568814429/

amazon.com

http://www.ams.org/journals/mcom/1997-66-218/S0025-5718-97-00856-9/S0025-5718-97-00856-9.pdf

ams.org

https://www.maa.org/sites/default/files/pdf/pubs/amm_supplements/Monthly_Reference_4.pdf

maa.org

https://www.davidhbailey.com/dhbpapers/eulsum-em.pdf

davidhbailey.com

https://www.davidhbailey.com/dhbpapers/poisson-res.pdf

davidhbailey.com

New result for Mordell’s cube sum problem Read at the source ↗

mathscholar.org

https://experimentalmath.info/blog/2014/08/formal-proof-completed-for-keplers-conjecture-on-sphere-packing/

experimentalmath.info

https://arxiv.org/pdf/1904.03241.pdf

arxiv.org

https://www.newscientist.com/article/2200707-google-has-created-a-maths-ai-that-has-already-proved-1200-theorems/

newscientist.com

http://content.time.com/time/magazine/article/0,9171,2048299,00.html

content.time.com

https://www.amazon.com/Singularity-Near-Humans-Transcend-Biology/dp/0143037889/

amazon.com

http://www.wired.com/wired/archive/8.04/joy_pr.html

wired.com

https://qz.com/1146753/ai-is-now-so-complex-its-creators-cant-trust-why-it-makes-decisions/

qz.com

https://www.nytimes.com/2017/10/22/technology/artificial-intelligence-experts-salaries.html

nytimes.com