A study in Science reports that DeepMind's AlphaProof Nexus solved dozens of open problems, including nine Erdős problems, two of them open for 56 years. DeepMind had the work reviewed before publication, in contrast with OpenAI, which faces a boycott for posting unreviewed AI proofs on GitHub.
A study finds that safety reminders make healthcare AI less likely to make dangerous choices. The trade-off is that the systems ask for human verification more often.
AI forecasting models already rival the best human experts and are starting to beat them in some areas, the article reports. That makes them attractive to finance, companies and governments looking to improve financial, geopolitical and strategic analysis.
A study presented in early October suggests that about ten minutes of AI use is enough to reduce people's persistence when facing a problem. Long-term effects of AI on intellectual abilities remain poorly understood.
The latest Import AI newsletter covers creativity and recursive self-improvement, open-weight models said to trail Chinese ones, and AI in space.
Microsoft Research's StudentSim models how individual learners might engage with AI tutors, so the tools can be evaluated and improved before reaching real students. It provides feedback on tutor performance in subjects such as chess, writing and mathematics.