Menu

Blog

Archive for the ‘mathematics’ category: Page 112

Sep 21, 2020

The Universal Mind Revealed as a Multi-Layered Quantum Neural Network

Posted by in categories: mathematics, particle physics, quantum physics, robotics/AI

In the sixties of the previous century, the science of Cybernetics emerged, which its founder Norbert Wiener defined as “the scientific study of control and communication in the animal and the machine.” Whereas the cyberneticists perhaps saw everything in the organic world too much as a machine type of regulatory network, the paradigm swapped to its mirror image, wherein everything in the natural world became seen as an organic neural network. Indeed, self-regulating networks appear to be ubiquitous: From the subatomic organization of atoms to the atomic organization of molecules, macromolecules, cells and organisms, everywhere the equivalent of neural networks appears to be present.

#EvolutionaryCybernetics #CyberneticTheoryofMind #PhilosophyofMind #QuantumTheory #cybernetics #evolution #consciousness

Continue reading “The Universal Mind Revealed as a Multi-Layered Quantum Neural Network” »

Sep 21, 2020

Astronomers discover an Earth-sized ‘pi planet’ with a 3.14-day orbit

Posted by in categories: mathematics, space

In a delightful alignment of astronomy and mathematics, scientists at MIT and elsewhere have discovered a “pi Earth”—an Earth-sized planet that zips around its star every 3.14 days, in an orbit reminiscent of the universal mathematics constant.

The researchers discovered signals of the planet in data taken in 2017 by the NASA Kepler Space Telescope’s K2 mission. By zeroing in on the system earlier this year with SPECULOOS, a network of ground-based telescopes, the team confirmed that the signals were of a planet orbiting its star. And indeed, the planet appears to still be circling its star today, with a pi-like period, every 3.14 days.

“The planet moves like clockwork,” says Prajwal Niraula, a graduate student in MIT’s Department of Earth, Atmospheric and Planetary Sciences (EAPS), who is the lead author of a paper published today in the Astronomical Journal, titled: “π Earth: a 3.14-day Earth-sized Planet from K2’s Kitchen Served Warm by the SPECULOOS Team.”

Sep 20, 2020

The Solar Cycle As Seen From Space

Posted by in category: mathematics

Tick-tock, the Sun’s like a clock — but much more complex to predict. Scientists use a combination of observations, models, and mathematical techniques (including a “solar clock” analysis) to understand how the Sun will behave in the upcoming solar cycle. https://go.nasa.gov/3kzpLoF

Sep 16, 2020

Geometry Points to Coronavirus Drug Target Candidates

Posted by in categories: biotech/medical, computing, mathematics

When a virus invades your cells, it changes your body. But in the process, the pathogen changes its shape, too. A new mathematical model predicts the points on the virus that allow this shape-shifting to occur, revealing a new way to find potential drug and vaccine targets. The unique math-based approach has already identified potential targets in the coronavirus that causes COVID-19.

Outlined in April in the Journal of Computational Biology, the strategy predicts protein sites on viruses that stash energy—important spots that drugs could disable. In a rare feat, the work proceeds from pure mathematics, says study author and mathematician Robert Penner of the Institute of Advanced Scientific Studies in France. “There’s precious little pure math in biology,” he adds. The paper’s predictions face a long road before they can be verified experimentally, says John Yin, who studies viruses at the University of Wisconsin–Madison and was not involved in the research. But he agrees that Penner’s approach has potential. “He’s coming at this from a mathematician’s point of view—but a very scientifically informed mathematician,” Yin says. “So that’s highly rare.”

Penner’s method takes advantage of the fact that certain viral proteins alter their shape dramatically when viruses breach cells, and this transformation depends on unstable features. (A stable protein site, by definition, resists change.) By identifying “high free energy sites”—areas on a viral protein that store lots of energy—Penner realized he could spot likely “spring” points that mediate this change in shape. He calls such high-energy spots exotic sites. Finding them required some complex math.

Sep 16, 2020

The Holy Grail of Endless Energy: Harvesting Blackholes

