Mr. Giorgi's 2025-2026 Blog

A class guide

Tuesday, May 26, 2026

AI Solves 9 Erdős Problems

 [2605.22763] Advancing Mathematics Research with AI-Driven Formal Proof Search

The Erdős Breakthrough by AI

What are Erdős Problems?

List of conjectures by Paul Erdős - Wikipedia

Who is Paul Erdős - Wikipedia?



Posted by NHS Lion's Tale at 8:56 AM
Newer Post Older Post Home

Featured Post

What is the Unitary Executive? Some sources for possible policies: Heritage Foundation's Project 2025 keeps coming up this election. What is it?...And what is the America First Policy Institute?

  Project 2025 keeps coming up this election. What is it? : 2024 Election results: Trump wins 2024 election after taking Wisconsin : NPR Tru...

Important Links

  • AP Literature Schedule
  • English 10H
  • Journalism Schedule
  • Canvas
  • Morning Briefing
  • Office365
  • The Lion's Tale Substack-New Stories Every Week
  • Gold Rush
  • The Lion's Tale
  • Vote.gov
  • Our World in Data
  • Fact Check Websites
  • Open Secrets (Who $$$ to influence your life?)
  • YouTube Audio Library
  • Free Video Clips
  • Royalty Free Sound Clips
  • DPI Converter
  • RGB to CMYK Converter
  • Wade Millward writing/editing for CRN
  • Mallory Shelbourne writing for USNI
  • Journalism Pass Form
  • Journalism Pass list

Blog Archive

Search This Blog
Awesome Inc. theme. Powered by Blogger.