That question keeps our obsessive protagonist awake at night as a graduate student at Berkeley, California, where he is striving to solve the Malosz mathematical conjecture.
In 1996, a young geometer at Berkeley named Alexander Givental had proved a mathematical conjecture about mirror symmetry, a concept that is fundamental to string theory.
That ran counter to a mathematical conjecture that, among so-called convex objects (those without dimples, holes or hollows), spheres should have the loosest ideal packing.
When a new mathematical conjecture is proven, there may be initial debate as to the validity of the proof but upon community validation, the debate ends.
In an address at the International Congress of Mathematicians in 1994, mathematician Maxim Kontsevich presented a new mathematical conjecture based on the physical idea of mirror symmetry in topological string theory.
Hilbert realized, albeit somewhat dimly, that some of his convictions can actually be considered to be mathematical conjectures.
Besides the CH, many other mathematical conjectures and problems about the continuum, and other infinite mathematical objects, have been shown undecidable in ZFC using the forcing technique.
As noted, players often had no awareness that the actions they were asked to perform related to the mathematical conjectures.
GEMC also correctly predicted that proof validity would improve when players' directed actions elicited during game play were explicitly connected to mathematical conjectures through pedagogical language.
For example, the likelihood that students produced valid proofs for mathematical conjectures was positively associated with the presence of 'dynamic depictive gestures' (Donovan et al., 2014).
