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

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
Windows Securitym Hackers Feeds

LLMs Are Weird, Man

Article URL: https://surfingcomplexity.blog/2025/05/25/llms-are-weird-man/ Comments URL: https://news.ycombinator.com/item?id=45700844 Points: 1 # Comments: 0 Source: surfingcomplexity.blog

October 25, 2025

Computer Science Education Newsletter

Article URL: https://computingeducationthings.substack.com/ Comments URL: https://news.ycombinator.com/item?id=45700825 Points: 1 # Comments: 0 Source: computingeducationthings.substack.com

October 25, 2025

Do You Want To Boost Your Business?

drop us a line and keep in touch

Contact Us

We are here to help

One of our technicians will be with you shortly.