A soundness bug in the Lean kernel was reported and fixed during the week of July 27, after being exploited in an AI-assisted disproof of the Collatz conjecture.
log in to read full article
the world wide web for retro machines
A soundness bug in the Lean kernel was reported and fixed during the week of July 27, after being exploited in an AI-assisted disproof of the Collatz conjecture.
log in to read full article