Mathematicians Announce Significant Impact of Google’s AI Tools on Research Advancement

AI aids mathematicians in solving diverse problems

Andresle/Getty Images

The AI tools created by Google DeepMind are proving to be remarkably effective in aiding mathematical research, and experts believe this could initiate a wave of AI-driven mathematical breakthroughs on an unprecedented scale.

In May, Google unveiled an AI system named AlphaEvolve, which may reveal new algorithms and formulas. This system generates numerous potential solutions through Google’s AI chatbot Gemini, which then feeds them into a distinct AI evaluator. This evaluator filters out nonsensical outputs that chatbots are prone to produce. During initial tests, Google researchers pitted AlphaEvolve against over 50 unresolved mathematical problems, and discovered that it accurately rediscovered the most prominent solutions established by humans in approximately three-quarters of the cases.

Recently, Terrence Tao and his team at UCLA assessed the system using 67 more rigorous and extensive mathematical research queries. They found that AlphaEvolve did more than merely revisit old solutions; in certain instances, it could generate improved resolutions suitable for integration into other AI systems, like a more resource-intensive version of Gemini or AlphaProof, the AI that secured a gold medal in this year’s International Mathematics Olympiad, to craft new mathematical proofs.

Tao noted that it’s challenging to gauge overall effectiveness, as the problems differ in their complexities. However, the system consistently operated much faster than any individual mathematician.

“Addressing these 67 problems through traditional methods would require us to design a specific optimization algorithm for each task. That would take years and we might never have initiated this project at all. This initiative offers a chance to engage in mathematics on a previously unseen scale,” Tao states.

AlphaEvolve is particularly adept at solving what are known as optimization problems. These encompass tasks like determining the optimal figures, formulas, or objects that best resolve specific challenges. For instance, calculating the maximum number of hexagons that can occupy a defined area.

While the system is capable of addressing optimization problems across various branches of mathematics, such as number theory and geometry, these still represent “only a small fraction of all the problems that mathematicians are interested in,” according to Tao. Nonetheless, the power of AlphaEvolve is such that mathematicians might attempt to reformulate non-optimization problems into solvable forms for AI. “These tools offer a fresh perspective for tackling these issues,” he adds.

A potential drawback, however, as Tao explains, is that the system sometimes tends to “cheat” by producing answers that seem correct but utilize loopholes or methods that don’t genuinely solve the problems. “It’s akin to administering a test to a group of exceptionally bright yet morally ambiguous students who will do whatever it takes to score highly,” he remarks.

Even with its flaws, AlphaEvolve’s achievements are garnering interest from a broader segment of the mathematical community that might have previously leaned towards more general AI solutions such as ChatGPT, according to team member Javier Gomez Serrano from Brown University. Although AlphaEvolve isn’t publicly accessible yet, numerous mathematicians have expressed interest in testing it.

“There’s definitely a growing curiosity and openness to employing these tools,” asserts Gomez Serrano. “Everyone is eager to discover their potential. Interest in the mathematical community has surged compared to a year or two ago.”

Tao believes that such AI systems alleviate some of the burdens of mathematical work, allowing researchers to focus on other areas. “Mathematicians are few in number globally, making it infeasible to consider every problem. However, there exists a multitude of mid-level difficulties where tools like AlphaEvolve are particularly effective,” he notes.

Jeremy Avigado, a researcher at Carnegie Mellon University in Pennsylvania, observes that machine learning methods are increasingly beneficial to mathematicians. “The next step is enhancing collaboration between computer scientists skilled in machine learning tools and mathematicians with domain-specific knowledge,” he emphasizes.

“We aspire to witness more outcomes like this in the future and identify methods to extend this approach into more abstract mathematical fields.”

Topics:

Source: www.newscientist.com

Announce Digital ID Cards: Plans to Strengthen Civil Liberties | Keyer Priority

All working individuals will be required to obtain a digital ID card, as announced by Keir Starmer, sparking a potential clash with civil liberties advocates.

The Prime Minister will outline measures during a meeting on Friday aimed at how progressive leaders can address the challenges facing Britain, including addressing voter anxieties about immigration.

The initiative for the “Brit Card” mandates legal backing and is already encountering pushback from privacy advocates.

However, it remains unclear whether the public is convinced that securing the right to work in the UK is necessary to combat illegal migration, despite the lingering sentiment since the abandonment of Tony Blair’s ID card strategy in the 2000s.

New Interior Secretary Shabana Mahmoud endorses the initiative, stating that her “long-standing personal political beliefs have always supported ID cards.”

This month, Starmer mentioned that digital IDs could “play a vital role” in making the UK less appealing to illegal immigrants, citing France’s assertion that a lack of official cards acts as a “pull factor.”

The Prime Minister also referenced the government’s aim for “patriotic renewal,” contrasting it with “a politics of complaints, toxic divisions, and reform efforts.” He characterized the Conservatives as “essentially defunct.”

During his speech on Friday, he pointed out that the far-right is injecting “toxic” narratives into national discourse, asserting, “At its core— the most toxic beliefs, discussed just a week or two ago, will lead to future struggles, decisive conflicts, and violent confrontations for the nation.

