Anion–arene adducts: C–H hydrogen bonding, anion– interaction, and carbon bonding motifs

This article summarizes experimental and theoretical evidence for the existence of four distinct binding modes for complexes of anions with charge-neutral arenes. These include C–H hydrogen bonding and three motifs involving the arene– system—the noncovalent anion– interaction, weakly covalent interaction, and strongly covalent interaction

Robust Computer Algebra, Theorem Proving, and Oracle AI

In the context of superintelligent AI systems, the term "oracle" has two meanings. One refers to modular systems queried for domain-specific tasks. Another usage, referring to a class of systems which may be useful for addressing the value alignment and AI control problems, is a superintelligent AI system that only answers questions. The aim of this manuscript is to survey contemporary research problems related to oracles which align with long-term research goals of AI safety. We examine existing question answering systems and argue that their high degree of architectural heterogeneity makes them poor candidates for rigorous analysis as oracles. On the other hand, we identify computer algebra systems (CASs) as being primitive examples of domain-specific oracles for mathematics and argue that efforts to integrate computer algebra systems with theorem provers, systems which have largely been developed independent of one another, provide a concrete set of problems related to the notion of provable safety that has emerged in the AI safety community. We review approaches to interfacing CASs with theorem provers, describe well-defined architectural deficiencies that have been identified with CASs, and suggest possible lines of research and practical software projects for scientists interested in AI safety.Comment: 15 pages, 3 figure

Eating disorders in the time of COVID-19.

We have all been stunned by the speed of this viral pandemic. At the time of writing, one fifth of the world is under lockdown. The main foci have been on the public health effort to contain the spread of the virus, and the care of individuals with acute infection. We, in eating disorders, must have a broader brief. Not only must we help care for those sufferers who contract COVID-19, we must also address the impact-psychological, financial and social - on those that do not. The peculiarities of COVID-19 and the reaction of the public and governments to it, have particular relevance for people living with an eating disorder and those who care for them

Community-based trial of screening for Chlamydia trachomatis to prevent pelvic inflammatory disease: the POPI (prevention of pelvic infection) trial.

BACKGROUND: Pelvic inflammatory disease (PID) is common and can lead to tubal factor infertility, ectopic pregnancy or chronic pelvic pain. Despite major UK government investment in the National Chlamydia Screening Programme, evidence of benefit remains controversial. The main aim of this trial was to investigate whether screening and treatment of chlamydial infection reduced the incidence of PID over 12 months. Secondary aims were to conduct exploratory studies of the role of bacterial vaginosis (BV) in the development of PID and of the natural history of chlamydial infection. DESIGN: Randomised controlled trial with follow up after 12 months. SETTING NON-HEALTHCARE: Common rooms and lecture theatres at 20 universities and further education colleges in Greater London. PARTICIPANTS: 2500 sexually active female students were asked to complete a questionnaire on sexual health and provide self-administered vaginal swabs and smears. INTERVENTION: Vaginal swabs from intervention women were tested for chlamydia by polymerase chain reaction (PCR) and those infected referred for treatment. Vaginal swabs from control women were stored and analysed after a year. Vaginal smears were Gram stained and analysed for BV. MAIN OUTCOME MEASURE: Incidence of clinical PID over 12 months in intervention and control groups. Possible cases of PID will be identified from questionnaires and record searches. Confirmation of the diagnosis will be done by detailed review of medical records by three independent researchers blind to whether the woman is in intervention or control group. TRIAL REGISTRATION: Clinical Trials NCT 00115388

AI Safety and Reproducibility: Establishing Robust Foundations for the Neuropsychology of Human Values

We propose the creation of a systematic effort to identify and replicate key findings in neuropsychology and allied fields related to understanding human values. Our aim is to ensure that research underpinning the value alignment problem of artificial intelligence has been sufficiently validated to play a role in the design of AI systems.Comment: 5 page

Integrative Biological Simulation, Neuropsychology, and AI Safety

We describe a biologically-inspired research agenda with parallel tracks aimed at AI and AI safety. The bottom-up component consists of building a sequence of biophysically realistic simulations of simple organisms such as the nematode $Caenorhabditis$ $elegans$, the fruit fly $Drosophila$ $melanogaster$, and the zebrafish $Danio$ $rerio$ to serve as platforms for research into AI algorithms and system architectures. The top-down component consists of an approach to value alignment that grounds AI goal structures in neuropsychology, broadly considered. Our belief is that parallel pursuit of these tracks will inform the development of value-aligned AI systems that have been inspired by embodied organisms with sensorimotor integration. An important set of side benefits is that the research trajectories we describe here are grounded in long-standing intellectual traditions within existing research communities and funding structures. In addition, these research programs overlap with significant contemporary themes in the biological and psychological sciences such as data/model integration and reproducibility.Comment: 5 page

Density Functional Calculations On First-Row Transition Metals

The excitation energies and ionization potentials of the atoms in the first transition series are notoriously difficult to compute accurately. Errors in calculated excitation energies can range from 1--4 eV at the Hartree-Fock level, and errors as high as 1.5eV are encountered for ionization energies. In the current work we present and discuss the results of a systematic study of the first transition series using a spin-restricted Kohn-Sham density-functional method with the gradient-corrected functionals of Becke and Lee, Yang and Parr. Ionization energies are observed to be in good agreement with experiment, with a mean absolute error of approximately 0.15eV; these results are comparable to the most accurate calculations to date, the Quadratic Configuration Interaction (QCISD(T)) calculations of Raghavachari and Trucks. Excitation energies are calculated with a mean error of approximately 0.5eV, compared with \sim 1\mbox{eV} for the local density approximation and 0.1eV for QCISD(T). These gradient-corrected functionals appear to offer an attractive compromise between accuracy and computational effort.Comment: Journal of Chemical Physics, 29, LA-UR-93-425