[2605.22763] Advancing Mathematics Research with AI-Driven Formal Proof Search
The Erdős Breakthrough by AI
What are Erdős Problems?
List of conjectures by Paul Erdős - Wikipedia
Who is Paul Erdős - Wikipedia?
Tuesday, May 26, 2026
Ferrari shares fall after luxury carmaker launches first full EV
Ferrari shares fall after luxury carmaker launches first full EV
CEO Benedetto Vigna told CNBC that the new car, which translates as “light,” would be welcomed by both existing customers and new clientele. The launch comes even as other luxury car manufacturers have scaled back on plans to launch their own EVs due to weak demand.
America’s schools face a reckoning on digital devices
America’s schools face a reckoning on digital devices | AP News (Thanks to Sam for this one)
What's behind the decade-long 'learning recession' for American students | PBS News
U.S. Surgeon General’s Advisory: Surgeon General’s Warning on the Harms of Screen Use
Monday, May 25, 2026
Sudanese people search for thousands left missing by 3 years of war
Sudanese people search for thousands left missing by 3 years of war | AP News (Thanks to Sonia for this one)
| Azaher Abdallah, who has been searching for her husband, Fahani Al Fateh, for over a year, becomes emotional during an interview with The Associated Press in Omdurman, Sudan, Sunday, April 19, 2026. (AP Photo/Bernat Armangue) |
Gunman in Shooting Near White House Killed in Exchange of Fire With Secret Service
A gunman known to the U.S. Secret Service opened fire near the White House and was shot and killed by federal officers. President Trump was in the White House at the time.
White House Approves $9 Billion for Spy Agencies to Catch Up on A.I.
White House Approves $9 Billion for Spy Agencies to Catch Up on A.I. - The New York Times
The C.I.A. and N.S.A. cannot fully deploy the latest models on their classified systems because of a shortage of cutting-edge chips.
 |
| Jensen Huang, president and CEO of NVIDIA, gives a presentation in Washington last October.Eric Lee for The New York Times |
Pope Leo Warns of Risks From A.I. in 42,300-Word Encyclical
Pope Leo Warns of Risks From A.I. in 42,300-Word Encyclical - The New York Times
The document marks a powerful foray by the leader of the Roman Catholic Church into the debate about the misuse or overuse of artificial intelligence.
Main Takeaways From Pope Leo’s Encyclical on A.I. - The New York Times
In his letter, the first American pontiff called for putting care for humans at the heart of technological change.
As A.I. Fever Rises in Silicon Valley, Pope Leo Has a Few Words - The New York Times
The American pope wants to take artificial intelligence down a notch. Is he challenging the tech companies, or will tech take over the papacy?
Encyclical Letter of His Holiness Leo XIV Magnifica Humanitas (15 May 2026)
 |
| Leo greeting Christopher Olah, a co-founder of the A.I. developer Anthropic, before the presentation.Alberto Pizzoli/Agence France-Presse — Getty Images |
Top Iranian Negotiators Arrive in Qatar for Talks on Peace Deal as U.S. Launches Attacks in Self-Defense
Iranian officials went to Doha on Monday for the negotiations, hours before the U.S. military announced the strikes it said were in “self-defense” to protect troops. Israel’s leader said his country plans to intensify attacks against Hezbollah, Iran’s ally, in Lebanon.
Netanyahu Says Israel Plans to Intensify Attacks on Hezbollah in Lebanon - The New York Times
After the prime minister made the announcement, the Israeli military said it had struck more than 70 Hezbollah sites in the past day.
What Are the Abraham Accords, Trump’s 2020 Mideast Deals? - The New York Times
The diplomatic agreements normalized relations between Israel and several Arab countries. Now, as part of the peace talks with Iran, Mr. Trump wants other states to join.
Evolving Warfare Connects the Conflicts in Ukraine and Iran - The New York Times
Aspects such as drone technology and diplomacy show how the wars intersect on the battlefield and in global alignments, providing a model for future conflicts.
Global Oil Price Rises After U.S. Strikes in Iran Cloud Peace Deal - The New York Times
Optimism for a resolution to the conflict and the reopening of the Strait of Hormuz was checked after the United States said it had carried out strikes on missile launch sites in Iran.
Stock Markets, Business News, Financials, Earnings - CNBC
How one medical supply CEO is navigating the oil price shock
‘I never heard of the Strait of Hormuz before this!’ said David Navazio, founder and CEO of medical supply company Gentell.
Absent Congressman Calls Allies, but Stops Short of Public Appearance
Absent Congressman Calls Allies, but Stops Short of Public Appearance - The New York Times
Republican officials said they have talked to Tom Kean Jr., who has been absent from Congress for weeks. His office said Mr. Kean will eventually explain his absence.
Friday, May 22, 2026
Judge tosses federal charges against Kilmar Abrego Garcia
Judge tosses federal charges against Kilmar Abrego Garcia (CBS News)
Judge Dismisses Criminal Case Against Abrego Garcia
The move deals an embarrassing blow to the Trump administration, which made the Maryland man, Kilmar Armando Abrego Garcia, the face of its deportation campaign.
Thursday, May 21, 2026
From ‘ghost sharks’ to ‘death ball’ sponges: Scientists find more than 1,100 wild and unusual ocean species
From ‘ghost sharks’ to ‘death ball’ sponges: Scientists find more than 1,100 wild and unusual ocean species | CNN (Thanks to Finn for this one)
 |
