s(7) is at least 5898

62 views

Skip to first unread message

unread,

Aug 12, 2026, 11:47:14 PM (24 hours ago) Aug 12

to Superpermutators

Hi, fellow Superpermutators.

Claude was able to put together a Lean-verified proof that 5898 ≤ s(7).

This improves upon the best lower bound that I'm aware of (from Vlad Gheorghe) by 2.

Please enjoy,

-Justin

Reply all

Reply to author

Forward

0 new messages