This also marks the 10th math research paper that Aletheia has helped power! Following its recent success with Erdős problems, it's incredible to see AI expanding into advanced topology. See all problems that Aletheia has helped at https://
github.com/google-deepmin
d/superhuman/tree/main/aletheia
…. Some quotes from the
GENERATIVE AI
-
Aletheia AI Helps Power Advanced Math Research
By
–
-
AI system Aletheia autonomously generates proofs for topology problem
By
–
Recently, Aletheia (courtesy of Tony Feng) helped Stanford mathematician Ciprian Manolescu tackle Problem 5.16 from the K3 list (3rd version of Kirby’s List) in low-dimensional topology, autonomously generating proofs for the new paper “Undecidability problems for semifree DG
-
Security flaw allowed data exfiltration via hidden ChatGPT prompts
By
–
It is not one feature. In February, Check Point Research found a flaw where a single hidden prompt could silently send your ChatGPT conversation and uploaded files to an attacker's server. ChatGPT itself would tell you nothing was shared. OpenAI patched it after.
-
Optimizing Prompt Strategies for Different AI Task Goals
By
–
Different goals need different prompts • Structured → clarity
• Analytical → evidence
• Conversational → creativity
• Planning → execution The best prompt matches the task. Via Giuliano Liguori (
@ingliguori
) #AI #Prompts #GenAI -
Introducing AI-powered creative templates in ElevenCreative
By
–
Introducing Templates in ElevenCreative.
— ElevenLabs (@ElevenLabs) 13 mai 2026
Ready-made creative workflows. Upload your input, pick a template, get a finished asset – product shots, mockups, style transfers, character sheets, and more. pic.twitter.com/8nrf7jQV2YIntroducing Templates in ElevenCreative. Ready-made creative workflows. Upload your input, pick a template, get a finished asset – product shots, mockups, style transfers, character sheets, and more.
-
Curiosity about Gemini’s arrival in the local apps race
By
–
Really curious to know when Gemini will join the Cowork & Codex race to build a local application that is not reserved only for developers. Antigravity hasn't published updates on X for a month, and remains very software-focused.
-
Learning LLM Architectures Through Scratch Implementation and Model Evaluation
By
–
A little talk on what we can learn from implementing LLM architectures from scratch in Python and PyTorch. And how I approach new open-weight models, compare them against reference implementations etc:
-
Grok AI’s Deep Understanding of Personal Data: Scary Implications and Agent Capabilities
By
–
This will be an interesting problem. Go to Grok. Ask it "please simulate a conversation between Michael Mignano and Robert Scoble about the future of personal data." And it will. Very well. It knows me VERY DEEPLY. That is scary. But on the other hand, now my Agents know me
-
UK AI Institute: Mythos and GPT-5.5 show rapid cyber growth
By
–
The UK’s state AI Security iIstitute findings:
1) Mythos is a big gain in cyber capabilities. But so is GPT-5.5
2) It is hard to establish an upper bound on Mythos/GPT-5.5, which appear to be limited by tokens used, rather than ability.
3) Capability doubling time is 4.5 months -
User surprised by GPT-5.6’s rapid arrival
By
–
GPT-5.6 arriving *that quick* was not on my bingo card.