Is mathematics the Christmas present of the year?
by Anders Sandberg
Is mathematics the Christmas present of the year? TheoryMine is a company that uses automatic theorem discovery and proof to generate new theorems via computer, which customers can then buy the naming rights for (for a paper describing the method, see The Theory behind TheoryMine). Is this a scam? Or does it devalue pure mathematics? Or is this a great new way of acknowledging its beauty?
Read More »Is mathematics the Christmas present of the year?