Install
Search algebra faster
Curated algebra indexes
4Algebra is a search engine built for algebra learners, teachers, and professionals. It combines multiple indexes, algorithmic ranking, and AI assistance to surface targeted resources: tutorials, proofs, problem sets, software, products, and community discussions. Use the home page to start broad searches, explore curated categories, or jump to specialized web, news, shopping, and chat features. Part of the 4SEARCH network of topic specific search engines.
Latest Articles
Aiken County schools follow statewide trend of lower math scores starting in 4th grade, but with improvements overall
2+ day, 19+ hour ago (21+ words) Post and Courier...
OpenAI’s sly mathematical breakthrough sends a chill through academia
3+ day, 7+ hour ago (770+ words) The Verge...
OpenAI claims solution to “Millennium Prize Math Problem” in just 88 hours with new model
3+ day, 19+ hour ago (115+ words) IRRI, EY and S&P Global join BIRC 2026 as Knowledge Partners to bring global expertise to India’s rice industry AI could add up to 1 percentage point to Asia's growth annually, offset ageing drag: IMF Think41 Says Enterprise AI's Real Bottleneck Isn't…...
An AI Formalized and Verified Fermat’s Last Theorem in 11 Days, a Task Expected to Take Years
4+ day, 10+ hour ago (914+ words) Claude did not rediscover the proof. It made the existing one machine-checkable. Andrew Wiles spent seven years trying to solve a mathematical problem that had resisted everyone else for more than three centuries. When he finally announced a proof of…...
2025-26 CT School Test Scores Released: See How Guilford Students Performed
5+ day, 8+ hour ago (177+ words) GUILFORD, CT — Connecticut students made additional gains in English and math during the 2025-26 school year, continuing a yearslong recovery from pandemic-era declines, according to newly released state assessment results. In Guilford Public Schools, 72.8 percent of students in grades 3–8 met or…...
State Releases 2025-26 Smarter Balanced Test Scores — See How Vernon Students Scored
5+ day, 9+ hour ago (151+ words) VERNON, CT — As Connecticut students made additional gains in English and math during the 2025-26 school year, continuing a yearslong recovery from pandemic-era declines, students in Vernon performed well in terms of state standards, according to newly released state assessment results....
State Releases 2025-26 Smarter Balanced Test Scores — See How Middletown Students Scored
5+ day, 12+ hour ago (149+ words) MIDDLETOWN, CT — As Connecticut students made additional gains in English and math during the 2025-26 school year, continuing a yearslong recovery from pandemic-era declines, Middletown students fell short of state standards, according to newly released state assessment results. District-by-district results have…...
Claude formalised Fermat's Last Theorem in 11 days
6+ day, 15+ hour ago (659+ words) Claude agents wrote 13 million lines of Lean in 11 days to prove Fermat's Last Theorem. The mathematician funded to do it says it is not new maths....
Claude Completes Computer-Verified Proof of Fermat???s Last Theorem in 11 Days
6+ day, 19+ hour ago (599+ words) Claude agents completed a computer-verified proof of Fermat's Last Theorem. In just 11 days, Claude agents prepared the first fully computer-verified version of the proof for Fermat’s Last Theorem, as announced by Anthropic on September 4. Checking that a major mathematical proof…...
How Did Danbury Students Score On State Tests? See 2025-26 Results
6+ day, 11+ hour ago (328+ words) DANBURY, CT — How well are Danbury students doing in English and math? Newly released state test results offer a look at student performance during the 2025-26 school year. Danbury's results were below the statewide rates in both subjects, with 36.9 percent meeting…...