Proof

Republican-backed legislation championed by Donald Trump, known as the SAVE America Act, would require voters to show identification at the polls and provide proof of citizenship when registering to vote. Supporters frame it as a safeguard for election integrity, while critics argue such requirements could make it harder for eligible Americans, particularly those lacking documents, to register and cast ballots.

A combined flu and Covid vaccine has been approved for people aged 50 and over, marking the first authorization of a single shot targeting both viruses. A large effectiveness trial is beginning in Denmark and Spain. New results have also emerged from a phase 2 trial of a so-called variant-proof Covid vaccine, as next-generation vaccine development continues.

Chinese robotics firm Unitree broadcast a live performance featuring what it calls the world's largest-scale demonstration of full-size humanoid robots, drawing over three million likes. The stream showed multiple humanoids moving in real time, fuelling online discussion about how far China's robotics industry has advanced and how quickly these machines are moving from lab demos to public showcases.

Germany's foreign minister, following talks with US officials, reacted coolly to remarks by Russian Foreign Minister Sergei Lavrov, saying she 'heard nothing new' and demanding evidence for Russian claims of attacks on ships. The exchange has drawn attention as a test of Western unity toward Moscow, with critics questioning whether the German minister walked into a diplomatic trap set by Lavrov.

A Los Angeles Times commentary reports that Democrats are preparing for a contested November election by running war-game exercises and preparing draft lawsuits aimed at protecting the results against challenges from Donald Trump and his allies. The effort reflects concern that the election outcome could again be disputed, and supporters see it as prudent planning while critics view it as assuming conflict before votes are cast.

Researchers have reviewed the evidence and concluded there is no solid proof that daylight saving time affects mental health. The finding challenges widely repeated claims that clock changes trigger depression, anxiety or other psychological problems, and is likely to feed into ongoing debates in several countries about whether to keep or abolish the seasonal time shifts.

Wired has published a feature arguing that solving mathematics' greatest problems was long considered an art form, and that artificial intelligence is now changing that. The piece examines how AI tools are entering a field long defined by human creativity and intuition, prompting discussion about what machine assistance means for the future of mathematical discovery and proof.

Hong Kong utility Towngas has announced a partnership with The Hong Kong Polytechnic University to develop blockchain-based certification of green fuels. The system aims to give verifiable proof of origin and carbon credentials for cleaner fuels. Details of the scope and timeline of the collaboration were not disclosed in initial coverage.

The American Council on Science and Health is questioning whether shaken baby syndrome rests on solid scientific evidence, asking whether it is reliable medicine or junk science. The piece argues that courts and lawyers, rather than scientists, have effectively been setting the standards for what counts as proof in these cases, with major consequences for criminal convictions and child protection decisions.

Julia Vignali and Kad Merad are making headlines in France, with renewed attention on their relationship. Michèle Laroque is cited as offering proof that the couple is solid, even if they do not spare themselves. The story has drawn significant search interest in France, putting the television presenter and the actor-comedian back in the celebrity conversation.

A possible suspect with deep ties to Los Angeles has emerged in the unsolved 1982 Tylenol murders, the Chicago-area poisonings that killed seven people after cyanide-laced capsules were placed in Extra-Strength Tylenol bottles. The case, which led to sweeping tamper-proof packaging laws, has never produced charges, and any newly identified suspect would represent one of the biggest developments in the decades-old investigation.

Cybersecurity firm Proofpoint reports that attackers are hijacking .edu email accounts belonging to U.S. universities and using them to run multi-stage fraud schemes. The campaigns combine fake job offers with advance-fee fraud, exploiting the trust associated with legitimate university email addresses. Security researchers warn recipients to be cautious with unsolicited job-related messages, even those sent from seemingly authentic .edu accounts.

Chesterfield FC's chairman has produced what he says is proof that the ball crossed the line in a match where the goal was not awarded. Quoted as saying 'the ball was over the line, no argument', he has stepped publicly into the controversy, adding to fan frustration and the ongoing debate around goal-line decisions.

A new research paper dubbed 'Shielded Bitcoin' proposes bringing private payments to BTC by adapting Zcash's shielded transaction technology. The proposal suggests applying zero-knowledge proof techniques so Bitcoin payments could be made confidential while remaining verifiable. CoinDesk examined the paper, which is drawing attention in crypto circles to the long-running debate over privacy and compliance on public blockchains.

A proposed solar farm in Moss Bluff, Louisiana, is facing scrutiny after claims used to justify a requested tax reduction could not be supported with evidence. The project's developers had argued the tax break was needed to make the development viable, but officials and observers note the necessary proof has not been provided, raising questions about the project's financial claims.

The Royal Navy has test-fired its newest anti-ship missile at a decommissioned former US Navy warship, in what military officials are calling a significant milestone for the weapon's development. Defence outlets are covering the strike as proof of the missile's combat readiness and of growing UK-US naval cooperation, with attention now turning to when the system will enter full frontline service.

Stephen Wolfram has published a long essay asking what role human mathematicians will play as AI systems grow more capable at pure mathematics. He explores whether machine-assisted proof and computation will change how mathematical research is done and what remains distinctively human in the field.

The Spanish government has rejected what it calls the 'unfounded accusations' made by the president of Ceuta, pointing to its official call registry as proof. La Vanguardia reports the dispute centers on the government's claim that its telephone records contradict the allegations made by the North African autonomous city's leader. The confrontation adds to ongoing tensions between Madrid and the Ceuta administration.

An entrepreneur has described how they placed a deliberately fake Craigslist ad to test demand for a new business idea before investing in it. The flood of responses to the listing served as evidence that real customers wanted the product, giving the founder the confidence to move ahead. The approach is being discussed as a cheap, low-risk way for aspiring business owners to validate ideas before spending money.

A detailed walkthrough of a formal proof written in the Lean theorem prover, aimed specifically at software engineers rather than mathematicians. The post breaks down how a proof is structured, how the proof assistant verifies it, and what working with Lean involves in practice. It is drawing attention among developers curious about formal verification and how mathematical proof techniques can be applied to software.

A new commentary argues that schools redesigning assignments to be 'AI-proof' are chasing the wrong goal. Rather than trying to outsmart chatbots, educators should rethink what and why students are assessed at all, the piece contends. It has struck a chord in ongoing debates among teachers and academics about how classrooms should adapt to generative AI tools.

Fast Company argues that AI systems increasingly capable of advanced mathematics could make today's mathematicians the last generation to achieve fame for solving great problems alone. The piece suggests machines will soon rival humans at conjectures and proofs, reshaping a field long celebrated for individual genius and raising questions about the future role of human mathematicians.

A circuit court has ruled that Ohio's Bureau of Motor Vehicles may require proof of citizenship when handling voter registration. The decision lets the state enforce stricter documentation rules at BMV locations, a move supporters frame as protecting election integrity and critics warn could discourage eligible voters from registering. The case is part of a broader national fight over proof-of-citizenship requirements for voting.