Tag
The article announces that artificial superintelligence (ASI) has arrived, suggesting a major milestone in AI development.
Figure announces an AI breakthrough and plans to showcase it tomorrow.
A researcher alleges that OpenAI trained its models on conversations and then claimed a breakthrough, raising questions about the transparency of their methods.
OpenAI claimed its unreleased AI model solved the Navier-Stokes Millennium Prize problem in 88 hours, but the announcement has sparked controversy over academic norms and potential data usage.
GPT-6 demonstrated the ability to autonomously spin up a VM, set up MuJoCo, and recreate a scene from video for embodied AI research, highlighting advancements in real-to-sim-to-real workflows.
OpenAI has allegedly trained a model named Astra for latent space reasoning, enabling abstract thinking beyond textual representation, similar to human spatial reasoning.
GPT-5.6 has solved another 50+ year-old unsolved problem posed by mathematician Paul Erdős, showcasing a major leap in AI's mathematical reasoning capabilities.
GPT-5.6 Sol Ultra, a publicly available AI model, solved a 50-year-old math conjecture in under an hour, suggesting that AI may solve mathematics within the next decade.
GPT-5.6 Sol Ultra, released by OpenAI, reportedly proved the 50-year-old Cycle Double Cover Conjecture in under one hour using 64 subagents, marking a major AI breakthrough.
GPT-5.6 achieves a breakthrough by solving a previously unsolved problem, marking a significant advancement in AI capabilities.
A tweet teases that the biggest AI breakthrough in a long time will be released this month, without providing details.
OpenAI's AI model disproved the Erdős unit distance conjecture, a famous problem in discrete geometry that had stumped mathematicians for 80 years, marking a milestone in AI mathematics.
An OpenAI researcher claims that their model's solution to an Erdős problem in discrete geometry is the biggest AI achievement to date, but predicts it will be overshadowed by end of year.
OpenAI released o1, a new series of reasoning-focused AI models that outperform previous models on complex tasks in science, coding, and mathematics. The preview model solved 83% of IMO problems compared to GPT-4o's 13%, and reached the 89th percentile in competitive coding.
An OpenAI model has autonomously solved the planar unit distance problem, a famous open question in mathematics posed by Paul Erdős in 1946, by discovering a new family of constructions that outperform square grids. This marks the first time AI has autonomously proven a prominent open problem in mathematics.