AMATEUR SOLVES 60-YEAR ERDŐS PROBLEM WITH AI
■ AI-SUMMARIZED FROM 1 SOURCE ▸ TIMELINE
An amateur mathematician solved a decades-old Erdős problem using a single GPT-5.4 Pro prompt, employing a method no human had previously discovered. Terence Tao confirmed it as a legitimate achievement, though its broader impact remains uncertain.
■ MORE FROM THE AI DESK
Thinking Machines has released Inkling, an open-weights AI model available to developers. The release includes model weights and documentation for local deployment and customization.
Applied Computing has secured $20 million in Series A funding to develop a foundation AI model designed for the oil, gas, and petrochemical industry. The model will help operators manage entire plants through a single AI system.
Pope Leo XIV's first encyclical, Magnifica Humanitas, critiques the concentration of artificial intelligence power among a small number of global technology companies. The statement comes as AI leaders describe the technology as transformative.
A developer has demonstrated running Google's Gemma 4 26B model at 5 tokens per second on a 13-year-old Xeon processor without GPU acceleration. The achievement challenges assumptions about modern AI model requirements.