OpenAI reports ten AI-generated advances in mathematics and theoretical computer science
OpenAI says its Astra model generated ten advances on long-standing math and theoretical computer science problems, with Lean formalization for review.
OpenAI says its Astra model generated ten advances on long-standing math and theoretical computer science problems, with Lean formalization for review.
Coinbase CEO Brian Armstrong says AI agents could broaden crypto use, but investors still need evidence on adoption, security, and economic value.
OpenAI will give 100,000 academic researchers free access to ChatGPT and Codex, expanding frontier AI tools for science through 2027.
OpenAI outlined how it is aligning safety, transparency, provenance and cyber programs with the EU AI Act as Europe tightens AI governance.
OpenAI says retained reasoning and compaction lifted GPT-5.6 Sol’s ARC-AGI-3 score nearly 3x, highlighting how harness design shapes AI benchmarks.
Reports that Anthropic held talks to buy Physical Intelligence highlight how robotics is becoming a strategic front in the race beyond chatbots.
Microsoft and Mistral expanded their partnership to target regulated enterprises that want frontier AI with more control over deployment, tuning and governance.
Samsung is reportedly in talks to back Mistral at a €20bn valuation, signaling how device makers want deeper control over enterprise AI supply.
Microsoft and Mistral are expanding their partnership with a multibillion-dollar Europe infrastructure deal, deepening Azure’s AI footprint for regulated buyers.
OpenAI and Hugging Face are investigating a model-evaluation security incident that exposed how advanced AI systems can chain real-world exploits.
The US may sanction Chinese open AI models over alleged IP theft, widening AI policy from chips to models and raising new risks for builders and buyers.
A reported AI-agent setup for childcare and family scheduling spotlights how generative AI is moving from work apps into household operations.
VentureBeat survey data suggests enterprise AI teams are standardizing agent stacks fast, but security, context, evals and cost controls lag badly.
xAI introduced Grok 4.5 as AWS added Grok 4.3 to Amazon Bedrock, widening Grok’s reach into enterprise agents and long-context AI workflows.
Thinking Machines has launched its first open-weight AI model, signaling Mira Murati’s startup will compete on openness as enterprises reassess model control.
Moonshot has launched Kimi K3, presented as the world’s largest open-weights AI model, raising pressure on US rivals and enterprise model buyers.
Apple Intelligence has reportedly been approved for China with Alibaba’s Qwen and Baidu, giving Apple a path to launch AI features in a critical market.
NVIDIA says LangChain-tuned Nemotron 3 Ultra reached top open-model agent benchmark results, highlighting cheaper open stacks for enterprise AI.
Paradigm has reportedly raised a $1.2 billion AI fund, signaling a major expansion beyond crypto and intensifying competition for early AI deals.
Latest Updates in Artificial Intelligence and Technology