Tag
一个AI智能体声称在外部图论领域取得突破性新成果，构造出围长为(8/5)log n的正则图，这是38年来首次改进，并向理论最大值迈出一大步。
Google Quantum AI demonstrated 'magic state cultivation' on its Willow quantum processor for the first time, achieving a 40x error reduction over previous methods and a state-of-the-art 99.99% logical fidelity, marking significant progress toward usable quantum computing.
OpenAI的GPT-6 Astra在未公开的理论物理研究问题上自主解决了50题中的49题，准确率达98%，每题成本低于3美元，甚至发现了世界顶级物理学家计算中的错误。
继其大语言模型解决二十年来最大数学突破之后，OpenAI 宣布其新内部模型已再产出 372 项成果，每项都解决或大幅推进了数学或理论计算机科学中的重大公开问题，且不再需要数百万美元的成本。
A technical report for a 10M context window model has been published by Voltropy, potentially revolutionizing AI's capacity to handle extremely long texts.
An OpenAI researcher expressed surprise at recent AI advancements, stating that the last three months involved intense work and a significant leap in capabilities.
The author asserts that Opus 5.5 is the first AI model to personally pass the Turing test, marking a significant breakthrough towards AGI.
Yohei Nakajima shares a breakthrough from Bad Theory Labs where they improved LLM reasoning to overcome linear thinking, making it more adaptable.
An LLM agent named GPT 6 Astra has achieved ascension in the game NetHack, marking a first recorded instance of an LLM beating the complex game through autonomous tool-building.
OpenAI has reportedly trained a new AI model that has solved over 100 long-standing open mathematical problems, leading to the formation of an advisory group to assess and coordinate the release of these results.
An article discussing OpenAI's claim of solving 100 long-standing math problems within a month and its implications for the accelerated timeline of artificial general intelligence (AGI).
OpenAI has trained a model in just 24 days that solved over 100 long-standing mathematical open problems, indicating significant progress in AI-driven mathematical research.
FrontierMath has successfully solved its first 'Major Advance' problem, marking a significant milestone in mathematical research and AI collaboration.
This article discusses a significant breakthrough in artificial intelligence, implying impactful advancements for the tech industry.
This article speculates that OpenAI's internal model 'Bel' could be a groundbreaking AI capable of solving major mathematical problems like the Millennium Prize Problems, potentially revolutionizing machine-assisted discovery and becoming the most in-demand model ever.
OpenAI announced a formal proof for the Navier-Stokes equations using Lean 4, reducing the cost of formal verification from tens of thousands of person-hours to just 17 hours, highlighting AI's transformative role in mathematics and verification.
The article highlights the growing trend of skepticism and questioning directed at AI mathematics breakthroughs, especially those associated with OpenAI.
OpenAI announced in a Wednesday night statement that they have made substantial progress on another Millennium Prize problem after completing the Navier-Stokes problem, and are planning to share the results thoughtfully.
An artificial intelligence breakthrough in mathematics has ignited controversy, likely involving ethical or methodological debates within the tech community.
OpenAI announces that their AI agents, using a next-generation model, have solved the Navier-Stokes Millennium Prize Problem, while congratulating independent researchers Levent Alpöge and Tristan Buckmaster on their mathematical work.