List of most impressive AI achievements

From agingresearch
Jump to navigation Jump to search

This is version of Vladimir Shakirov. Alternative versions of this article would be here (currently no alternative versions).

Miscellaneous

List of current state-of-the-arts can be found here: https://paperswithcode.com/

"AlphaCode can do competitive programming. Cicero shows how to use language models in a goal-oriented manner in order to achieve well-defined objectives. Google's Minerva can solve 80% GCSE Higher Mathematics problems and a third of STEM undergraduate problems from MIT. OpenAI's neural theorem prover and Meta's HyperTree Proof Search show how to solve Math Olympiad problems. To name just a few of many other systems like DeepMind's Flamingo" https://t.me/axisofordinary/3961