Independent research institute in Princeton, NJ, with permanent faculty in mathematics, physics, and related fields; past home to Albert Einstein.
Curtin-led astronomers report that black holes differing in mass by millions of times appear to launch jets at the same stage of their feeding cycle. If the pattern holds, delayed radio flares after stellar disruptions could be timed from the feeding rate.
Reality
A CSH and Leiden University study of 9.3 million researchers at 3,965 institutions found research topics converging from 2000 to 2020. New hires closely matched their colleagues' topics, though nothing reported shows hiring caused the convergence.
Reality
OpenAI published full or partial solutions to more than 370 open math problems on Tuesday. The company says its unreleased model averaged about three hours of computing on each, according to Fortune, and mathematicians still dispute the results.
Perspective Coverage
7 publishersReality
OpenAI published 372 families of math results from an unreleased model on Oct. 6, more than mathematicians have yet been able to check or understand. Each claim now waits on human readers, who must work without the prompts OpenAI chose not to publish.
Perspective Coverage
3 publishersReality
OpenAI released 719 manuscripts of claimed solutions to hard math problems this week and included the model's chain of thought for only ten of them. The advisory group of mathematicians OpenAI consulted had set verification standards the lab's release misses on several counts.
Perspective Coverage
3 publishersReality
OpenAI published 722 math manuscripts across 372 result families, all produced by an internal model it has not released. About 300 come with Lean formalizations a machine can check, Crypto Briefing reported, so the rest wait on human reviewers whom one mathematicians' group is urging to stop working with OpenAI.
Perspective Coverage
3 publishersReality
OpenAI posted 719 math papers from an unreleased model on October 6, a week after its IAS-based advisers asked labs to stop such testing. Three mathematicians showed the same day that its machine-checked Navier-Stokes proof proves less than the paper claims, so its results now rest on ordinary peer review.
Reality
Mathematicians in a group chaired by Terence Tao are urging a boycott of OpenAI after it released more than 700 AI-generated proof files at once. At issue is whether a problem counts as solved before a human has checked and understood its proof, and who does that work.
Reality
OpenAI posted 372 results from an internal model to GitHub, at about three hours of ChatGPT Pro compute each on average. Finding proofs is now cheap enough that the slow step is mathematicians checking and judging them.
Perspective Coverage
6 publishersReality
OpenAI posted 722 model-written math manuscripts in 372 families on GitHub, many with Lean proofs a computer can check. A mathematician citing one has to learn first whether it is a checked proof or a paper still waiting for review.
Perspective Coverage
10 publishersReality
OpenAI published ten math results from an internal Astra variant, with Lean-formalized proofs and the model's narration of each solution. Astra has no announced API, so what outside teams can take is how the work was split between the model, human authors and a proof checker.
Reality
OpenAI plans to post hundreds of AI-generated math results on GitHub on Tuesday, people familiar with the plans told WIRED. The mathematicians it consulted in August asked for papers they could absorb and use, so a bulk upload leaves that work to every reader.
Reality
The company says an internal model cleared more than 100 open problems after a month of training, and the advisory group it is backing at the Institute for Advanced Study has been handed the release schedule to work on.
Reality
The nine members get early access to OpenAI's research, work unpaid and are free to publish what they tell the company. The researchers who spoke to The Verge still cannot say what happens when they disagree with it.
Reality
OpenAI says its new nine-member mathematics advisory group will not advise on the pace of its internal research, and the group's own website says the decisions rest with the AI companies.
Reality
Andrew Mummery and Adelle Goodwin report that late radio jets in ten star-shredding events switched on as the feeding rate fell to about 2% of the Eddington limit, the threshold already known from Milky Way black holes.
Reality
Adelle Goodwin and Andrew Mummery modelled ten stars torn apart by supermassive black holes and found the late radio jets turning on at the same accretion threshold already known from much smaller black holes in our galaxy.
Reality
Quanta put a simple question to the mathematicians extending what has been billed as a grand unified theory of mathematics. The cause of their disagreement is structural. A sweeping claim rests on very technical individual results, in a discipline that declines to interpret what it cannot prove.
Reality