Maven Robotics wants to steal your robot deployment deal16m ago Positron Valued at $5 Billion in New Funding as Demand for AI Chips Surges26m ago 7 Steps to Become a Forward Deployed Engineer in 202634m ago Amazon partners with OpenAI to let users of Amazon's DSP run ads in ChatGPT in a pilot program limited to the US; ChatGPT Ads hit $1B in ARR last month49m ago D-Matrix Connects Raptor XPUs to NVIDIA AI Factories via NVLink Fusion1h ago Source: Meta AI researcher Andrew Tulloch, who came over from Thinking Machine Lab as one of the highest paid employees last year, is leaving the company (Reed Albergotti/Semafor)1h ago Mother Horrified When Instagram’s AI Scours Social Media for Invasive Information About Her Young Daughters1h ago Mach Industries, which makes unmanned military vehicles and weapons, raised $600M in an extension to its $300M Series C, doubling its valuation to $3.7B1h ago Salesforce Unveils Six-Capability Trusted AI Harness for Enterprises1h ago US closes $1.9bn loan to restart the Iowa nuclear plant powering Google1h ago OpenAI Gives US Agencies 50% Off Models, Ending $1 Per Year Deal1h ago 47,000 job listings reveal the engineering roles that AI is creating1h ago Anthropic's Alignment Science lead says there is a ">10%" chance AI could kill all humans within the next decade and is worried about recursive self-improvement (Evan Hubinger/@evanhub)1h ago Ukraine says AI is moving beyond drones and into strike missiles for the first time1h ago

Maven Robotics wants to steal your robot deployment deal16m ago Positron Valued at $5 Billion in New Funding as Demand for AI Chips Surges26m ago 7 Steps to Become a Forward Deployed Engineer in 202634m ago Amazon partners with OpenAI to let users of Amazon's DSP run ads in ChatGPT in a pilot program limited to the US; ChatGPT Ads hit $1B in ARR last month49m ago D-Matrix Connects Raptor XPUs to NVIDIA AI Factories via NVLink Fusion1h ago Source: Meta AI researcher Andrew Tulloch, who came over from Thinking Machine Lab as one of the highest paid employees last year, is leaving the company (Reed Albergotti/Semafor)1h ago Mother Horrified When Instagram’s AI Scours Social Media for Invasive Information About Her Young Daughters1h ago Mach Industries, which makes unmanned military vehicles and weapons, raised $600M in an extension to its $300M Series C, doubling its valuation to $3.7B1h ago Salesforce Unveils Six-Capability Trusted AI Harness for Enterprises1h ago US closes $1.9bn loan to restart the Iowa nuclear plant powering Google1h ago OpenAI Gives US Agencies 50% Off Models, Ending $1 Per Year Deal1h ago 47,000 job listings reveal the engineering roles that AI is creating1h ago Anthropic's Alignment Science lead says there is a ">10%" chance AI could kill all humans within the next decade and is worried about recursive self-improvement (Evan Hubinger/@evanhub)1h ago Ukraine says AI is moving beyond drones and into strike missiles for the first time1h ago

Education AI Research Society & Culture57 min reading time

Live from ICM 2026: What Is Math For in the Age of AI?

Quanta MagazinePublished 7 days ago

At the 2026 International Congress of Mathematicians, experts discussed AI's growing role in mathematics, including AI-generated proofs and the impact on human creativity and understanding in the field. The conversation explored what mathematicians value about their work and the evolving meaning of proof and storytelling in math.

More on this story

AI Doesn't Mean the End of Mathematics – At Least Not Yet
13d· Hacker News

#akshay-venkatesh #alex-kontorovich #institute-for-advanced-study #international-congress-of-mathematicians #mathematics #ravi-vakil

More in Education

Education5 min read

What is ChatGPT for Teens and how does it work?

BBC4h ago

Microsoft Reaches Pact With Teachers Union to Keep AI in the Classroom

Bloomberg4h ago

Education6 min read

Microsoft Signs Binding AI Safety and Privacy Standard for US Schools

Covered by 3 sources1d ago