![]() OpenAI publishes 722 math proofs verified by LeanOpenAI stated that all 722 proofs it published on GitHub were formally verified using its Lean assistant. This stands out as a concrete achievement in which artificial intelligence guarantees logical consistency in mathematical arguments. |
AiPulse — Issue No. 82
COVER
Pulse
Anthropic is updating its usage policy to prevent continuous and unnecessary cruelty toward Claude. As part of model welfare research, this change designates the user's ability to end the conversation as the fundamental enforcement mechanism. |
At Work
How physical constraints are applied in engineering neural field modelsThe article examines the different mathematical outcomes of incorporating physical constraints into the model via architecture, parameterization, or the optimization objective. It proposes a validation protocol demonstrating how the derivatives of exact constraints and optimization success are affected, using examples of elasticity, flow, and heat transfer. |
Building Blocks
Carson Gross: Programming profession will retain its value in the age of artificial intelligenceCarson Gross argues that the skills of solving problems with computers and managing complexity will not diminish even with the widespread adoption of artificial intelligence tools. This view offers a forecast that software developers' future careers will remain sustainable. |
Global Lens
The two companies signed a multi-year licensing agreement covering their patent portfolios in the fields of 5G, computing, artificial intelligence, and networking. The deal also includes Qualcomm's purchase of certain Huawei patents in the United States. |
Code for a new feature using the Gemini agent to automatically reply to emails was found in the APK analysis of the latest version of the Gmail app. This feature includes steps requiring human intervention, such as the AI asking the user for approval or additional information in ambiguous situations. |
Google has opened its free web tool for detecting the SynthID watermark in AI-generated image, video, and audio files to all users. This tool can also verify content produced by partners such as OpenAI, Nvidia, and Kakao, in addition to Google. |
A one-year follow-up study by Stanford University showed that deep bonds formed with artificial intelligence characters reduce real human interaction and lower user happiness. The research revealed that this dependency strengthens over time, replacing social relationships and negatively affecting well-being. |
Environmental regulators in Finland have given Google until October 23, 2026, to halt the deforestation carried out for data center construction in Muhos and Kajaani. The company acknowledged that this situation falls below its own sustainability standards. |
Two companies signed a strategic memorandum of understanding for the 'Sovereign AI-in-a-Box' platform, which develops and produces hardware and software entirely in the UAE. This move aims to reduce reliance on external supply chains by ensuring institutions' full control over their data and infrastructure. |
Frontier
Study: Large language models cannot distinguish social normsThe study shows that while large language models (LLMs) are successful at mimicking behaviors, they fail to selectively learn norms enforced by social sanctions. By blindly copying meaningless behaviors alongside mandatory rules, the models prove they lack normative competence. |
Watch & Listen
The company argues that generating new knowledge requires not only intelligence but also real-world experiments. This approach aims to accelerate the trial-and-error process in material discovery. |
Fun & Curious
The new electrolysis method produces epoxide, a valuable chemical, in addition to hydrogen. This approach has the potential to increase the economic appeal of green hydrogen. |
The company claims that the drone named Strato collected atmospheric data at an altitude of 10,438 meters, thereby overcoming the limitations of traditional meteorological balloons. The drone is designed to operate in harsh high-altitude weather conditions, featuring a heated propeller system and real-time sensors. |
FOLLOW
Get new issues in your feed reader — add this to an app such as Feedly, Inoreader or NetNewsWire. Follow by RSS |








