News for hackers. Stuff that matters.

A comment on Mathematics has changed. Let's act like it. Parent comment

Re:Mathematics has changed. Let's act like it by ion_trapper on Sunday November 01, 2026 @02:35PM (#50328902)
A bug which has allowed 700 proofs from diverse fields of math to appear as proven, and noone has figured it out yet?
[ Parent | on HN ]
Re:Mathematics has changed. Let's act like it by afdbcreid on Sunday November 01, 2026 @02:53PM (#50329100)
A single bug can usually allow you to prove anything you want. Saying that this is how the proofs were achieved is a totally different matter though, and probably incorrect.
[ Parent | on HN ]