Skip to content
Tech News
clear
Topics: Today This Week This Month This Year
1.
I vibed a proof of Conway's conjecture (news.ycombinator.com)
2026-09-18 | tags: conway's conjecture, surreal numbers, lean proof
2.
I Vibed a Proof of Conway's Conjecture (news.ycombinator.com)
2026-09-18 | tags: conway's conjecture, surreal numbers, lean proof
3.
Formalizing Fermat's Last Theorem (news.ycombinator.com)
2026-09-04 | get Fermat's Enigma Simon Singh book → | tags: fermats last theorem, lean proof assistant, imperial college london
4.
Palomar: A registry of Lean verified mathematics (news.ycombinator.com)
2026-08-19 | by Terence Tao | tags: lean proof assistant, palomar registry, github repositories
5.
Lean4: How the theorem prover works and why it's the new competitive edge in AI (venturebeat.com)
2025-11-23 | get Theorem Prover → | tags: correct, formal, lean
6.
The math is haunted (news.ycombinator.com)
2025-10-31 | get Amazon Echo Dot → | tags: goal, lean, proof
7.
The Math Is Haunted (news.ycombinator.com)
2025-10-31 | get Amazon Echo Dot → | tags: goal, lean, proof
Today's top topics: anthropic openai artificial intelligence dario amodei android authority claude chatgpt iphone 18 pro iphone duo google
View all today's topics →

© 2026 GoKawiil | 7 articles displayed

About | Editorial Policy | Contact | Email Alerts