Ad
Short

OpenAI researcher Sebastien Bubeck says GPT-5's math skills saved him a month of work. In a post on X, Bubeck reports that GPT-5 tackled a highly complex mathematical task for him. The model designed the solution path, ran a simulation to check a formula, and then wrote a complete proof, effectively a seamless calculation. While this process would have previously taken him around a month, GPT-5 finished it in just an afternoon. Bubeck calls it the "most impressive LLM output" he has seen to date.

Generative AI is becoming increasingly apparent in high-level mathematics—and not just because of gold medals in Math Olympiads. Mathematician Terence Tao recently noted that AI saved him several hours of work, though he used the tool to verify his theoretical assumptions rather than relying on it autonomously. An OpenAI report backs this up, showing how GPT-5 can save significant research time across various scientific fields.

Short

Programmers who rely on AI assistants tend to ask fewer questions and learn more superficially, according to new research from Saarland University. A team led by Sven Apel found that students were less critical of the code suggestions they received when working with tools like GitHub Copilot. In contrast, pairs of human programmers asked more questions, explored alternatives, and learned more from one another.

Apel et al.

In the experiment, 19 students worked in pairs: six in human-only teams and seven in human-AI teams. According to Apel, many of the AI-assisted participants simply accepted code suggestions because they assumed the AI's output was already correct. He noted that this habit can introduce mistakes that later require significant effort to fix. Apel said AI tools can be helpful for straightforward tasks, but complex problems still benefit from real collaboration between humans.

Ad
Ad
Ad
Ad
Short

Kimi is rolling out a 48-hour free trial for its new slide generator powered by Google's Nano Banana Pro model. During the trial, users can try "Agentic Slides" for free and automatically turn PDFs, images, and documents into presentations. The slides can be edited in the browser and exported as PowerPoint files. The agent-driven K2 search tool is included. You can access the offer through this link, but registration is required.

Infographics generated by Nano Banana Pro can be turned into editable text with one click. The tool extracts the text, removes the original image lettering, and replaces it with editable text that may look different. However, an initial test showed uneven results, with some text converting properly and other parts staying unchanged, especially on slides 6 and 7 of a presentation based on this article. The tool also doesn't apply company design templates, which limits its usefulness. But it's still a cool toy.

Ad
Ad
Google News