On Thu, Dec 26, 2024 at 11:35 PM PGC <[email protected]> wrote:
*> they* [AIs]* screw up basic grade school math problems* *Here is an example of a problem that AlphaGeometry got correct on the Mathematical Olympiad about a year ago, it's far easier than the questions that O3 got correct on the Frontier Mathematics Test : * *"Let ABC be a triangle with AB<AC<BC. Let the incentre and incircle of triangle ABC be I and ω, respectively. Let X be the point on line BC different from C such that the line through X parallel to AC is tangent to ω. Similarly, let Y be the point on line BC different from B such that the line through Y parallel to AB is tangent to ω. Let AI intersect the circumcircle of triangle ABC again at P=A. Let K and L be the midpoints of AC and AB, respectively.* *Prove that ∠KIL+∠YPX=180°."* *You can find AlphaGeometry's answer at:* *IMO 2024 P4 <https://storage.googleapis.com/deepmind-media/DeepMind.com/Blog/imo-2024-solutions/P4/index.html>* *John K Clark See what's on my new list at Extropolis <https://groups.google.com/g/extropolis>* mot -- 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 [email protected]. To view this discussion visit https://groups.google.com/d/msgid/everything-list/CAJPayv10WqcFwDOSiDzGDvccyudoxhzHgmTeBG_wbXp8MgjCKg%40mail.gmail.com.