Posted by in categories: climatology, cosmology, mathematics, solar power, sustainability

While the future of the clean energy proposal remains uncertain, the majority of Americans have been reading from the same page regarding what needs to be done: Dramatically cutting down the country’s reliance on fossil fuels over the next two decades is critical to lowering greenhouse gas (GHG) emissions and address climate change, with six in 10 U.S. adults saying they would favor policies with this energy goal. Thankfully, scientists have been researching alternative energy solutions like wind and solar power for decades, including lesser-known sources that may seem a little unusual or even downright ridiculous and unrealistic.

You can chalk up harvesting energy from blackholes to the latter category.

Fifty years ago, British mathematical physicist, Roger Penrose, proposed a seemingly absurd idea how an alien society (or future humans) could harvest energy from a rotating black hole by dropping an object just outside its sphere of influence also known as the ergosphere where it could gain negative energy. Since then, nobody has been able to verify the viability of this seemingly bizarre idea— that is until now.

Sep 12, 2020

OpenAI ‘GPT-f’ Delivers SOTA Performance in Automated Mathematical Theorem Proving

Posted by in categories: mathematics, robotics/AI

San Francisco-based AI research laboratory OpenAI has added another member to its popular GPT (Generative Pre-trained Transformer) family. In a new paper, OpenAI researchers introduce GPT-f, an automated prover and proof assistant for the Metamath formalization language.

While artificial neural networks have made considerable advances in computer vision, natural language processing, robotics and so on, OpenAI believes they also have potential in the relatively underexplored area of reasoning tasks. The new research explores this potential by applying a transformer language model to automated theorem proving.

Automated theorem proving tends to require general and flexible reasoning to efficiently check the correctness of proofs. This makes it an appealing domain for checking the reasoning capabilities of language models and for the study of reasoning in general. The ability to verify proofs also helps researchers as it enables the automatic generation of new problems that can be used as training data.

Sep 11, 2020

The Mathematics Behind Deep Learning

Posted by in categories: mathematics, robotics/AI

Deep neural networks (DNNs) are essentially formed by having multiple connected perceptrons, where a perceptron is a single neuron. Think of an artificial neural network (ANN) as a system which contains a set of inputs that are fed along weighted paths. These inputs are then processed, and an output is…

Sep 10, 2020

2021 Breakthrough Prize Winners Announced: Researcher Who Developed Protein Design Technology Awarded $3 Million

Posted by in categories: biotech/medical, mathematics

Baker won one of the six $3 million Breakthrough Prizes this year, which were awarded to eight different scientists in Mathematics, Fundamental Physics and Life Sciences.


David Baker, whose protein design technology is being used to develop therapies for Covid-19 and cancer, received one of several awards to scientists from the Breakthrough Prize Foundation that add up to a combined total of $21.75 million.

Sep 10, 2020

Joscha Bach — GPT-3: Is AI Deepfaking Understanding?

Posted by in categories: existential risks, information science, mathematics, media & arts, particle physics, quantum physics, robotics/AI, singularity

On GPT-3, achieving AGI, machine understanding and lots more… Will GPT-3 or an equivalent be used to deepfake human understanding?


