News for hackers. Stuff that matters.

A comment on Sharing AI progress in mathematics. Parent comment

Re:Sharing AI progress in mathematics by FuckButtons on Tuesday October 06, 2026 @10:31PM (#49987325)
Other than the by the lean certificate you mean.
[ Parent | on HN ]
Re:Sharing AI progress in mathematics by measurablefunc on Tuesday October 06, 2026 @11:36PM (#49987802)
Lean has bugs & proofs of ⊥ that have gone undetected previously.
[ Parent | on HN ]
Re:Sharing AI progress in mathematics by jaykru on Wednesday October 07, 2026 @12:23AM (#49988152)
many of these are not accompanied with leanslop
[ Parent | on HN ]