Selected from source-grounded bilingual updates that are complete enough to check. Briefs are arranged automatically; items are AI-generated and not individually human-reviewed by default (human-reviewed items are labeled), so verify original sources before citing.
How this brief is selected: we include AI4Science updates with reliable sources and complete Chinese and English coverage, prioritizing fuller and easier-to-check information.
01Terence Tao
[This is a guest post by a coalition of Caltech mathematicians: the original organizers of Mathathon (Alvan Arulandu, Andrea Li, Avni Garg, Brian Zhao, Caiman Moreno-Earle, Sathvik Redrouthu), two coauthors of the Open Letter about the Mathathon (Dylan King, Tasmin Chu), and other members of the Caltech community (Mayla Ward, Merrick Hua, Robert Joseph George, Sergei Gukov, Shaowu Zhang, Tony Yue Yu, Vihaan Dheer). This blog post was initially written in a different file format and converted using AI. It is also crossposted at Proofs and Prompts — T.] Mathathon is centered around one question: how can we use AI to augment human understanding of mathematics? This past week, the original organizers of Mathathon, two coauthors of an open letter about the mathathon , and other members of the Caltech community engaged in a conversation to redesign this event. We quickly reached a consensus: problem solving is but one component of mathematics; mathematical understanding and exposition are similarly meaningful. But these components have often been overlooked by grantmakers and hiring committees. We want to celebrate human mathematicians who undertake this work. Thus the new theme of Mathathon is Old Problems, New Proofs . Consider the four color theorem, the ABC conjecture, or the Navier-Stokes problem. Many mathematicians find their proofs—or claimed proofs—difficult to understand or unsatisfying. We invite our participants to pick a problem with an unintuitive solution, learn as much as possible in 40 hours, and present their findings to their peers. Then, they will take two months to develop an alternative proof or exposition. Afterward, they’ll submit an explainer and a GitHub repository. The explainer can take any form: a paper, a blog post, a video, an interactive game, et cetera. The repository will store whatever was used to produce the explainer—LLM chat histories, code used to produce visualizations, and more—so the mathematics community can examine the ideas behind the finished product. By shifting the focus from open problems, we want to encourage Mathathon participants to explore everything else we do to make sense of mathematics: generalizations, new notations and techniques, connections to other problems. These innovations can be more exciting than solving individual problems. Mathathon treats AI as one of many tools available to mathematicians. We…
Microsoft Research AI for Science · Microsoft Research Feed
Biology doesn't operate in silos, and neither should the AI representation of it. Quine is an early-stage research effort to create a multimodal world model of biology. By connecting insights across biological scales and modalities, Quine helps scientists computationally search a space far larger than intuition allows and prioritize hypotheses before they reach the lab. Experimental results provide important feedback, helping researchers sharpen future research directions.
Discovery · Isomorphic Labs
Listen: Solving all disease is one of the most monumentally complex challenges in science. Today, for the first time, AI provides the foundation to make it achievable. Tackling the frontier of human health is our mission, and it means identifying exactly where modern AI can make the greatest difference. We see drug discovery as the critical wedge in solving all disease, and therefore our initial focal point where AI can have a transformative impact on human health. Developing a drug that successfully and effectively treats disease fundamentally involves understanding biological mechanisms and designing exquisitely engineered molecules that can modulate them safely. So we are taking a straight shot at making that a reality. We are generating the data, training the AI models, developing the software, and laying down the physical infrastructure to make new medicines; taking these potential therapeutics all the way to patients in the clinic. We are building this new architecture in a way that will scale across multiple disease areas, and different types of medicines, from small molecules to antibodies, peptides, and beyond. In 2021, when we started Isomorphic Labs, AI drug discovery was just a hypothesis. Conventional approaches were bottlenecked by slow, resource-intensive iterative design-make-test cycles, viewing AI as an experimental tool for narrow tasks. At the same time the AI revolution was well underway across multiple industries. A seismic shift was happening with the emergence of foundation models, moving away from single-task algorithms toward highly versatile systems capable of world-understanding, zero-shot reasoning and generating complex text and images. Up to this point, I had spent my education and career in core AI, building intelligent systems by scaling up neural networks and deep reinforcement learning to solve the hardest problems at a superhuman level. But having grown up in a medical family, I recognised the potential to apply this superhuman new technology to humanity’s most meaningful challenge: human health. Working with Sir Demis Hassabis, we created the founding team at Isomorphic Labs to pivot breakthroughs in AI toward solving the drug discovery problem. We set out on a path to approach drug discovery as an engineering process, stripping back to first principles, to rebuild the process to design medicines. Almost every field of e…
Hugging Face Daily Papers
Reproducibility is essential for scientific research, yet prior work shows that LLM outputs vary with hardware and batching. We identify an overlooked factor: the hidden injection of the current date into system prompts, which users cannot control and which changes every day. Across 9 recent LLMs and 6 datasets spanning multiple-choice QA (MCQA), math reasoning, code generation, and machine translation, performance varies solely with the current date, with deltas of up to 6% on MCQA, 14% on math reasoning, 7% on code generation, and 2.84 BLEU on machine translation. Model rankings also shift, affecting leaderboards. This date effect exceeds other sources of non-determinism, such as batch size and numerical precision. Standard prompting techniques -- chain-of-thought and few-shot prompting -- do not reduce the sensitivity; chain-of-thought even amplifies it. Our findings underscore the need for careful evaluation protocols to ensure reproducibility and fair comparisons in LLM research.
Hugging Face Daily Papers
Coding agents are beginning to move beyond purely digital tasks to tackle physical-world challenges, particularly in robotics. Existing robotics benchmarks, however, primarily focus on the performance of individual artifacts, such as policies or controllers, offering limited coverage of coding agents' broader engineering capabilities. Real-world robotics extends beyond control: agents must build, integrate, diagnose, and improve heterogeneous artifacts under resource constraints and reason from multimodal feedback. To evaluate these broader capabilities, we introduce RLE-Bench, a benchmark of robot-learning tasks spanning four representative robotics development workflows: interactive control, policy learning, perception and estimation, and mechanical design. We use diverse task-specific metrics to evaluate the artifacts submitted by the coding agents, from the success rate the agents achieved to the policy agents trained, the harness agent built, and the mechanical structures the agent designed. We aggregate these metrics into an overall RLE Index and report workflow-specific capability profiles, enabling systematic comparison of coding agents' capabilities across multiple capability dimensions. Beyond performance ranks, we also conduct in-depth case studies examining agent behavior on representative tasks, highlighting both current capabilities and limitations, and pointing to the opportunities robotics tasks have to offer for future agent training.
