ChatGPT Solves Erdos | China Blocks Meta-Manus Deal | Copilot Billing | OpenAI Symphony

In a remarkable breakthrough, a 23-year-old amateur mathematician has successfully cracked a 60-year-old mathematical problem posed by Paul Erdős using a single prompt on GPT-5.4 Pro. The achievement highlights the growing capabilities of large language models in tackling complex mathematical challenges that have stumped researchers for decades. Meanwhile, Chinese regulators have blocked Meta's proposed $2 billion acquisition of Manus, marking another significant intervention by Beijing in foreign technology deals. The decision reflects ongoing tensions between Chinese authorities and major American tech firms, particularly in sectors deemed strategically sensitive. In related AI infrastructure news, GitHub has announced a shift to usage-based billing for its Copilot service, introducing AI Credits as the new pricing model. This move away from flat-rate subscriptions suggests a broader industry trend towards consumption-based pricing for AI services as companies seek to better align costs with actual usage patterns. OpenAI has also made headlines by open-sourcing Symphony, described as the Codex orchestrator that transforms Linear project management into a pull request factory. This release demonstrates OpenAI's continued commitment to developer tools whilst potentially accelerating software development workflows across the industry.