<?xml version="1.0" encoding="UTF-8"?><rss xmlns:dc="http://purl.org/dc/elements/1.1/" xmlns:content="http://purl.org/rss/1.0/modules/content/" xmlns:atom="http://www.w3.org/2005/Atom" version="2.0"><channel><title><![CDATA[zahavy]]></title><description><![CDATA[zahavy]]></description><link>https://www.tomzahavy.com/blog</link><generator>RSS for Node</generator><lastBuildDate>Tue, 07 Jul 2026 18:57:41 GMT</lastBuildDate><atom:link href="https://tomzahavy.wixsite.com/zahavy/blog-feed.xml" rel="self" type="application/rss+xml"/><item><title><![CDATA[How we achieved an IMO medal, one year before any other AI system]]></title><description><![CDATA[It has been over a year since AlphaProof achieved silver-medal standard solving  International Mathematical Olympiad  (IMO) problems, by teaching itself mathematics in LEAN . This milestone was special to me because it was often hard to believe we would  reach it. The IMO is a prestigious and recognised competition, where the top-6 young mathematicians from each country are trying to solve 6 problems in Algebra, Number Theory, Combinatorics, and Geometry. Achieving a medal in the IMO was...]]></description><link>https://tomzahavy.wixsite.com/zahavy/post/how-we-achieved-an-imo-medal-one-year-before-everyone-else</link><guid isPermaLink="false">6913c0732e9bec7d846de0f5</guid><pubDate>Wed, 12 Nov 2025 00:26:28 GMT</pubDate><enclosure url="http://video.wixstatic.com/video/dbebea_3438875c5c52417e9f1fc9240137dde1/360p/mp4/file.mp4" length="0" type="video"/><dc:creator>Tom Zahavy</dc:creator></item></channel></rss>