Daily Edition · Page 3

THE DAILY INDEX

Technology, AI, software, security, crypto and business

GENERAL

TLDR

APPLE'S HOMEVIEW OFFERS TANTALIZING PREVIEW OF A FUTURE ROBOTIC VERSION

Apple is already working on developing a higher-end version of its HomeView display with a robotic limb that can automatically swivel the screen toward whoever is speaking. The company's own advertising for the $299 HomeView makes a compelling case for why a motorized version is needed. The device was designed to be controlled primarily by voice. While the HomeView is a pretty nice offering for $299, its design clearly shows it was a product conceived years ago.

HOW TO FORMALIZE ALL OF MATHEMATICS

It would be a terrible waste of resources to spend millions of dollars to formalize mathematics results in libraries nobody uses. Doing so could also disincentivize good research and productive use of AI, disrupt the social norms and practices research depends on, and set the field back decades. Several projects are now working to ensure formal libraries fulfill the community's mathematical goals. Within the next few years, most of mathematics will be able to be formalized in such a way that mathematicians can explore, build on, and make use of formal libraries. This will significantly extend their ability to develop and discover new mathematics.

WE DISCOVERED SOMETHING TOTALLY UNEXPECTED ABOUT THE NEURAL STRUCTURE OF CONSCIOUSNESS

Researchers have discovered a signal deep in the brain that richly represents a stimulus people are unaware of. This finding makes it possible to understand how a pattern of neural activity accesses consciousness. There are clear signals that correspond to both what is and isn't conscious. This makes it possible to follow both sets of footprints and track down the full machine for generating conscious percepts.

DECOHERENCE

Decoherence is the accumulation of locally valid but mutually incompatible or redundant models within a system. It causes the cost of change to be dominated by translating among those models and preventing unintended side-effects. Decoherence grows relative to the rate of change of a system, and it increases faster the more decoherent a system is, resulting in runaway exponential growth. It rules out the specter of runaway recursive self-improvement, as decoherence both prevents AI from improving in a bubble and limits the rate at which it can improve outside of it. However, it also introduces a new kind of disaster called Decoherence Collapse.

WILL IT BE A GOLDEN AGE OR A DARK AGE FOR MATHEMATICS (AND SCIENCE)?

Large language models have demonstrated remarkable abilities in generating mathematical proofs. This could lead to a golden age where a new generation of scientists is empowered, new STEM expertise is developed, and an open, collaborative, and intellectually independent scientific enterprise is preserved. However, it could also lead to independent human scientific activity progressively weakening, the production of new knowledge becoming increasingly concentrated in a small number of hands, and knowledge becoming alien to human understanding. The future will likely be a combination of these scenarios.

WHY ONE OF THE WORLD'S GREATEST MATHEMATICIANS IS ON A ‘WAR FOOTING'

Terence Tao, one of the world's greatest living mathematicians, is currently doing very little math. OpenAI's recent finding in the mathematical field has left him feeling used, as he previously had a good relationship with many employees at the company. Now, he sees them as only using math to evaluate their models, and can't see a way to constructively engage. Despite OpenAI's releases, most problems at the frontiers of math are unsolved, and as math remains infinite, the difficulty of problems is boundless.

TLDR IndexPage 3