#arxiv

#arxiv

The format has ginormous link cards at the bottom of the AI summary, which include a thumbnail of no apparent value, the site name, favicon, description, and title.

Computer programs that check mathematical arguments have existed for decades, but translating a human-written proof into the strict programming language of a computer is extremely time-consuming, often taking months or even years.

Modern scientific societies are increasingly vulnerable due to their dependence on membership fees and journal subscriptions, which are being challenged by the rise of virtual networking and open-access publishing.

A core question we want to understand is where did matter come from. And then, if you know about antimatter, it's natural to ask, why is that not here? The process is not understood and we are hunting for clues as to why it happened, says Dr Christian Smorra, a physicist on the Baryon Antibaryon Symmetry Experiment (Base) at Cern.

In 2023, Australia abandoned its expensive and bureaucratic scholar-led research-assessment programme. New Zealand followed suit soon after. The hope, according to a transition plan unveiled by the Australian federal government's Department of Education and the research sector, was to find a "more modern, data-driven approach". In the United Kingdom, where financial pressures on universities are especially acute, there are similar calls to reform the Research Excellence Framework (REF), the country's performance-based research-funding system.

That was a year or so ago, and my first brush with what generative AI could do. Like many, I started using it for fun: planning trips, finding nineteenth century authors I could recommend to fantasy-loving students (a genre I don't read), and making a holiday card starring my dog, Harry. But as work piled up, I didn't have time for new toys, so now I use AI for work.

Y.W. designed the experimental protocols, performed experiments, analysed the data and wrote the manuscript. Y.H., X.K., D.C., J.X.X. and W.Z. performed experiments and edited the manuscript. Y.C. and S.P. edited the manuscript. M.J., X.P. and J.D. proposed the experimental concept, designed experimental protocols and proofread and edited the manuscript. All authors contributed with discussions and checking the manuscript. Corresponding authors Correspondence to Min Jiang or Xinhua Peng.

Analogue quantum simulations are a useful tool for investigating these systems, particularly in regimes in which the applicability of numerical techniques is limited. For different simulator platforms, figures of merit include the electron bandwidth and interaction strength, temperature and the number of simulated lattice sites. Their use is further underscored by the ability to realize distinct lattice geometries, on-site degrees of freedom and by the physical observables that are accessible to experimental measurement.

Recent integrative approaches suggest that physics cannot be adequately characterized by magnitude-based distinctions alone, such as those implied by Big-P, little-p, and mini-p physics. While these categories capture differences in scope and historical impact, they fail to address the heterogeneity of physical activity itself. To remedy this, I propose the Five Fs of physics: force, friction, flux, formulation, and foundational structure.