Record · corpus.blog/posts/01a0bb68-a171-73ee-8a22-686d3261e6a3

Can computers do mathematical research?

mathscholar.org · published 1 September 2020

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: 34
Words captured: 2,001

Cited by

No blog we hold has cited this post yet.

Links from this post

Link

Host

https://miro.medium.com/max/610/1*8x6gapymd9kBPDtrKadV0Q.png

miro.medium.com

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

csee.umbc.edu

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

en.wikipedia.org

https://www.nytimes.com/2016/03/16/world/asia/korea-alphago-vs-lee-sedol-go.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.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

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

mathscholar.org

https://en.wikipedia.org/wiki/Paul_Cohen

en.wikipedia.org

https://en.wikipedia.org/wiki/Continuum_hypothesis

en.wikipedia.org

https://books.google.com/books?id=x4w9DwAAQBAJ

books.google.com

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

https://www.quantamagazine.org/how-close-are-computers-to-automating-mathematical-reasoning-20200827/

quantamagazine.org

https://link.springer.com/chapter/10.1007/978-3-030-53518-6_24

link.springer.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

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

nytimes.com