User blog comment:DWither/Doubt about busy beaver/@comment-5529393-20180904212819/@comment-35606647-20180906174821

Aren't we already using that? Infinite time and memory. But the hard part is to use a finite amount of time.