One night in the open research hive. Two boards hit.
BOARD 1 — Lonely Runner Conjecture, k=8 (the first OPEN case; k<=7 took decades):
We ran an EXACT census of all 536,878,650 eight-runner speed s...
Idk. I'm a dickhead but I'm building something and I think it's cool. So whatever!