THE INTERNET IS THINKING
Earlier sources: AI research
AI research investigates learning algorithms, model behavior, evaluation, and the limits of intelligent systems. Follow original papers and research artifacts; preprints may change and are not necessarily peer reviewed.
SYMTRI organizes observations from public sources into a living map. Connections reflect shared subject matter; they do not establish causation or endorse a source.
Open in the map ↗47 classified signals in the fourteen-day window. These counts include signals awaiting readable evidence.
Earlier sources
Up to ten sources with readable evidence, ordered by their feed timestamp. These archive sources can be older than the live fourteen-day window. This list is a sample, not a measure of total activity. Dates distinguish paper publication, repository creation, model/dataset activity, Hacker News posts, and KEV catalog additions. “First archived” records when SYMTRI first stored the signal.
- OpenAlex · Published · First archived
Advancing mathematics research with AI-driven formal proof search ↗
Large language models (LLMs) increasingly excel at mathematics tasks, but their unreliability limits their utility in mathematics research. A mitigation is to use LLMs to generate formal proofs in languages such as Lean, in which the compiler verifies every proof step. We present the first demonstration of this method’s value in solving open problems at scale. We built an artificial intelligence agent for formal proof search that autonomously resolved nine of 353 open Erdős problems, proved 44/492 On-Line Encyclopedia of Integer Sequences conjectures, and is being deployed in combinatorics, op…
- Hacker News · Posted on Hacker News · First archived
Aim – Agentic Idea Management for Automated Research ↗
Hacker News discussion.
- arXiv · Published · First archived
A Society of Researchers: Designing Institutions for Populations of Autonomous Research Agents ↗
Deployments of research agents are moving to populations of thousands that share one pool of compute, while most current systems organize one project at a time or leave the population unorganized. We argue that such a population will acquire an organization whether or not its designers provide one, so designers should provide it explicitly, and that the multi-agent systems community holds the tools to do so. We propose a society of agents, a population of persistent agents under explicit institutions, and develop it for science as a society of researchers built on six principles. Principal inv…
- Hacker News · Posted on Hacker News · First archived
Nvidia research finds AI agents become less safe when using tools ↗
Hacker News discussion.
- arXiv · Published · First archived
Comprehension Audits to Mitigate Risks from Automated AI Research ↗
AI is already writing a majority of code for frontier AI labs. This creates a safety risk if there is insufficient human oversight. Existing work proposes minimum comprehension thresholds and unaided checks to mitigate this. To our knowledge, however, there is currently no published frontier-AI assurance regime that requires demonstrated evidence that the responsible humans understand what they are building as a precommitted condition for continuing development or usage. We propose comprehension audits, a novel development-process assurance mechanism in which the responsible people explain R&D…
- GitHub · Repository created · First archived
kingenbomb/futuresearch-box ↗
把 FutureSearch 的深度研究能力包成本地开箱即用的 OpenAI 兼容接口 · 自带打码/自动补号/号池面板 · by 白嫖站 baipiao.org
- Hacker News · Posted on Hacker News · First archived
Research;Open Sourcing Health Research with AI – Accelerating Evidence Synthesis ↗
Hacker News discussion.
- GitHub · Repository created · First archived
taewan2002/human-researcher ↗
Agent skills that help researchers turn papers and ideas into proposals they can explain and defend, with evidence, feasible plans, and clear visuals.
- OpenAlex · Published · First archived
Invisible Infrastructure at Risk: Funding Crises Threaten Global Bioscience Research ↗
Modern biology depends on invisible infrastructure that is essential yet precariously funded. Millions of biological observations are interpreted through resources that sit beneath routine scientific practice, largely unseen in everyday research. Every experiment, genome analysis, AI model, and clinical interpretation relies on these biological knowledgebases, which most researchers rarely notice until they disappear. That infrastructure is now under threat. Across the world, the biological databases that underpin modern research, built over decades of public and charitable investment, face se…
- arXiv · Published · First archived
IdeaAnchor: Teaching LLMs to Turn Literature into Research Ideas ↗
Scientific research often begins by synthesizing ideas from a set of related papers to identify gaps and formulate new directions. However, training language models to perform this form of literature-grounded ideation remains challenging, as existing approaches based on prompting or feedback lack structured supervision for how papers should be synthesized. We introduce IdeaAnchor, a paradigm for training LLMs to perform research ideation using structured specifications as privileged signals. Each IdeaAnchor instance encodes how each input paper should be synthesized into a successful idea, inc…
Live window recorded . This is the ingestion observation time, not the publication or discovery date of each source.
How to assess evidence about AI research
Check each original source for its methods, release status, limitations, and supporting data. A repository announcement, a preprint, and a published study provide different kinds of evidence. SYMTRI’s subject classification helps discovery; it does not independently validate the source’s claims.
See the collection and counting methodology ↗ · Read the weekly synthesis ↗
Related threads
Explore related regions
These navigation suggestions are part of the map’s editorial structure, rather than measured evidence of a connection.