Having problems with message search?
moonshine
More recent projects stir the imagination, even if the field is still young. Computer programs have generated over one thousand conjectures in graph theory↗, expressing numerical relationships between different graph invariants. One open conjecture is described in the box “An Open Computer-Generated Conjecture”. No technological barriers prevent us from unleashing conjecturing machines in all branches of mathematics, to see what moonshine they reveal.
“Formal Proof” (2008) Thomas C Hales. American Mathematical Society's “A Special Issue on Formal Proof”. (Source↗ 2008-12)
moonshine = shine of the moon; empty or trivial (as moonshine); whiskey illegally distilled. moonshine↗
☄
Offline 
Send Email