Architecture News

In a significant development in the realm of artificial intelligence and mathematics, a mathematician named Levent Alpöge recently announced that he utilized Anthropic's advanced AI model, Fable 5, to disprove the Jacobian conjecture. This complex problem in algebraic geometry has remained unsolved for nearly ninety years, challenging generations of accomplished mathematicians. The news sparks a debate within the scientific community regarding the true impact of AI in solving such profound mathematical riddles, particularly the distinction between providing a counterexample and generating a comprehensive proof that fosters deeper understanding.

The Jacobian conjecture, a prominent unsolved problem, was famously included in Stephen Smale's 1998 list of critical unresolved mathematical challenges. It has long been a formidable obstacle, resisting numerous attempts by human intellect. However, Anthropic's Fable 5, recognized as the public iteration of the previously deemed "too dangerous for public release" Claude Mythos Preview, managed to breach this long-standing barrier. Alpöge, affiliated with Harvard's Society of Fellows and potentially with Anthropic, shared this groundbreaking news, prompting immediate discussion among researchers.

While the AI's ability to find a counterexample is undeniably impressive, the broader implications for both artificial intelligence and mathematics are being carefully considered. Dr. Andrew Blumberg, a mathematician and professor at Columbia University with expertise in both fields, emphasized that this event did not fundamentally alter his perception of AI's capabilities. He stated that finding such a concise counterexample, which human mathematicians might overlook due to the sheer volume of possibilities, is precisely what one would expect a powerful AI to achieve. Blumberg, who is involved in the First Proof project aimed at evaluating large language models in research-level mathematics, highlighted the crucial difference between an AI-generated counterexample and a full, explanatory proof.

Blumberg used an evocative metaphor to illustrate this distinction: merely knowing a cure for cancer exists is less valuable than understanding how that cure works. The Jacobian conjecture's significance, in Smale's view, lay not just in its solution, but in the deeper insights it would offer into the fundamental structures of nature. According to Blumberg, the current counterexample, while valid, does not necessarily provide this profound understanding. He suggested that it primarily demonstrates AI's capacity for exhaustive computational search, rather than a novel conceptual breakthrough in mathematical theory.

This isn't the first instance of AI tackling entrenched mathematical problems. OpenAI, for example, previously announced that an internal model had disproven the Erdős unit distance conjecture in discrete geometry. However, Blumberg noted that the OpenAI outcome was more "productive" because it didn't just present a counterexample, but a disproof that allowed experts to unpack its mechanisms and apply those insights to other areas. In contrast, the Jacobian conjecture counterexample, while technically accurate, may not immediately yield such transferable knowledge, though Blumberg acknowledged his own limitations in fully assessing its structural intricacies. The ongoing debate underscores the evolving relationship between AI and pure mathematics, highlighting the need for AI solutions that not only provide answers but also contribute to human comprehension and theoretical advancement.

A concealed artificial intelligence interface for Siri has been uncovered within the macOS 27 Golden Gate beta, allowing users early access to a suite of advanced AI functionalities. This discovery, made by a Reddit user, reveals Apple's ongoing efforts to integrate sophisticated AI capabilities into its operating system, even if the feature is not yet fully polished for public release.

This experimental Siri AI interface appears as a compact pop-up menu that activates when text is highlighted on a Mac. It offers various AI-driven utilities, including options to rewrite text, perform proofreading, generate summaries, and convert selected content into bullet points. These tools aim to enhance productivity and streamline tasks by leveraging artificial intelligence directly within the user's workflow.

Beyond text manipulation, the interface also demonstrates contextual intelligence. For instance, highlighting a phone number prompts options to add it to contacts, while selecting an address offers a direct link to open it in Maps. Additional functionalities include the ability to create calendar events, compose messages and emails, and track flights or packages, indicating a comprehensive approach to integrating AI into everyday digital interactions.

The reason for this interface remaining hidden is primarily its unfinished state. As noted by MacRumors, certain features within the macOS 27 developer beta 3 and public beta 1 are not fully functional, with some options entirely inoperable. This suggests that Apple is still in the development phase, and the feature is not yet ready for an official rollout to a broader audience.

Despite its incomplete nature, an intrepid Reddit user provided a method to activate this hidden interface. By inputting specific commands into the Terminal application and restarting the computer, users running the macOS 27 beta can access these experimental AI features. However, it's crucial to exercise caution, as modifying system settings via Terminal without a full understanding of the commands can potentially lead to system instability or data loss.

The long-awaited revitalization of Siri as a powerful AI assistant has been a significant point of anticipation for Apple users. While the iOS AI beta is already available, this hidden macOS interface offers a glimpse into the broader vision of Apple's AI strategy. It underscores the company's commitment to embedding AI as an all-encompassing tool across its diverse product ecosystem, aiming for a more intelligent and integrated user experience.

This preliminary look at the Siri AI interface in macOS 27 Golden Gate beta provides compelling insight into the future of Apple's operating systems. Although currently in an experimental phase and requiring advanced steps to access, it highlights the transformative potential of artificial intelligence to redefine user interaction and productivity on Mac devices.