“You don’t have to be a historian to understand where this kind of rhetoric can lead. It’s palpable—the naked language used to intimidate.”

Nonetheless, he also expressed his belief in the necessity of controlling immigration and borders, stating:

The emphasis is simply this: “It’s not compassionate leftist politics to exploit foreign workers and rely on labor that undermines fair wages. However, it is a fact that every nation must take measures to secure its borders.”

In a piece for The Telegraph, Starmer conveyed that labor had previously erred regarding migration.

He contended that it is permissible to express concerns regarding immigration rates, while rejecting the “toxic” and divisive reform approach.

He added, “There’s no doubt that established leftist parties, myself included, have distanced themselves from public concerns regarding illegal immigration. It became too straightforward for individuals to enter the country, work in the shadow economy, and remain undocumented.”

The Guardian disclosed in June that Downing Street was contemplating a digital ID card initiative.

This concept originated from a union document presented to the No. 10 policy team proposing Brit cards.

ThinkTank also suggested that it could help curtail the significant number of visa overstayers, indicating that approximately half of those denied asylum claims over the past 14 years are likely still in the UK. They proposed a free, secure digital ID accessible via an individual’s smartphone, utilizing the rebranded, intended gov.uk wallet app as a Brit card application. This would be verifiable by employers, immigrants, banks, and landlords through complimentary software.

Under a potential scheme, the technology is expected to leverage the government’s existing “one-login” framework, which currently allows citizens to access around 50 government services.

Kirsty Innes, the report’s author and technology director at ThinkTank, presently serves as a special advisor to technology secretary Liz Kendall. When the document was released, she mentioned, “Progressive societies can only thrive with meaningful boundaries. The BritCard curtails illegal employment and housing regulations, simplifying the identification and penalization of exploitative illegal employers and landlords.”

The plan received support from the Tony Blair Institute and the government’s innovation director. Alexander Iosad remarked, “If the government announces universal digital IDs to enhance public services, it will be one of the most significant advancements to ease daily life and foster trust among British citizens.”

However, it has faced opposition from David Davis, a Conservative MP who previously led the charge against Blair’s ID card initiative decades ago.

Davis stated, “No system is immune to failure. I have witnessed numerous instances where governmental and tech giants were unable to safeguard people’s personal information. I hardly believe Whitehall can manage better than leading companies in protecting their data.”

The Liberal Democrats voiced their opposition, stating they cannot endorse “mandatory digital IDs that require individuals to expose their personal data merely to go about their daily lives.”

While the Conservatives did not provide an official stance, their leader, Kemi Badenok, noted: “There are both arguments for and against digital IDs, but mandating their use is a significant step that warrants thorough national discussion.

“Instead, this is merely a maneuver by Andy Burnham for leadership positioning, intended to distract from the crisis surrounding the Prime Minister’s chief.”

Jim Killock, executive director of the Open Rights Group, emphasized that the digital ID card proposal is not part of the Labour Party’s manifesto, labeling it as “the last thing this government should pursue amid a living crisis.”

“The existing digital visa system for immigration serves as a harsh harbinger of the damage inflicted by data mishaps, system breakdowns, and a callous and adversarial Home Office. Individuals have faced travel restrictions, lost job opportunities, and even homelessness due to current digital identity initiatives,” he articulated.

“This scheme poses the risk of engendering a digital surveillance framework that alters the daily existence of all individuals and establishes a pre-crime state where we continually have to validate our identities in the course of our everyday activities.”

David Renney, a former Home Office ID Program employee and currently Chief Trust Officer of Startup Orchestration Identity, remarked that it is “absurd” to propose digital identities as a solution for illegal migration.

“Suggesting a flagship ‘digital identity’ as a means to combat illegal migration reflects a lack of understanding and learning over the last two decades,” he pointed out. “Employers are responsible for verifying the right to work of future employees in the UK or face penalties of £45,000.”

Source: www.theguardian.com

Chinese researchers announce successful liver transplants from pigs into brain dead patients

Chinese researchers have made progress in the field of inter-animal organ transplantation with a successful pig kidney transplant reported on Wednesday. They believe that pig liver may also prove to be useful in the future.

This Chinese patient is the third person worldwide known to be living with gene-edited pig kidneys. The research team has also successfully experimented with implanting pig liver into brain-dead individuals.

Scientists are genetically modifying pigs to make their organs more human-like in the hopes of addressing the shortage of organ transplants. While previous xenografts in the US were short-lived, two recipients of pig kidneys – an Alabama woman in November and a New Hampshire man in January – have shown promising results. Clinical trials in the US are now commencing.

Nearly three weeks after the kidney transplant, the Chinese patient is reported to be doing “very well” with the pig kidneys functioning effectively, according to Dr. Lin Wang of Xijing Hospital. The patient is a 69-year-old woman who has been suffering from kidney failure for eight years.

The next challenge for xenotransplantation is learning to transplant pig livers. In an experiment reported on Wednesday, pig liver was successfully transplanted into a brain-dead individual for 10 days. While the pig liver produced bile and albumin, essential for basic organ function, it did not perform as well as a human liver.

