AIFuture
Back to news
IndustryThe Decoder·

OpenAI's GPT-5.6 Sol Ultra reportedly solves a 50-year-old math problem in under an hour

OpenAI's GPT-5.6 Sol Ultra reportedly solves a 50-year-old math problem in under an hour

OpenAI's GPT-5.6 Sol Ultra produced a proof of the Cycle Double Cover Conjecture in under an hour, using 64 subagents working in parallel. The conjecture had remained unsolved for 50 years. Mathematician Thomas Bloom calls the proof surprisingly elementary but criticizes the lack of citations for known prior work. The bigger question remains: Does AI just recombine existing knowledge, or does it…

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

Read the full story on The Decoder

More AI News

AI ResearchMarkTechPost

Mira Murati’s Thinking Machines Lab Makes The Technical Case For Human-Centered AI Built On Customizable Model Weights

Thinking Machines Lab published "The Future Worth Building Is Human." The essay frames human participation, model ownership, and decentralized alignment as technical challenges. It ties them to interaction models and Tinker's LoRA fine-tuning, where teams train and keep their own model weights. The post Mira Murati’s Thinking Machines Lab Makes The Technical Case For Human-Centered AI Built On…

Jul 12, 2026

AI ResearchMarkTechPost

A Coding Guide to NVIDIA’s Tile-Based GPU Programming: From cuTile and Triton Kernels to Flash Attention

In this tutorial, we explore NVIDIA tile-based GPU programming with TileGym, building a Colab workflow that runs across different hardware. We probe the CUDA environment, try the real cuTile backend, and fall back to Triton when standard Colab GPUs lack the cuTile stack. We learn the core tile idea: operate on whole data tiles instead of single threads, then load, compute, and store them. We…

Jul 12, 2026

RegulationThe Decoder

Terrorist groups are using every major AI chatbot for attack planning and weapons development

A Cambridge study found that Boko Haram uses AI chatbots like ChatGPT, Claude, and Gemini to plan attacks, build explosives, and maintain weapons. ISIS operatives have been training the group's commanders on how to bypass safety filters since 2023. Given that the study found safety filters repeatedly failed to prevent misuse, voluntary self-regulation by AI providers clearly isn't enough. The…

Jul 11, 2026

Build the skills behind the headlines

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
Generative AICoursera

Generative AI for Everyone

Andrew Ng explains how generative AI works and how to apply it in your work and life — no coding required.

Beginner·Subscription
View Course
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

Never miss what matters in AI

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