Education — ThinkEnix

Education

OpenAI releases AI-generated math results with Lean formalizations

OpenAI is publicly releasing a broad range of new mathematical results produced by an internal unreleased frontier model, after consulting the independent Advisory Group on Mathematics and Artificial Intelligence at the Institute for Advanced Study. The work is posted to a GitHub repo with paper-revision and citation protocols; many proofs are formalized in Lean, with more to come, plus 10 reasoning summaries, problem-attempt stats, and compute estimates averaging roughly three hours of ChatGPT Pro thinking per result. OpenAI plans to fund workshops and conferences on the findings and eventually release the model itself in a responsible manner. This is a coordinated attempt to share original AI-generated research with the mathematics community rather than keep it proprietary.

Education

DeepMind AI agent autonomously solves 9 open Erdős math problems for $100s each

Google DeepMind's AI agent autonomously solved 9 of 353 attempted open Erdős problems in mathematics, including two problems that had remained unsolved for 56 years, at a cost of only a few hundred dollars per problem solved. The system, built on Gemini models and incorporating formal verification through Lean, represents a breakthrough in AI's mathematical reasoning capabilities beyond pattern-matching to independent mathematical discovery. This signals a potential dramatic reduction in research costs and timeline for solving fundamental mathematical conjectures that have historically required significant human effort and funding.

The Feed

Signals about how SI and robotics are reshaping our world.

Education5mo ago

OpenAI's general-purpose AI solves 80-year-old geometry problem autonomously

OpenAI announced that one of its general-purpose reasoning models has autonomously solved the planar unit distance problem, a famous open question in discrete geometry first posed by mathematician Paul Erdős in 1946. The AI discovered an entirely new family of constructions that outperforms the square-grid-based solutions that mathematicians had believed were optimal for nearly 80 years. This represents the first time an AI has independently solved a prominent open problem in pure mathematics, demonstrating advanced reasoning capabilities that could accelerate research across multiple scientific fields.

x.com

Education7mo ago

AI language models shown to improve human empathic communication skills

Researchers Aakriti Kumar, Nalin Poungpeth, Diyi Yang, Bruce Lambert, and Matthew Groh conducted a study demonstrating that practicing conversations with language models can cultivate and enhance human empathic communication abilities. The research, published in computational linguistics and human-computer interaction venues, provides evidence that AI systems can serve as training tools for developing interpersonal skills. This finding suggests AI could play a significant role in communication skills education and professional development programs.

arxiv.org

Education7mo ago

ChatGPT launches interactive math visuals for 70+ science topics

OpenAI launched dynamic visual explanations for ChatGPT, allowing users to manipulate interactive diagrams for over 70 math and science concepts like the Pythagorean theorem, Ohm's law, and compound interest. Users can adjust variables and see changes reflected in real-time, with the feature available to all logged-in ChatGPT users. OpenAI reports 140 million weekly users already use ChatGPT for math and science help. This shifts ChatGPT from passive answer delivery to active learning engagement, potentially improving comprehension in traditionally challenging STEM subjects.

techcrunch.com

Education7mo ago

Google launches free AI literacy training for 6 million U.S. educators

Google for Education partnered with ISTE+ASCD to provide free, comprehensive Gemini training to all 6 million K-12 and higher education faculty in the U.S., making it the largest AI training initiative of its kind. The program offers bite-sized, flexible modules teaching educators how to use Google's AI tools like Gemini and NotebookLM for personalized lessons, individualized study coaching, and adaptive curriculum materials, with micro-credentials awarded upon completion. This initiative aims to help educators and their 74 million students safely integrate AI tools into classrooms while addressing the practical needs of busy teachers.

blog.google

Education8mo ago

U.S. Dept. of Education awards $3.5M grant to expand AI training hub

The U.S. Department of Education awarded a $3.5 million federal grant to the University of Kansas and University of Central Florida to expand a national tech training hub for educators, with a focus on AI and emerging technology instruction for teachers nationwide. The grant represents a direct federal investment in scaling AI literacy among educators. This signals growing recognition that teacher preparedness in AI and emerging tech is critical infrastructure for K-12 and higher education institutions.

x.com

Education8mo ago

Intellect Design Arena — launches Academic TeamSpace for higher education

Intellect Design Arena announced the launch of Academic TeamSpace, powered by Purple Fabric, along with MoUs signed with leading institutions on February 20, 2026. The platform provides universities and colleges with a governed, collaborative AI environment featuring domain-trained AI agents, embedded governance controls, and academic integrity safeguards for operationalizing AI across learning, research, and institutional innovation. This represents a shift toward structured, responsible AI adoption at scale in higher education institutions.

x.com

Education8mo ago

Tech Mahindra and NVIDIA launch education-focused LLM for India

Tech Mahindra partnered with NVIDIA to launch an education-focused Large Language Model under Project Indus, built using NVIDIA's AI stack and designed to provide learning in Hindi and other Indian languages. The initiative aims to democratize access to high-quality, culturally relevant AI-powered education at scale across India. This represents a direct application of sovereign AI infrastructure to address language and access barriers in education delivery.

x.com

Education8mo ago

LEGO Education — developing AI literacy curriculum with academic partners

LEGO Education's head of product experience Andrew Sliwinski stated the company is designing a new artificial intelligence curriculum by partnering with MIT, Tufts University, and the Computer Science Teachers Association, which is revising K-12 computer science standards to be released in summer 2026. The company is prioritizing defining AI literacy and grounding products in standards rather than chasing the latest tools. This signals the education sector is moving toward standardized, foundational AI curricula supported by teacher resources rather than ad-hoc implementations.

marketbrief.edweek.org

Education8mo ago

OpenClaw AI agent gets 3D printer access for homeschool curriculum

Jesse Genet connected the OpenClaw AI agent to his 3D printer to create physical educational materials for his homeschool curriculum. OpenClaw can control computers but previously lacked physical capabilities, which Genet had worked around by photographing objects for the AI to process. The integration allows the AI to generate and print custom learning aids like tangrams and educational models. This demonstrates practical AI-physical world integration for personalized learning at the consumer level.

x.com

Education8mo ago

SuperrBook — AI-powered digital notebook replacing traditional learning tools

SuperrBook represents the convergence of handwriting recognition, conversational AI, and adaptive learning in a single device that could finally crack the code on digitizing classroom note-taking. The timing matters because traditional textbook publishers are vulnerable to disruption, and parents are increasingly willing to pay premium prices for educational technology that feels purposeful rather than distracting. If SuperrBook can deliver on its promise of understanding handwritten notes and making books 'talk,' it positions itself to capture the massive shift from physical to intelligent learning materials at the exact moment when AI tutoring is becoming mainstream.

superr.ai