AIFuture
Back to news
IndustryThe Verge·

The AI takeover of mathematics has begun

The AI takeover of mathematics has begun

Mathematician James Maynard has spent a lot of time this past year "soul searching." A professor at the University of Oxford and winner of the prestigious Fields Medal, Maynard told The Verge he's been grappling with the future of his field as the traditionally slow-moving discipline hurries to adapt to AI. Days before we spoke, OpenAI revealed it had produced the solutions to 10 long-standing…

This is a summary curated by AIFuture. Read the complete article at the original source:

Read the full story on The Verge

More AI News

AI ResearchMarkTechPost

Xiaomi’s MiLM Plus Releases PROVE: Perception-Aligned Object Removal Metrics RC-S and RC-T With a Real-World Video Benchmark

Object removal models have improved faster than the metrics used to judge them. Diffusion erasers now reconstruct shadows, reflections and occluded structure convincingly, yet PSNR, SSIM, LPIPS, ReMOVE and CFD frequently rank their outputs the wrong way. The root cause is structural: erasure is an ill-posed, one-to-many task, so no single ground truth exists to […] The post Xiaomi’s MiLM Plus…

Aug 12, 2026

IndustryThe Verge

Saber denies replacing Rideshare Stimulator’s writers with ChatGPT

After a former lead writer claimed Saber "replaced me with ChatGPT," CEO Matthew Karch now claims, "Neither Saber nor Unigine have replaced any writers with AI," for the Rideshare "Stimulator" game announced last month, developed by Unigine. The writer, Stella Sacco, says differently, however, posting on Bluesky that "I was lead writer on this one! And Saber replaced me with ChatGPT midway…

Aug 12, 2026

StartupsTechCrunch

Accel closes oversubscribed $550M India fund within weeks, 19 months after its last

The U.S. VC firm still has more than 55% of its previous $650 million India fund available for deployment.

Aug 11, 2026

Build the skills behind the headlines

Data ScienceedX

CS50's Introduction to AI with Python

Harvard's deep dive into the algorithms behind modern AI — search, knowledge, optimization, and machine learning.

Intermediate·Free / Verified
View Course
Data ScienceCoursera

Deep Learning Specialization

Five-course series on neural networks, CNNs, sequence models, and transformers from DeepLearning.AI.

Intermediate·Subscription
View Course
Data ScienceCoursera

Machine Learning Specialization

Andrew Ng's flagship program covering supervised and unsupervised learning, neural networks, and best practices for real-world ML.

Beginner·Subscription
View Course

Never miss what matters in AI

Get the most important AI news and course picks in your inbox.