تجذب شركات ناشئة مثل Axiom Math وHarmonic مئات الملايين من الدولارات كتمويل لابتكار أدوات ذكاء اصطناعي قادرة على حل مسائل رياضية متقدمة والتحقق من نتائجها ذاتياً.
ترك علماء رياضيات مثل كين أونو مناصبهم الجامعية للانضمام إلى هذه الشركات. فقد حصل أونو على إجازة من جامعة فيرجينيا في عام 2025 للعمل في شركة Axiom Math في بالو ألتو بولاية كاليفورنيا. تأسست الشركة على يد طالبته السابقة كارينا هونغ التي درست في جامعة ستانفورد.
من إعداد الذكاء الاصطناعي صورة مولدة بواسطة الذكاء الاصطناعي
Nearly 1,000 developers gathered in Miami Beach for the EasyA Hackathon at Consensus Miami 2026, building AI-native projects focused on autonomous payments, drones, and consumer apps. The event highlighted a shift toward practical AI and blockchain applications.
Researchers gathered in London this week to accelerate the formalization of Fermat's Last Theorem using advanced AI models. The workshop focuses on converting Andrew Wiles's 1993 proof into Lean code for computer verification. Progress has been rapid, with code lines doubling after the first day.
من إعداد الذكاء الاصطناعي
A Harvard mathematician has used artificial intelligence to disprove a long-standing problem in algebra that experts had spent decades trying to prove true. Levent Alpöge announced the finding on social media on 19 July with a short counterexample.
Demis Hassabis highlighted Google's work using artificial intelligence to advance medical treatments during a recent keynote address. The CEO of Google DeepMind and Isomorphic Labs focused on projects targeting cancer and immune disorders.
من إعداد الذكاء الاصطناعي
Anthropic submitted confidential paperwork for an initial public offering on Monday. The move positions the AI company behind Claude as one of several major tech firms preparing to go public this year.