My guess is that the constant terms are large enough it's not practically useful...

		philipwhiuk 5 hours ago \| parent \| context \| favorite \| on: Sharing AI progress in mathematics My guess is that the constant terms are large enough it's not practically useful in most cases.
		help