| A "glass castle" worm found by scientists in Japan. |
 |
| A sea pen discovered in the South Sandwich Islands, in the south Atlantic Ocean. This specimen is undergoing genetic analysis to confirm its exact evolutionary lineage. |
Arizona college president Tiffany Hernandez booed after AI bot malfunctions, skips graduates names
Arizona college president Tiffany Hernandez booed after AI bot malfunctions, skips graduates names (Thanks to Bernadette for this one)
 | ||
| Tiffany Hernandez, the Glendale Community College president, explained the AI blunder to students. |
What to know about Mackenzie Shirilla, the Ohio teen who killed her boyfriend and his friend in 100 mph crash
What to know about Mackenzie Shirilla, the Ohio teen who killed her boyfriend and his friend in 100 mph crash (Thanks to Sara for this one)
Shirilla is serving two concurrent 15-year-to-life sentences for the 2022 crash that killed Dominic Russo and Davion Flanagan. The case is the focus of the Netflix documentary “The Crash.”
‘We’ve Never Been This Bad.’ Eastern Pennsylvania Weighs Rising Costs.
‘We’ve Never Been This Bad.’ Eastern Pennsylvania Weighs Rising Costs. - The New York Times (Thanks to Haadi for this one)
With two swing districts, the region from Scranton to Allentown could decide control of the House, and voters are expressing profound economic distress.
Judge Bars Kars4Kids From Broadcasting ‘Misleading’ Ads in California
Judge Bars Kars4Kids From Broadcasting ‘Misleading’ Ads in California - The New York Times
The ads with a repetitive jingle encouraging people to donate cars do not disclose that most of the proceeds go to a Jewish organization in New Jersey, the judge ruled.
Powered by A.I., Google Changes Its Search Box for the First Time in 25 Years
Powered by A.I., Google Changes Its Search Box for the First Time in 25 Years - The New York Times
Using a new Gemini A.I. model, the tech giant is overhauling its search box dimensions to answer longer queries, adding a video-generation tool and simplifying online shopping.
Everything Announced at Google I/O 2026 in 13 Minutes
Musk’s SpaceX Reveals Its Finances for the First Time as It Readies for IPO
Musk’s SpaceX Reveals Its Finances for the First Time as It Readies for IPO - The New York Times
Mr. Musk’s rocket and satellite maker disclosed its financial performance as it prepares to go public in what is set to be one of the largest offerings to date.
The Banks That Won a Piece of SpaceX’s Colossal I.P.O. - The New York Times
Across Wall Street, bankers have been clamoring to lead what is expected to be the biggest-ever initial public offering.
OpenAI Prepares to File for an I.P.O. in Coming Weeks
OpenAI Prepares to File for an I.P.O. in Coming Weeks - The New York Times
OpenAI would be one of the most highly anticipated potential initial public offerings, in what is set to be a major year of I.P.O.s for Silicon Valley.
Samsung Averts a Walkout With Big Bonuses, but Discord Over A.I. Profits Brews
Samsung Averts a Walkout With Big Bonuses, but Discord Over A.I. Profits Brews - The New York Times
Samsung Electronics, a global memory chip supplier, has been a major beneficiary of the A.I boom. It has also become the center of a debate over how to divide its spoils.
Nvidia says it has ‘largely conceded’ China’s AI chip market to Huawei; Nvidia beats on earnings
Trump Approved a Nvidia Chip for Sale in China. Beijing Doesn’t Want It. - The New York Times
Nvidia says it has ‘largely conceded’ China’s AI chip market to Huawei
Nvidia (NVDA) Q1 2027 earnings report: Live updates
Nvidia earnings takeaways: Data center revenue nearly doubles, report is strong but stock slides
8 Takeaways From Tuesday’s Primary Elections After Trump Crushes Republican Dissent
President Trump unseated Representative Thomas Massie, a top Republican critic in Congress, and also got his way in other primary contests.
Cuba: Crisis and indictment lays pathway for possible intervention
The indictment was an extraordinary escalation of the Trump administration’s multifaceted pressure campaign against Cuba’s Communist government.
News of U.S. Indictment Slow to Reach Cubans Waiting for a Breakthrough - The New York Times
While many Cubans were divided over the legitimacy of the U.S. charging Raul Castro with murder, the hope for developments that might ease their suffering is widespread. “This has to change.”
Nimitz Aircraft Carrier Enters Caribbean as Trump Pressures Cuba - The New York Times
The carrier arrived in the southern Caribbean on the same day that the Justice Department announced charges against Raúl Castro.
Justice Department announced charges on Wednesday against Raúl Castro, the 94-year-old former president of Cuba, accusing him of murder and a conspiracy to kill American citizens stemming from the fatal downing 30 years ago of two planes over waters off the coast of his country. The indictment raised the possibility that the United States could be paving the way for its military to remove him from the country through a means similar to how U.S. Special Operations forces used an indictment against Nicolás Maduro, the former leader of Venezuela, to swoop into Caracas in a brazen operation in January and capture him.
The Cuban government, in a statement, rebuked the United States:“It is highly cynical for this accusation to be made by the very same government that has murdered nearly 200 people and destroyed 57 vessels in international waters of the Caribbean and the Pacific, far from United States territory, through the disproportionate use of military force,” it said.
More about that $1.776 billion "settlement" fund
Trump’s Fund Shows Blanche Choosing Loyalty Over Moderation - The New York Times
Once seen by some as the most conventional of President Trump’s political appointees, Todd Blanche has taken off the gloves in his new role as acting attorney general.
How the $1.8 Billion Trump Fund May Violate Past Practice and Policy - The New York Times
The fund that could offer payouts to Trump allies who accuse the government of mistreatment is not only highly unusual but also appears to violate the administration’s own policies.
Trump’s Government Moves to Spare an Unhappy Taxpayer Named Trump - The New York Times
No president has ever used the federal government to advance his own personal interests and those of his family and allies as expansively and openly as Mr. Trump has.
The Justice Department gives Trump an unprecedented settlement : NPR
D.O.J. gave Trump and his family immunity from tax audits and set up a $1.8 billion fund for victims of "government weaponization." Former government lawyer Andrew Weissmann explains the settlement. Transcript.
Tuesday, May 19, 2026
Mystery Grows Around Representative Thomas Kean Jr.’s Absence
Mystery Grows Around Representative Thomas Kean Jr.’s Absence - The New York Times
Representative Thomas Kean Jr. last voted in Washington on March 5, citing a medical issue. An appearance planned for late May has been canceled.
NAACP urges Black athletes to boycott college sports in the South; Related information on the 'Gerrymandering Wars'
NAACP urges Black athletes to boycott college sports in the South | AP News (Thanks to Sam for this one)
Related:
Tracking the Battle to Reshape Congress for the Midterms - The New York Times
Supreme Court Rejects Virginia Democrats’ Effort to Reinstate New Voting Map - The New York Times
State officials had asked the justices to step in to allow the state to use a congressional map in the midterms that was drawn by Democrats and recently approved by voters.
Why Neutral Maps Could Empower Black Voters as Much as the Voting Rights Act - The New York Times
Our simulations debunk the notion that the act created artificial minority districts that wouldn’t otherwise exist.
What the Gerrymandering Wars Mean for the Midterms—and 2028 | The New Yorker
Iran War Exposes Shortcomings in U.S. Military Industrial Base
Iran War Exposes Shortcomings in U.S. Military Industrial Base - The New York Times
Defense Secretary Pete Hegseth is taking on a problem that the Pentagon and Congress have tried, and mostly failed, to address for years.
Book on Truth in the Age of A.I. Contains Quotes Made Up by A.I.
‘The Future of Truth’ Contains Quotes Made Up by A.I. - The New York Times
Steven Rosenbaum, author of “The Future of Truth,” said he had started his own investigation after The New York Times asked about the fake quotes.
 |
