Hackernews posts about T1000-E

1. We resolve a $1000 Erdős problem, with a Lean proof vibe coded using ChatGPT (borisalexeev.com)
   17 points by mathfan 27 days ago | 4 comments
2. Resolving a $1000 Erdős problem, and vibe coding a Lean proof using ChatGPT (mathstodon.xyz)
   5 points by mathfan 27 days ago | 1 comments
3. Resolving a $1000 Erdős problem, and vibe coding a Lean proof using ChatGPT (arxiv.org)
   5 points by mathfan 26 days ago | discuss
4. Krafton Invests $70M to Become "AI-First" Company (www.krafton.com)
   1 points by HelloUsername 25 days ago | discuss
5. T1000-E Card Tracker is a thin, credit card-sized GPS with Meshtastic support (www.cnx-software.com)
   15 points by janandonly 6 months ago | 2 comments