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.
register or log in to get more services such as weather report, extended news articles and web search