Joscha Bach on GPT-3, achieving AGI, machine understanding and lots more
02:40 What’s missing in AI atm? Unified coherent model of reality
04:14 AI systems like GPT-3 behave as if they understand — what’s missing?
08:35 Symbol grounding — does GPT-3 have it?
09:35 GPT-3 for music generation, GPT-3 for image generation, GPT-3 for video generation
11:13 GPT-3 temperature parameter. Strange output?
13:09 GPT-3 a powerful tool for idea generation
14:05 GPT-3 as a tool for writing code. Will GPT-3 spawn a singularity?
16:32 Increasing GPT-3 input context may have a high impact
16:59 Identifying grammatical structure & language
19:46 What is the GPT-3 transformer network doing?
21:26 GPT-3 uses brute force, not zero-shot learning, humans do ZSL
22:15 Extending the GPT-3 token context space. Current Context = Working Memory. Humans with smaller current contexts integrate concepts over long time-spans
24:07 GPT-3 can’t write a good novel
25:09 GPT-3 needs to become sensitive to multi-modal sense data — video, audio, text etc
26:00 GPT-3 a universal chat-bot — conversations with God & Johann Wolfgang von Goethe
30:14 What does understanding mean? Does it have gradients (i.e. from primitive to high level)?
32:19 (correlation vs causation) What is causation? Does GPT-3 understand causation? Does GPT-3 do causation?
38:06 Deep-faking understanding
40:06 The metaphor of the Golem applied to civ
42:33 GPT-3 fine with a person in the loop. Big danger in a system which fakes understanding. Deep-faking intelligible explanations.
44:32 GPT-3 babbling at the level of non-experts
45:14 Our civilization lacks sentience — it can’t plan ahead
46:20 Would GTP-3 (a hopfield network) improve dramatically if it could consume 1 to 5 trillion parameters?
47:24 GPT3: scaling up a simple idea. Clever hacks to formulate the inputs
47:41 Google GShard with 600 billion input parameters — Amazon may be doing something similar — future experiments
49:12 Ideal grounding in machines
51:13 We live inside a story we generate about the world — no reason why GPT-3 can’t be extended to do this
52:56 Tracking the real world
54:51 MicroPsi
57:25 What is computationalism? What is it’s relationship to mathematics?
59:30 Stateless systems vs step by step Computation — Godel, Turing, the halting problem & the notion of truth
1:00:30 Truth independent from the process used to determine truth. Constraining truth that which can be computed on finite state machines
1:03:54 Infinities can’t describe a consistent reality without contradictions
1:06:04 Stevan Harnad’s understanding of computation
1:08:32 Causation / answering ‘why’ questions
1:11:12 Causation through brute forcing correlation
1:13:22 Deep learning vs shallow learning
1:14:56 Brute forcing current deep learning algorithms on a Matrioshka brain — would it wake up?
1:15:38 What is sentience? Could a plant be sentient? Are eco-systems sentient?
1:19:56 Software/OS as spirit — spiritualism vs superstition. Empirically informed spiritualism
1:23:53 Can we build AI that shares our purposes?
1:26:31 Is the cell the ultimate computronium? The purpose of control is to harness complexity
1:31:29 Intelligent design
1:33:09 Category learning & categorical perception: Models — parameters constrain each other
1:35:06 Surprise minimization & hidden states; abstraction & continuous features — predicting dynamics of parts that can be both controlled & not controlled, by changing the parts that can be controlled. Categories are a way of talking about hidden states.
1:37:29 ‘Category’ is a useful concept — gradients are often hard to compute — so compressing away gradients to focus on signals (categories) when needed
1:38:19 Scientific / decision tree thinking vs grounded common sense reasoning
1:40:00 Wisdom/common sense vs understanding. Common sense, tribal biases & group insanity. Self preservation, dunbar numbers
1:44:10 Is g factor & understanding two sides of the same coin? What is intelligence?
1:47:07 General intelligence as the result of control problems so general they require agents to become sentient
1:47:47 Solving the Turing test: asking the AI to explain intelligence. If response is an intelligible & testable implementation plan then it passes?
1:49:18 The term ‘general intelligence’ inherits it’s essence from behavioral psychology; a behaviorist black box approach to measuring capability
1:52:15 How we perceive color — natural synesthesia & induced synesthesia
1:56:37 The g factor vs understanding
1:59:24 Understanding as a mechanism to achieve goals
2:01:42 The end of science?
2:03:54 Exciting currently untestable theories/ideas (that may be testable by science once we develop the precise enough instruments). Can fundamental physics be solved by computational physics?
2:07:14 Quantum computing. Deeper substrates of the universe that runs more efficiently than the particle level of the universe?
2:10:05 The Fermi paradox
2:12:19 Existence, death and identity construction.

Sep 10, 2020

UK mathematician wins richest prize in academia

Posted by in categories: innovation, mathematics

Martin Hairer takes $3m Breakthrough prize for work a colleague said must have been done by aliens.