| Steven Rosenbaum at his home studio in Manhattan last year. His book “The Future of Truth” incorporated more than a half-dozen misattributed or fake quotes in sections of the book reviewed by The Times.Vincent Alban/The New York Times |
What is Trump’s $1.776 Billion ‘Anti-Weaponization’ Fund?
What is Trump’s $1.776 Billion ‘Anti-Weaponization’ Fund? - The New York Times
The Trump administration is creating a $1.8 billion fund to compensate people it says were wronged by the federal government, a group that could be largely made up of the president’s allies.
Top Treasury Lawyer Resigns After Creation of ‘Anti-Weaponization Fund’ - The New York Times
Brian Morrissey, the department’s general counsel, stepped down hours after the Trump administration announced the $1.8 billion fund.
Paul Figley, a former Justice Department official, said the proposed payment appeared legal. Congress has long neglected to more tightly control how money from the Judgment Fund was used, giving the Trump administration the ability to make this payment.
“It’s not wrong legally. But the problem is he is creating a new federal program, and if he is doing so with money from the Judgment Fund, it’s not the way Congress anticipated the Judgment Fund would be used,” Mr. Figley said. “It’s horrible policy.”
Once money has passed from the Judgment Fund to the new, “anti-weaponization” account, the five-member board will have the freedom to use the money to “pay for per diems, administrative services, funds, facilities, staff, travel and other support services as may be necessary,” though the members won’t draw a salary, according to the Justice Department.
Pollock and Brancusi Join the $100 Million Club at Auction
Pollock and Brancusi Join the $100 Million Club at Auction - The New York Times
A “drip” painting by the Abstract Expressionist sold for $181.2 million with fees, while a bronze head by the Romanian sculptor, from the S.I. Newhouse collection, brought in $107.6 million at Christie’s.
 |
