AxiomMathAI Milestone: AxiomProver system achieved a machine-checkable Lean proof for an open mathematical conjecture, highlighting progress in AI-assisted formal reasoning. This represents a step forward in using AI to tackle rigorous symbolic and logical problem solving that has historically required deep human expertise.
Technology
C
CNBC TV1812-02-2026, 21:07

Microsoft AI Chief Warns Most White-Collar Jobs Could Be Automated in 18 Months

  • Microsoft AI chief Mustafa Suleyman predicts AI could automate most white-collar tasks within 12-18 months.
  • Microsoft is developing "professional-grade AGI" to equip clients with powerful AI systems for routine knowledge work.
  • Suleyman stated that creating new AI models will become as simple as making a podcast or writing a blog.
  • Microsoft aims for "true AI self-sufficiency" and may debut new in-house models by 2026, reducing reliance on OpenAI.
  • AI agents could efficiently manage workflows across large institutions within two to three years, impacting various sectors.

More like this

Loading more articles...