Resolving a $1000 Erdős problem, and vibe coding a Lean proof using ChatGPT

October 22, 2025

Share This Post

Article URL: https://mathstodon.xyz/@tao/115416208975810074

Comments URL: https://news.ycombinator.com/item?id=45667795

Points: 3

# Comments: 0

Source: mathstodon.xyz

Subscribe To Our Newsletter

Get updates and learn from the best

More To Explore

ASD – Barriers and Pathways in Formal and Self-Diagnosis

Article URL: https://codeberg.org/alicewatson/asd-self-dx/src/branch/main Comments URL: https://news.ycombinator.com/item?id=45860024 Points: 1 # Comments: 0 Source: codeberg.org

November 8, 2025

Beauty Backfire Effect: How Extreme Attractiveness Undermines Fitfluencers

Article URL: https://onlinelibrary.wiley.com/doi/10.1002/mar.70023 Comments URL: https://news.ycombinator.com/item?id=45859994 Points: 1 # Comments: 0 Source: onlinelibrary.wiley.com

November 8, 2025

IT Support

Hosting & Email

Cloud Solutions

Cyber Security

Telephone & Internet