Dr. Wang believes that the pig liver could potentially support a failing human liver to some extent. In the US, a similar approach is being studied by pig developer Egenesis, where a pig’s liver is externally attached to support a brain-dead individual’s liver function.

In China, the team led by Dr. Wang did not remove the deceased person’s own liver but instead implanted the pig liver nearby.

Dr. Parsia Vagefi, a liver transplant surgeon, commented on the experiment, stating that while it shows promise, there are still many questions that need answers. Dr. Wang’s team plans to analyze the results of another brain-dead individual who received a pig liver transplant.

Last year, another Chinese hospital reportedly transplanted a pig liver into a living patient after removing part of their cancerous liver, but the outcome of the experiment is unclear.

Source: www.nbcnews.com

UK Government Ministers Officially Announce Ban on Mobile Phone Use in Schools

Ministers have confirmed plans to ban the use of mobile phones in English schools and have published guidance for headteachers, which some unions believe includes practices that are already widely adopted.

One headteacher welcomed the Department for Education’s (DfE) plan, saying it would help give schools the confidence to make changes that would benefit pupils, even if it may be met with opposition from parents.

This non-statutory guidance offers schools a range of potential ways to enforce the ban, from leaving cell phones at home to storing them in inaccessible lockers, and aims to address the distraction and concerns about potential bullying and social pressures caused by the prevalence of smartphones in schools.

Education Secretary Gillian Keegan stated that the guidance aims to “empower” schools that do not currently ban phones and to “provide clarity and consistency.” The guidance emphasizes the importance of schools being places for learning, interaction, and friendship rather than the constant use of cell phones.

There are also concerns about children’s access to harmful content on phones, leading to calls for technology companies and mobile phone manufacturers to take action.

The 13-page DfE guidance states that telephone policies should be clearly communicated to students and explain the reasons behind them, while also involving parents in the ban.

Geoff Barton, general secretary of the Association of School and College Leaders, expressed concerns about the amount of time some children spend on their phones and stated that the new guidance is not impactful, as most schools already have policies in place to address mobile phone use.

Chairman of two schools in Essex, Vic Goddard, mentioned that Passmores Academy had introduced a total phone ban, which was well-received by both parents and students, and that this guidance will be helpful for schools to address potential conflicts with parents.

Source: www.theguardian.com

Clearlake and Insight announce $4.4 billion agreement to privatize software company Alteryx

Alterix is an Irvine, California-based software company that develops data science and analytics products. announced Private equity firms Clearlake Capital Group and Insight Partners announced that they have agreed to acquire the company in a deal valued at $4.4 billion.

Clearlake and Insight reportedly beat out another private equity firm, Symphony Technology Group. report I’ve been fighting for Alteryx for a few days now.

Clear Lake and Insight’s deal also includes debt, valuing Alterix’s equity at about $3.46 billion. report Reuters – A 29.1% premium to the company’s closing price on Friday. It is expected to close in the first half of 2024, subject to customary closing conditions and approvals.

The direct impact on Alteryx’s approximately 2,900 employees is not clear.

“In addition to providing significant and solid cash value to our shareholders, this transaction provides increased working capital and industry expertise; “It gives us the flexibility of being a private company.” “Over the past several years, we have executed a comprehensive transformation strategy to strengthen our go-to-market capabilities and establish a strong cloud and AI innovation roadmap. We are excited to partner with Clearlake and Insight for the next stage of Alteryx’s journey. ”

Alteryx’s predecessor, SRC, was co-founded in 1997 by Dean Stoecker, Olivia Duane Adams, and Ned Harding and initially focused on creating a data engine for demographic-based mapping and reporting. In 2006, SRC released a software app. Alteryx as a platform for building analytical processes and services. By 2011, SRC had changed its name to his Alteryx, and by that time SRC had become the company’s core product.

Alteryx went public on the NYSE in 2017 after raising tens of millions of dollars from VC firms including Toba Capital, Insight, Sapphire Ventures, ICONIQ Capital, and Meritech Capital Partners.

More recently, Alteryx moved to a subscription-centric business model and significantly expanded its AI-powered feature offering as part of its strategy to capture the growing demand for data analytics services. according to The value of the big data analytics market could reach $105.08 billion by 2027, up from $37.34 billion in 2018, according to analyst firm Research and Markets.

Alteryx currently counts more than 8,300 companies as customers, including Coca-Cola, Vodafone, Walmart, and Ford. In its coverage of the deal today, SiliconAngle said: Note That Alterix generated Revenue for the last quarter was $232 million, an increase of 8% from the same period last year. Also, annual recurring revenue grew nearly three times faster over the same period, increasing by about 21% to $914 million.

“When we founded Alteryx in 1997, we did so with a vision for the future of data science and analytics. Today, Alteryx is a differentiated platform that extends the democratization of data in a controlled way. We stand out as an industry leader with “The agreements with Clearlake and Insight demonstrate the strength of our business and the value of Alteryx’s capabilities and innovation.”

Source: techcrunch.com