The International Mathematical Olympiad is a prestigious competition among talented high school students, in the today's issue of the journal nature there is a report of a new AI program called "AlphaGeometry" that can solve Olympiad geometry problems nearly as well as a human gold medalists can; it was able to solve 25 of the 30 geometry problems presented to it in the aloud time of 4 1/2 hours, the average human gold medalist could solve 25.9. And a human gold medalist is not very average when it comes to mathematical ability.
Solving olympiad geometry without human demonstrations <https://www.nature.com/articles/s41586-023-06747-5> John K Clark See what's on my new list at Extropolis <https://groups.google.com/g/extropolis> mm1 -- You received this message because you are subscribed to the Google Groups "Everything List" group. To unsubscribe from this group and stop receiving emails from it, send an email to everything-list+unsubscr...@googlegroups.com. To view this discussion on the web visit https://groups.google.com/d/msgid/everything-list/CAJPayv3jXJPVLkAQThPYoii3vF8iUbWF9%2B2ZC17CfnakxQCgPg%40mail.gmail.com.
