Anthropic researcher Tianyi Peng tested whether the Claude AI model could formalize Fermat's Last Theorem in the Lean proof assistant, and over 11 days of largely autonomous work, Claude generated an end-to-end, machine-checked proof. The system wrote roughly 13 million lines of Lean code and proved about 29,500 intermediate theorems, building on decades of prior work including Andrew Wiles's 1995 proof and a community formalization effort led by Kevin Buzzard since 2024.
anthropic.com
· 2026-09-04
Greenway Institute is a new startup school that strips away traditional campus amenities like clubs, sports teams and dining halls, focusing spending instead on hands-on academic instruction. The model aims to lower tuition by eliminating costs tied to nonacademic student life, betting that students prioritize career-ready skills over the traditional campus experience.
fastcompany.com
· 2026-09-03
Apple Arcade launched Retro Bowl College+ on August 6, a version of New Star Games' 2023 college football spin-off. The game lets players manage one of over 250 college teams using simple swipe-based controls for passing, running and kicking, while defense is handled by the game's simulation. Off the field, players must juggle roster morale, player ratings, facility upgrades and team budgets.
engadget.com
· 2026-08-30
Mark Patricof, founder of Patricof Co., is developing a business focused on channeling the growing financial influence of professional and college athletes into investment opportunities. The effort aims to help athletes leverage their earnings and public profiles beyond their playing careers.
fastcompany.com
· 2026-08-28
Surgeons at the National Hospital for Neurology and Neurosurgery in London used an AI-powered video analysis system during a real operation to remove a pituitary tumor from patient Rhys Hibbert. The software, developed by UCL researcher Dr. Sophia Bano using footage from hundreds of past surgeries, color-coded critical nerves and blood vessels in real time to guide the surgical team. Hibbert, who faced possible blindness from the 11mm tumor, recovered quickly and has since returned to work.
techspot.com
· 2026-08-27
The College Board is introducing a new yearlong Advanced Placement course, AP Business with Personal Finance, set to debut nationally in the 2026-27 school year. The course combines core business topics like entrepreneurship, marketing and accounting with everyday money skills such as budgeting, saving and investing, using case studies and project-based learning. It aligns with national financial literacy standards from the Council for Economic Education and the Jump$tart Coalition.
entrepreneur.com
· 2026-08-26
A back-to-school buying guide highlights a selection of portable speakers suited to dorm life, ranking options by priorities like portability, sound quality, multi-functional features, and volume for parties. The recommendations span a range of prices and speaker types to fit different student needs.
gizmodo.com
· 2026-08-26
Gohar Khan, a 2021 MIT graduate who is a first-generation, Pakistani-American student, turned his own difficult college application experience into a media and consulting business. His YouTube channel, Gohar's Guide, now reaches more than 10 million followers with advice on applications, essays and study habits, and he co-founded Next Admit, a paid consulting service for prospective college students.
technologyreview.com
· 2026-08-25
Researchers running UCL's chemistry department fellowship support scheme have published guidance drawn from helping more than 40 early-career researchers win independent fellowships. The advice covers assessing whether a candidate's track record fits a target fellowship, shaping a competitive research proposal, and choosing the right host institution. The authors stress that early planning during a PhD and postdoc, including mapping publication milestones, is critical to building a strong application.
nature.com
· 2026-08-25
A growing number of American universities are rolling out three-year bachelor's degree options aimed at reducing tuition costs and time to graduation. The push targets nontraditional and older students, such as 34-year-old Giles Sims, who have been held back in the job market by not holding a degree. Advocates say the accelerated model addresses rising concerns over college affordability.
fastcompany.com
· 2026-08-24
An opinion piece argues that a 17-year-old today should focus on building large language models from scratch rather than just using them, in order to understand their capabilities and limits. The author notes LLMs excel at tasks like writing essays but fail at physical, real-world tasks like cleaning a room, and suggests pursuing college and graduate study aimed at closing that gap. The piece frames this as a path toward developing new architectures beyond current LLMs for physical-world learning.
twitter.com
· 2026-08-23
GoKawiil