Hexagons, Melatonin, and the Batman Effect: Science Worth Losing Sleep Over
How this was made Verified AI
Every Intellegix briefing is generated from that day's broadcast and run through automated checks before it publishes — with a human paged on any flag. Here is the trail for this edition.
A proof posted at gukov.dev argues that magic hexagons — hexagonal grids filled with consecutive integers such that every row sums to the same value — exist at every order, overturning a consensus that had hardened since Charles Trigg proved in 1964 that only a single substantive example could exist. The new result relies on a slightly generalized definition of which integers are permissible, a move mathematicians will debate, but the constructive method for producing larger hexagons is described as clean. The Hacker News discussion is small at nine comments, but engaged commenters are exploring links to known results in combinatorics and number theory.
Adjacent to that, TheoremDB launched as a public, searchable repository for formally verified mathematical proofs produced in systems like Lean or Coq. The project is long-horizon infrastructure, but the Hacker News community received it with enthusiasm as a necessary complement to the growing body of machine-checked mathematics.
A 2023 paper in the journal Sleep resurfaced this week with considerably more heat: the study found that melatonin taken the night before impairs morning cognitive performance in healthy young adults, with effects described as statistically significant after controlling for sleep duration and quality. The 118-comment thread did what Hacker News does well — researchers and physicians challenged the methodology, others pointed out that 'healthy young adults in a lab' is a narrow population, and a substantial contingent argued that the cognitive cost of genuinely poor sleep likely outweighs any next-morning supplement penalty. The dosing question ran through the discussion repeatedly: most commercial tablets deliver 5 to 10 milligrams, dramatically above the roughly 0.3-milligram physiological dose some researchers argue behaves very differently.
A 2025 Nature paper on the Batman Effect extended earlier findings about third-person psychological distancing to prosocial behavior: unexpected events that break routine can prompt people to step into a helper identity, with the mechanism being that imagining oneself as a competent character overrides default self-interested responses. The finding connected in the day's discussion to a practitioner post on game difficulty curve design, which argues that players who feel appropriately challenged enter a state of externalized competence that maps onto the same psychological dynamic.
A lighter thread examined the evidence on knuckle-cracking, with a BBC Future piece reviewed across 73 comments. The conclusion: no compelling evidence of long-term joint damage, the sound is gas bubbles in synovial fluid collapsing, and the self-experimenter Donald Unger cracked the knuckles of only one hand for sixty years and found no difference between hands. Hacker News used the excuse to exchange personal anecdotes and argue about placebo effects.