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

8 hours ago 1

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

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

Points: 3

# Comments: 0

Read Entire Article
  1. Homepage
  2. Technology
  3. Resolving a $1000 Erdős problem, and vibe coding a Lean proof using ChatGPT

Related

Stereolithography-based 3D printing of silica without organic binders

Stereolithography-based 3D printing of silica without organi...

7 minutes ago 0
Trump 'retired' a weather tracking db. Finding $100B+ in losses after relaunch

Trump 'retired' a weather tracking db. Finding $100B+ in los...

9 minutes ago 0
Show HN: ProxyBridge redirect any Windows TCP/UDP traffic to HTTP/SOCKS5 proxies

Show HN: ProxyBridge redirect any Windows TCP/UDP traffic to...

10 minutes ago 0
Hostinger Web Hosting