The author also shares their personal contribution to the site, a problem given to them by Erdős himself (#587), which was solved in 2010 by Nguyen and Vu. They also mention their recent talk at a conference in honor of Timothy Gowers, where they discussed their recent work with Gowers, Green, and Manners. The video of their talk and their slides are available.
Key takeaways:
- The author is promoting a list of resources for AI in Mathematics, initiated by Talia Ringer, which is now accepting new contributions, updates, or corrections.
- There will be a second followup webinar to the National Academies workshop on 'AI in mathematical reasoning' next week.
- The author is advertising the erdosproblems.com website, a repository of mathematical problems proposed by Paul Erdős, launched by Thomas Bloom.
- Thomas Bloom is calling for help to develop the erdosproblems.com website in various ways, including Github project setup, web design suggestions, coding new features, improving accessibility, and contributing mathematical insights or problem solutions.