Hacker News
- OpenAI's AI model solves some International Mathematics Olympiad problems. https://openai.com/blog/formal-math/ 6 comments futurology
Linking pages
- It Looks Like You’re Trying To Take Over The World · Gwern.net https://www.gwern.net/Clippy 274 comments
- It Looks Like You’re Trying To Take Over The World · Gwern.net https://www.gwern.net/fiction/Clippy 33 comments
- Why AI Can’t Match Humans at Mathematics (yet!) | by Russell Lim | Nov, 2022 | Cantor’s Paradise https://medium.com/nice-math-problems/why-ai-cant-match-humans-at-mathematics-yet-3416116d4d15 1 comment
- Last Week in AI #154: Light-based AI chips, DeepMind AI for competitive coding, EU and US AI regulations, and more! https://lastweekin.ai/p/154 0 comments
- How Surge AI Built OpenAI's GSM8K Dataset of 8,500 Math Problems https://www.surgehq.ai/blog/how-we-built-it-openais-gsm8k-dataset-of-8500-math-problems 0 comments
- A GPS for the mind | thesephist.com https://thesephist.com/posts/nav/ 0 comments
- Math | Everything I know https://wiki.nikiv.dev/math/ 0 comments
- Perceptron: AI that sees with sound, learns to walk and predicts seismic physics • TechCrunch https://techcrunch.com/2022/11/07/perceptron-ai-that-sees-with-sound-learns-to-walk-and-predicts-seismic-physics/ 0 comments
Related searches:
Search whole site: site:openai.com
Search title: Solving (some) formal math olympiad problems
See how to search.