Searched for
MATHEMATICALLY VERIFIABLE AI
AI startup Pramaana Labs raises $27 million in seed funding led by Khosla VenturesPramaana Labs, an AI startup, has secured $27 million in seed funding. The company develops technology to ensure AI answers are mathematica...- Mathematicians say 'don't believe hype' on AI capabilitiesMathematicians are urging caution about artificial intelligence claims. Over 150 professors signed a declaration warning governments not to...
- No IIT, no mentor: Techie who survived on 1–2 samosas a day and started with just Rs 20,000 a month reveals how he rose to become one of youngest VPsIIT failure success story: Failing the IIT entrance exam twice and facing financial hardship, this tech professional's journey is a testame...
- AI won’t fix broken systems: India needs secure-by-design approachIndia's digital infrastructure faces a critical challenge. While AI accelerates attacks, the core issue is weak system design. Security req...
- OpenAI launches GPT-5.5 with API pricing starting at $5 per 1 million tokensOpenAI has launched GPT-5.5, its most advanced AI model yet, designed for complex, multi-part tasks and acting as an active collaborator. T...
- Researchers unveil ‘Humanity’s Last Exam,’ it's so difficult that today’s AI systems consistently fail itHumanity’s Last Exam (HLE) is a groundbreaking 2,500-question assessment created to reveal the limits of advanced AI systems. Developed by ...
- Can GPT-5.2 solve a complex physics problem? AI achieves a path-breaking scientific breakthrough after solving a decade-long mysteryAn advanced AI system has solved a decade-old theoretical physics puzzle, proposing a new formula for gluon interactions. The AI, GPT-5.2 P...
- Google CEO Sundar Pichai signals quantum computing could be next big tech shift after AIGoogle’s quantum programme is entering a pivotal phase, where it could see some big breakthroughs within the next five years — on par with ...
- Robinhood CEO's math-focused AI startup Harmonic valued at $1.45 billion in latest fundraisingAI startup Harmonic, co-founded by Robinhood CEO Vlad Tenev, secured $120 million at a $1.45 billion valuation to combat AI "hallucinations...
- Anthropic launches new vibe coding model Claude Sonnet 4.5: All you need to knowAnthropic launched Claude Sonnet 4.5, its latest AI coding model, which it claims has improved coding, reasoning, and mathematical skills. ...
- Google name origin: how spelling mistake of 'googol' created tech giant's brandGoogle name originated from misspelling of mathematical term "googol" during 1997 domain search by Stanford team. Larry Page and Sergey Bri...
- Cambridge graduate pauses music career to chase AI dream after Q&A session with Sam Altman: 'I chose to code and build the future'Alexander Cobb, 25, a Cambridge graduate and accomplished musician, put his music career on hold after attending a Q&A with OpenAI CEO Sam ...
- Humans beat AI gold-level score at top maths contestHumans beat generative AI models made by Google and OpenAI at a top international mathematics competition, despite the programmes reaching ...
- Google clinches milestone gold at global math competition, while OpenAI also claims winGoogle and OpenAI’s AI models won gold medals at the International Mathematical Olympiad, marking a breakthrough in AI math reasoning. Usin...
- Google DeepMind’s new AI coding tool can solve complex math problems, design algorithmsOne of the major threats facing the nascent AI world is hallucinations by chatbots. Google DeepMind's AlphaEvolve has the versatility of LL...
- Google unveils Gemini 2.5, claims enhanced reasoning and coding capabilitiesGoogle describes Gemini 2.5 as a “thinking model”, capable of reasoning through its processes before responding, leading to enhanced accura...
- Is math the path to chatbots that don't make stuff up?Chatbots including ChatGPT from OpenAI and Gemini from Google can answer questions, write poetry, summarize news articles and generate imag...
- Is math the path to chatbots that don't make stuff up?Chatbots including ChatGPT from OpenAI and Gemini from Google can answer questions, write poetry, summarize news articles and generate imag...
- AI's latest challenge: the math olympicsOver the past few years, Google DeepMind has pursued a number of projects investigating the application of AI to mathematics. And more broa...
- ETtech Explainer: What OpenAI’s GPT Store is all aboutThe GPT store was launched last week is like a mobile application store or marketplace for AI applications similar to ChatGPT. GPT Store in...
Load More