| “Number 7A, 1948,” by Jackson Pollock, one of the treasures of S.I. Newhouse’s collection at Christie’s on Monday night, sold for $181.2 million with fees.Pollock-Krasner Foundation/Artists Rights Society (ARS), New York; Photo by George Etheredge for The New York Times |
 |
| Constantin Brancusi’s bronze-and-gold-leaf sculpture “Danaïde,” from around 1913, carried a $100 million estimate and sold for $107.6 million with fees. It was in the S.I. Newhouse collection at Christie’s.Succession Brancusi/All rights reserved (Adagp); Photo by George Etheredge for The New York Times |
Dozens of Polymarket Bets Show Signs of Insider Trading
Dozens of Polymarket Bets Show Signs of Insider Trading, The Times Finds - The New York Times
Dozens of long-shot bets on Polymarket, from the war with Iran to the cryptocurrency market, have defied the odds, according to a New York Times examination.
Thousands of FiveThirtyEight Articles Seemingly Vanish From the Internet
Thousands of FiveThirtyEight Articles Seemingly Vanish From the Internet - The New York Times
The influential polling analysis site was shut down last year, but an earlier archived version, fivethirtyeight.com, had lived on. Now the site is redirecting users to ABC News.
 |
| Nate Silver, center, in 2015. Mr. Silver founded FiveThirtyEight as a blog in 2008 before building it into a highly influential polling analysis operation. Photo by Andrew Toth/Getty Images |
Ebola Was Identified in Congo Weeks Before W.H.O. Declared an Emergency
Ebola Was Identified in Congo Weeks Before W.H.O. Declared an Emergency - The New York Times
Early surveillance and testing failed to identify the rare species of Ebola responsible for the current outbreak. An American doctor is among the confirmed cases.
American Man Tests Positive for Ebola Amid Outbreak, Officials Say - The New York Times
An American doctor working with a Christian missionary organization in the Democratic Republic of Congo was exposed to the deadly virus while treating patients, the organization said.
Citing Ebola Outbreak, U.S. Restricts Entry From Congo, Uganda and South Sudan - The New York Times
The order is in effect for 30 days and does not apply to American citizens or U.S. service members.
Sandy Fire in Simi Valley Forces Immediate Evacuations
Sandy Fire in Simi Valley Forces Immediate Evacuations - The New York Times
Officials ordered more than 23,000 to evacuate after a brush fire broke out in Simi Valley, Calif.
A Sailor Shot Distress Flares. Now a California Island Is Burning.
The shipwrecked man was rescued from Channel Islands National Park, but the flares set off a 10,000-acre fire that has burned park buildings, forced evacuations and threatened rare Torrey pines.
TrumpRx Adds Generic Drugs, With Mark Cuban, GoodRx and Amazon; 5 million slated to lose ACA coverage
TrumpRx Adds Generic Drugs, With Mark Cuban, GoodRx and Amazon - The New York Times
President Trump announced the addition of 600 medicines to his online drugstore as he appeals to Americans concerned about high drug prices and affordability.
Related:
Steep drop in number of people with Affordable Care Act health coverage, analysis finds : NPR
As many as 5 million people who buy health insurance on the Affordable Care Act marketplaces may drop their coverage this year, according to a new analysis from KFF, the nonpartisan health research organization. The average increase in deductibles is $1000.
ICE Agent Charged in Shooting of a Venezuelan Immigrant in Minnesota
ICE Agent Charged in Shooting of a Venezuelan Immigrant in Minnesota - The New York Times
The agent is the second federal officer to face felony charges in Minnesota stemming from Operation Metro Surge, the Trump administration’s immigration crackdown.
What to Know About the San Diego Mosque Shooting
San Diego Mosque Shooting: What to Know About the Suspects and What Happened - The New York Times
Three men were killed in the attack at the Islamic Center of San Diego. Two teenage suspects were found dead in a car nearby, police said.
A Fearful Phone Call and Frantic Search Preceded San Diego Mosque Shooting - The New York Times
San Diego police arrived to find three people dead. Nearby, they found two teenagers, the attackers, dead in a car. The violence shattered an idyllic Southern California city.
Suspect’s Mother Warned Police of Missing Guns Before Mosque Attack - The New York Times
Three people were killed in the shooting at the Islamic Center of San Diego, and two suspects later killed themselves.
San Diego Mosque Shooting Comes Amid Rising Reports of Islamophobia in the U.S. - The New York Times
The Council on American-Islamic Relations said complaints about bias against Muslims are at levels unseen in decades.
Monday, May 18, 2026
Elon Musk Loses $150 Billion Suit Against OpenAI and Sam Altman
Elon Musk Loses $150 Billion Suit Against OpenAI and Sam Altman - The New York Times
A nine-member jury found that Mr. Musk had waited too long to sue. The setback for the tech mogul frees OpenAI to continue in the artificial intelligence race.
After Elon Musk’s Court Loss Comes the Long Hot A.I. Summer - The New York Times
Even as protests increase, the collapse of Mr. Musk’s suit against OpenAI and Sam Altman will speed up the artificial intelligence juggernaut.
Five Takeaways From the Blockbuster Trial Pitting Elon Musk Against OpenAI - The New York Times
It took a jury less than two hours to decide that Mr. Musk had waited too long to sue. But the testimony over three weeks was still illuminating.
Subscribe to:
Posts (Atom)