Illustration Beyond Proof
🔥Hacker News2026-10-11
标签
#proof
11 条相关内容
OpenAI mistranslated mathematics into code for its Navier-Stokes proof
🔥Hacker News2026-10-09
AI-assisted proof of optimal packing for 11 squares
🔥Hacker News2026-10-07
The OpenAI proofs are us
🔥Hacker News2026-10-07
No Background Checks, No Proof of Education: ProPublica and Private Schools
🔥Hacker News2026-10-02
Anatomy of a Lean proof for software engineers
🔥Hacker News2026-10-01
If math is more than proof, we need to better celebrate the rest of it
🔥Hacker News2026-09-19
I vibed a proof of Conway's conjecture
🔥Hacker News2026-09-18
Bend – a language that blocks AI mistakes via proof and runs on GPUs
🔥Hacker News2026-09-17
I sent Google proof of a bot farm. They called it "normal user behavior."
🔥Hacker News2026-09-16
Registration without a phone number on Signal will use zero-knowledge proofs
🔥Hacker News2026-09-13