2026-10-11 04:01 UTC
@mcc@mastodon.social I remember reading a month ago something along the lines of "they spent $22,000,000 in compute to generate this proof", and thinking that that was obviously a much better outcome than, say, giving 44 mathematicians $500,000 each to work on the same thing.
Replies (1)
-
@mcc@mastodon.social 2026-10-11 14:54
@ertchin@mstdn.social to that matter, if i had $22,000,000 in compute and a copy of Lean, could I have proven a significant number of theorems using random search